Company Overview

Company Highlights

GrammaTech's software-development tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. Our staff includes ten PhD-level experts in static analysis. We have offices in Ithaca, New York, and San Jose, California. The company was founded by Professor Tim Teitelbaum of Cornell University and Professor Tom Reps of the University of Wisconsin.

Products

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.