SOURCE CODE ANALYSIS FOR YOUR CRITICAL PROJECTS

Use the best static analysis tool for embedded development.

Catch bugs that other tools miss.

Ship your critical code on-time and defect-free.

GrammaTech is focused on eliminating software defects in mission-critical and embedded applications, where safety, high assurance, and high security are required.

CodeSonar's deep static analysis finds serious and complex bugs the competition often misses.

"CodeSonar is not easily fooled."
    – GE Aviation
View More

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.