Related to https://reviews.llvm.org/D87800
Not working in present state - the bindings that I'd expect aren't iterated.
Paths
| Differential D88070
[WIP][Analyzer] find stack addresses leaked via out-params - in checkEndFunction Needs ReviewPublic Authored by jkorous on Sep 21 2020, 10:59 PM. This revision needs review, but there are no reviewers specified.
Details
Summary Related to https://reviews.llvm.org/D87800 Not working in present state - the bindings that I'd expect aren't iterated.
Diff Detail Event TimelineHerald added subscribers: ASDenysPetrov, martong, Charusso and 9 others. · View Herald TranscriptSep 21 2020, 10:59 PM Comment Actions The code you've added looks correct. I suspect either heap invalidation or dead symbol elimination cleaning up the binding. Can you share a specific test that isn't working so that i could take a look?
Revision Contents
Diff 293345 clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp
|