hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Merge pull request #6004 from MathiasVP/path-sensitive-stack-variable-reachability-analysis"

Browse Source 
This reverts commit e3e7b00986, reversing
changes made to 8ccdd4fb9f.
This commit is contained in:
Mathias Vorreiter Pedersen
2021-07-20 18:06:49 +02:00
parent 43c68eae94
commit a006a7fb24
20 changed files with 166 additions and 682 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/change-notes/2021-06-15-path-sensitive-stack-reachability.md
View File

@@ -1,4 +0,0 @@
lgtm,codescanning
* The `StackVariableReachability` library now ignores some paths that contain an infeasible combination
of conditionals. These improvements primarily affect the queries `cpp/uninitialized-local` and
`cpp/use-after-free`.