Static Analysis for Source Code and Binary Code
Thank you for visiting the GrammaTech website. We are no longer developing or supporting Ada-Assured™ or Ada-Utilities™, and so we are no longer hosting a copy of the Ada 95 Reference Manual.
Our flagship product is now CodeSonar®, a static analysis tool that performs whole-program, interprocedural analysis on source code and binary code. CodeSonar identifies problems that range from standard coding 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.
CodeSonar is currently available for C, C++, and Java source code, as well as binary code.