Pinned
4,676 contributions in the last year
Activity overview
Contributed to
github/codeql,
github/vscode-codeql-starter,
github/codeql-coding-standards
and 7 other
repositories
Contribution activity
June 2023
Created 8 commits in 1 repository
Created a pull request in github/codeql that received 17 comments
C++: Fix more conflation in dataflow
This PR fixes two conflation issues that were giving us a bunch of FPs on https://github.com/lief-project/lief. The first fix is very simple (see 1…
+168
−96
•
17
comments
Opened 2 other pull requests in 1 repository
github/codeql
1
merged
1
closed
Reviewed 12 pull requests in 1 repository
github/codeql
12 pull requests
-
C++: Add FP test cases for
cpp/invalid-pointer-deref - C++: Fix more conflation in dataflow
-
Swift: reorganize
VarDeclinstances withinBraceStmt - Swift: Improve SummaryStats.ql
-
C++: Remove
cpp/invalid-pointer-derefresults duplicating ones with smallerk -
C++: Ensure that the sink instruction occurs last in
cpp/invalid-pointer-deref - CPP: Add query for CVE-2022-37454: Integer addition may overflow inside if statement
- Swift: Add FieldDecl.getQualifiedName
- Swift: Adopt the shared sensitive data library
- C++: Use the shortestDistances HOP to count indirections (rebased copy of #13323)
-
C++: Use the
shortestDistancesHOP to count indirections -
C++: Generate a temporary
IRVariableforPostfixCrementOperations
60
contributions
in private repositories
Jun 2 – Jun 19