- » CodeSonar® Overview
- » Defect Detection
- » Concurrency Checks
- » Architecture Visualization
- » Software Metrics
- » How We Are Different
- » Resources
- » Free Trial
Welcome to GrammaTech
Static Analysis For Your Source Code
Thank you for visiting the GrammaTech web site. We are no longer developing or supporting Ada-Assured™ and Ada-Utilities™, and so are no longer hosting a copy of the Ada83 Reference Manual.
Our flagship product is now CodeSonar®: a static analysis tool that performs whole-program, interprocedural analysis on source code. CodeSonar identifies problems that range from coding standard violations to concurrency errors to crashing bugs. Its web-based interface provides straightforward access to analysis results, and supports the software development process with a range of information: from high-level reports and summary charts to detailed examinations of individual weaknesses detected.
Learn More
CodeSonar is currently available for C and C++. CodeSonar for Java will be released later in 2012.
You can learn more about CodeSonar here on the GrammaTech web site, or Sign up for a free trial and try CodeSonar on your own code.