@inproceedings{JLP+6,
title = {Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free },
author = {Josselin, Feist and Laurent, Mounier and Potet, Marie-Laure and Bardin, Sebastien and Robin, David},
year = {2016},
booktitle = {Proceedings of the 6th Software Security, Protection, and Reverse Engineering Workshop, {SSPREW} 2016, Los Angeles, USA, December 5-6, 2016},
team = {PACSS, axe_Pacs},
}
