Page MenuHomePhabricator

[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.



Related to

Not working in present state - the bindings that I'd expect aren't iterated.

Diff Detail

Event Timeline

jkorous created this revision.Sep 21 2020, 10:59 PM
jkorous requested review of this revision.Sep 21 2020, 10:59 PM
NoQ added a subscriber: NoQ.Sep 28 2020, 10:11 AM

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?