A Binary Agent Technology for COTS Software Integrity Richard Schooler Anant Agarwal InCert Software.