Binhunt: Automatically finding semantic differences in binary programs
Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications