Popular repositories
-
-
vscode-codeql-starter Public
Forked from github/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
CodeQL 1
555 contributions in the last year
Less
More
Contribution activity
December 2022
Created 11 commits in 1 repository
Created a pull request in github/codeql that received 12 comments
Java: Apply deadcode guard to data flow nodes.
Refactors the compile-time constant computation, such that we can reuse it for more general constant calculations. Use this to define a trivial dea…
+243
−143
•
12
comments
Opened 2 other pull requests in 1 repository
Reviewed 14 pull requests in 1 repository
github/codeql
14 pull requests
- Java: model top 100 JDK APIs
- Java: Apply deadcode guard to data flow nodes.
- Data flow: Track callable in flow-through pruning
- Java: handle printing an empty comment (/**/); add relevant tests
- Java: add MaD metrics query
-
Data flow: Introduce
ApproxContentin a new pruning stage between stages 2 and 3 - Java: Switch DispatchFlow to typetracking.
- Java: add Android service sources
-
Java/C#: exclude
FunctionalExprs fromDataFlowTargetApi - Autoformat docs ql files
- Add a PR check to ensure query IDs are unique
- Java: Replace ad-hoc SCC reduction with union-find.
- Shared: Add a qlpack with a parameterized module defining type-trackers.
- Data flow: Add consistency checks for parameter positions