GrammaTech
We develop and market static-analysis and program-transformation tools for C/C++ and Ada. Our flagship system is the CodeSurfer®/CodeSonar® static-analysis platform. In addition, we have developed an advanced prototype for analyzing and rewriting binaries (i.e., stripped executables or machine code) called CodeSurfer/x86.