Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit b2e9fe7

Browse files
MathiasVPMathiasVP
committed
C++: Add change-note.
1 parent 14a04ee commit b2e9fe7

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

‎cpp/change-notes/2021-06-15-path-sensitive-stack-reachability.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
lgtm,codescanning
2+
* The `StackVariableReachability` library now ignores some paths that contain an infeasible combination
3+
of conditionals. These improvements primarily affect the queries `cpp/uninitialized-local` and
4+
`cpp/use-after-free`.

0 commit comments

Comments
 (0)