Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.

Josselin Feist, Laurent Mounier, Sbastien Bardin, Robin David, Marie-Laure Potet

Browse the full ACSAC paper archive.