Gaurav Mittal David Zaretsky Gokhan Memik Prith Banerjee Automatic extraction of function bodies from software binaries. 928-931 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1121072 db/conf/aspdac/aspdac2005.html#MittalZMB05