Binary code is not easy.

Xiaozhu Meng, Barton P. Miller

Browse the full ISSTA paper archive.