BinPro: A tool for binary backdoor accountability in code audits
Blanket execution: dynamic similarity testing for program binaries and components