GrammaTech, Inc.
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.
- 888-695-2668
+1-607-273-7340 - 607-273-8752
- info@grammatech.com
- 531 Esty Street
Ithaca, NY 14850
United States
Filter Results By:
Products
Applications
-
product
Development Testing
Today, there are many competing vendor claims about the best means to ensure software quality and security. The consensus among leading software development organizations, however, is quite clear. Using a mix of static analysis and dynamic testing is the de facto standard to achieve high quality and safe software.
-
product
Static Analysis Tool
CodeSonar
Automated static analysis designed for zero-tolerance defect environments. CodeSonar, GrammaTech''s flagship static analysis software, identifies programming bugs that can result in system crashes, memory corruption, leaks, data races, and security vulnerabilities. By analyzing both source code and binaries, CodeSonar empowers developers to eliminate the most costly and hard-to-find defects early in the application development lifecycle.
