- GitHub Staff
- Copenhagen, Denmark
Highlights
- 11 discussions answered
Block or Report
Block or report hvitved
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
machinelearning Public
Forked from dotnet/machinelearning
ML.NET is an open source and cross-platform machine learning framework for .NET.
-
-
vscode-codeql-starter Public
Forked from github/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
-
vscode-codeql Public
Forked from github/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
1,336 contributions in the last year
Contribution activity
May 2022
Created 23 commits in 2 repositories
Created a pull request in github/codeql that received 3 comments
Data flow: Speedup subpaths predicate
Before
[2022-05-02 15:47:16] (1280s) Tuple counts for DataFlowImpl::Subpaths::subpaths#656de156#ffff/4@c5f3dclb after 3m22s: 8389013 ~4% {5} r1 = J…
Opened 8 other pull requests in 2 repositories
github/codeql
2
open
5
merged
- Data flow: Track state when computing cons candidates
- Ruby: Force cached taint tracking predicates to be evaluated in data flow stage
-
Data flow: Do not materialize
summaryArgParam - C#: Add missing EntityFramework SQL sinks
-
Data flow: Add
Configuration::includeHiddenNodes() -
Data flow: Speedup
subpathspredicate (take 2) -
Data flow: Introduce
ContentDataFlow.qll
github/codeql-go
1
merged
Reviewed 22 pull requests in 2 repositories
github/codeql
21 pull requests
- JS/Python/Ruby: Document how API graphs should be interpreted
- Java: Performance fixes for local flow relation
- Update CSV framework coverage reports
- Ruby: stop considering post-update nodes to be local source nodes
- Update Lua tracing configs.
- Dataflow: Improve standard order through easier type check elimination.
- QL for QL: generalise non-US spelling query
- Dataflow: Performance fixes
-
Java: Tag telemetry queries with
telemetry -
C#: Tag telemetry queries with
telemetry - Ruby: add safe navigation operator
-
Ruby: Fix
isLocalSourceNodeimplementation - C#: Lua tracing config: Use API function.
- C#: Port the existing compiler-tracing.spec files to Lua.
- Python dataflow: flow summaries restart
- C#: Flow summaries test should print, whether a summary is generated or not.
- C#: Only allow two read and two store steps in model capturing.
- C#: Convert xml injection query to a path problem.
- Ruby: fix some flow summary join orders
- C#: Upgrade dotnet to 6.0.202.
- Python: add MaD implementation

