BinPro: A tool for binary backdoor accountability in code audits
Leveraging semantic signatures for bug search in binary programs