Towards robust instruction-level trace alignment of binary code
Binhunt: Automatically finding semantic differences in binary programs