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,
Robin David
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom