Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet. Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. In Mila Dalla Preda, Natalia Stakhanova, Jeffrey Todd McDonald, editors, Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, SSPREW@ACSAC 2016, Los Angeles, California, USA, December 5-6, 2016. ACM, 2016. [doi]
Abstract is missing.