Popular 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
1,265 contributions in the last year
Contribution activity
September 2022
Created 75 commits in 2 repositories
Created 1 repository
Created a pull request in github/codeql that received 14 comments
Ruby: Do not expose AST layer through ruby.qll
Since writing data-flow queries is much more common than writing syntactic queries, it makes little sense to have the AST layer exposed by default in
Opened 25 other pull requests in 2 repositories
github/codeql
2
open
19
merged
3
closed
- Ruby: Add call graph tests for unsupported constructs
- Ruby: Add query for debugging regexp flow
-
Ruby: Include all conditionally defined methods in
ModuleBase::get(A)Method -
Data flow: Guard against
viableImplInCallContextnot being a subset ofviableCallable -
Ruby: Two fixes for
privatemethods - Ruby: Fix bad join-order
-
Merge
rc/3.7intomain -
C#: Prepend
-p:UseSharedCompilation=falseinstead of append fordotnet run - Ruby: Add post-update nodes for compound arguments
- Ruby: Fix bad join-order in DB upgrade script
-
Change two
codeql toql - Ruby: Adjust the scope of singleton class targets
- Ruby: Context sensitive instance method resolution
- Ruby: Convert data-flow test to use inline test expectations
-
Ruby: Inline
getAValueReachableFromSource - Ruby: Rework call graph implementation
-
Ruby: Fix bad join in
parameterMatch -
Docs: No longer mention required
/p:UseSharedCompilation=false -
Merge
rc/3.7intomain - Ruby: Add missing edges to the call graph for singleton methods
-
C#: No longer manually disable shared compilation in
codeql-analysis.yml -
C#: Add
dotnet buildintegration test -
C#: Also inject
/p:UseSharedCompilation=falseintodotnet publish - Ruby/restrict self flow
rneatherway/gh-slack
1
merged
Reviewed 30 pull requests in 1 repository
github/codeql
25 pull requests
- Ruby: Add call graph tests for unsupported constructs
- C#: Consider DateTime as simple type sanitizer.
- Ruby: type-tracking and API edges through simple library callables
-
C# Integration test validations for
dotnet run. - Ruby: Context sensitive instance method resolution
- C#: Fix join order in InterpretedCallable characteristic predicate.
- Release preparation for version 2.11.0
-
Ruby: use consistent capitalization with
import ... as -
C#: Prepend
-p:UseSharedCompilation=falseinstead of append fordotnet run -
Ruby: Two fixes for
privatemethods - C#: Integration test(s)
- Aeisenberg/merge rc3.7 into main
- ruby: remove unused predicate from NfaUtilsSpecific
- C#: Theorems for Free - Model generation
-
C#: Remove
dotnet runsupport in LUA tracer. - Ruby: Rework call graph implementation
- Java: Implement union type flow and replace ad-hoc variable tracking in dispatch
-
Ruby: Do not expose AST layer through
ruby.qll -
Ruby: Rewrite a few
::Rangeuses toinstanceof - Port Pack Docs changes to 3.7
- Java: Support SCCs in TypeFlow.
- Ruby/Python: Shared HTTP client request concept
- C#: Replace clears content with CSV summaries.
- Add TypeModel hook for adding MaD type-defs from CodeQL
- Merge 3.7 into main
- Some pull request reviews not shown.