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 eleven PhD-level experts in static analysis. 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.


Free Trial | Products | Customers | Support | News | Jobs | About Us © 2007-2010, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.