BinPro: A tool for binary backdoor accountability in code audits
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code