hvitved
Follow
hvitved
Follow
Popular 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,323 contributions in the last year
Less
More
Contribution activity
April 2022
Created 40 commits in 1 repository
Created a pull request in github/codeql that received 11 comments
Data flow: Introduce ContentSet
Background In Ruby, we are tracking flow through arrays with precise array index information, when available. That is, we are correctly able to handle
+2,871
−1,172
•
11
comments
Opened 14 other pull requests in 1 repository
github/codeql
6
open
8
merged
-
C#: Add FP test for
cs/useless-cast-to-self - Ruby: Initial data-flow through hashes
-
Ruby: Introduce
With(out)ElementMaD input tokens - Ruby: Add type tracker tests for flow through keyword/positional parameters
- Data flow: Introduce 'with/without content' summary components
-
Ruby: Simplify flow summary for
fetch -
Data flow: Introduce
expectsContent -
Ruby: Exclude
SplatExprfrom taint tracking -
Ruby: Handle captured variables in
BarrierGuard::getAGuardedNode() - C#: Exclude model generation queries from all suites
-
Ruby: Implement
Argument[any]andArgument[n..] -
Ruby: Mention
newtypeconstructors in API graph label classes -
C#: Add more tests for
cs/useless-cast-to-self - C#: Field-sensitive flow summary generation
Reviewed 24 pull requests in 2 repositories
github/codeql
23 pull requests
- Fix syntax errors in QL comments
-
Ruby: Generalize
ArrayElementContenttoElementContent - C#: Port the java FrameworkCoverage query.
- Bump actions/setup-dotnet from 1 to 2
-
Ruby: Simplify flow summary for
fetch - Ruby: fix typo in edge key for graph query
- Ruby: fix graph query tests by defining total ordering
-
Data flow: Introduce
expectsContent - Remove redundant imports
- Dataflow: Fix join-on-config producing a CP.
-
Data flow: Introduce
ContentSet -
Replace
help.semmle.comlinks bycodeql.github.comlinks - C#: CaptureModel improvements
- Ruby: make PostUpdateNode public
- C#: Add kind tag to Capture model queries.
-
Merge
rc/3.5branch intomain - Dataflow: Flow-state changing steps should always be in path explanations
- Dataflow: Cleanup unused column
- C#: Introduce generated flag as a part of the kind column for flow summaries
- C#: Generate Flow Models script
- C#: Exclude Equals and GetHashCode overrides from model generation.
- Improve wording of isAdditionalFlow/TaintStep qldoc
- C#: Improve query meta data.