Static Analysis for Detecting Vulnerabilities in COTS
Radu Gruian, Tim Teitelbaum · 2005
This is the final report of a project to study object code analysis, rewriting, and regeneration; interacting with Univ. of Wisconsin on enhancements to and applications of CodeSurfer/x86 and Weighted Moped; and supporting DOD clients in their evaluation of assurance and understanding tools developed at GrammaTech. This one-year project was a continuation of a two-year effort that involved two CIP/SW MURIs at the University of Wisconsin and Carnegie-Mellon University (CMU) managed by the Office of Naval Research (ONR), and four separately funded GrammaTech projects with similar goals.