- GitHub Staff
- Copenhagen, Denmark
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.
C# 1
-
-
vscode-codeql-starter Public
Forked from github/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
CodeQL 1
-
vscode-codeql Public
Forked from github/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
TypeScript 1
935 contributions in the last year
Contribution activity
May 2023
Created 28 commits in 1 repository
Created a pull request in github/codeql that received 4 comments
Opened 10 other pull requests in 1 repository
github/codeql
1
open
9
merged
- Ruby: Exclude block parameters from flow-through in type tracking
- Ruby: Allow for flow out of callbacks passed to summarized methods in type tracking
- Ruby: Allow for flow through callbacks to summarized methods in type tracking
-
C#: Include arguments to
ILoggerextension method calls inLogMessageSink - Python: Update expected test output
-
Ruby: Improvements to
RegExpTracking -
Ruby: Include
selfparameters in type tracking flow-through logic - Ruby: Remove local identity flow steps
- C#: Never treat warnings as error in the extractor
-
Type tracking: Use
noopt+inline_lateinTypeTracker::[small]step
Reviewed 21 pull requests in 1 repository
github/codeql
21 pull requests
- C#: System.DateTime defaults.
- C#: Entity framework. Convert DbSet summaries to MaD models.
- C#: Add extension method testcase for Models as Data.
-
Ruby: Include
selfparameters in type tracking flow-through logic -
C#: Include arguments to
ILoggerextension method calls inLogMessageSink - Dataflow: Strengthen tracked types.
-
Ruby: Improvements to
RegExpTracking - C#: Enable implicit this receiver warnings
- Ruby: Enable implicit this warnings
- C#: Re-factor the experimental PotentialTimeBomb to use new API.
- Java/C#: Introduce kind for neutrals.
- C#: Re-factor CIL data flow test to use the new API.
- Java: Update customizing library models for java documentation.
- Java, C#: Make implicit this receivers explicit
- DataFlow: Add an "identity-step" consistency check
- C#: Re-factor the UnsafeDeserializationQuery to use the new API.
- Ruby: Make implicit this receivers explicit
- C#: Make implicit this receivers explicit
- Dataflow: Replace "extends Node" with "instanceof Node".
- Dataflow: Refactor access paths to split TypedContent into an explicit pair
- C#: Re-factor ContentFlow to a parameterised module and use the new API.




