Open AccessFinding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free
Author(s) -
Josselin Feist,
Laurent Mounier,
Marie-Laure Potet,
Sébastien Bardin,
David Ragazzoni
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - heap (data structure) , symbolic execution , computer science , static analysis , programming language , parallel computing , software