Binhunt: Automatically finding semantic differences in binary programs
BMAT - A Binary Matching Tool for Stale Profile Propagation