BinPro: A tool for binary backdoor accountability in code audits
Static detection of application backdoors