Similarity of binaries through re-optimization
Leveraging semantic signatures for bug search in binary programs