SPAIN: Security Patch Analysis for Binaries towards Understanding the Pain and Pills
Binhunt: Automatically finding semantic differences in binary programs