Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets.

Ryan Iwahashi Daniela A. S. de Oliveira Shyhtsun Felix Wu Jedidiah R. Crandall Young-Jun Heo Jin-Tae Oh Jong-Soo Jang Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets. 114-130 2008 ISC http://dx.doi.org/10.1007/978-3-540-85886-7_8 conf/isw/2008 db/conf/isw/isc2008.html#IwahashiOWCHOJ08