Page MenuHomePhabricator

[Attributor] Add "free"-based heap2stack deduction

Authored by jdoerfert on Oct 14 2019, 3:34 PM.



If there is a unique free of the allocated that has to be reached from
the malloc, we can apply the heap-2-stack transformation even if the
pointer escapes.

Diff Detail

Event Timeline

jdoerfert created this revision.Oct 14 2019, 3:34 PM
Herald added a project: Restricted Project. · View Herald TranscriptOct 14 2019, 3:34 PM
jdoerfert marked an inline comment as done.Oct 14 2019, 3:38 PM
jdoerfert added inline comments.

I need to put this pattern into a helper method in the Iterator class.

This revision is now accepted and ready to land.Oct 14 2019, 3:50 PM
This revision was automatically updated to reflect the committed changes.