- 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
939 contributions in the last year
Contribution activity
June 2023
Created 7 commits in 1 repository
Created a pull request in github/codeql that received 1 comment
Type tracking: Use noopt+inline_late in TypeBackTracker::[small]step
#12979 follow-up.
Reviewed 20 pull requests in 2 repositories
github/codeql
19 pull requests
- Update inline flow tests to use parameterized module
- Java: Add proper support for variable capture flow.
- C#: Use stubs in the Security feature related tests.
- Ruby : Naming error
- ruby/python: Shared module for typetracking through flow summaries
- C#: Remove jump step
- Dataflow: add language-specific hook for breaking up big step relation
- C#: Use synthetic global in the EntityFramework code instead of jump steps.
- Dataflow: Refactor FlowSummaryImpl to synthesize nodes independently from DataFlow::Node.
- Update inline expectation tests to use parameterized module
- Ruby: fix bug in filter_map summary
- Ruby: Remove canonical return nodes
- C#: Dotnet test tracer improvements.
- Dataflow: Strengthen tracked types.
- Ruby: update tree-sitter-ruby
- C#: Improve error message for missing explicit interface implementation
-
C#: avoid calls to
Location::toString() - delete old deprecations
- C#: Extract default parameter values.




