- » 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 so are no longer hosting a copy of its product manual.
Our flagship product is now CodeSonar®: a static analysis tool that performs whole-program, interprocedural analysis on source code and identifies a wide range of problems, including concurrency defects and 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 ships with a large number of built-in checks for correctness and consistency issues in source code.
- Problems detected include buffer overruns and underruns, excessive stack usage, uninitialized variables, unused values, data races, and more.
- There are built-in suites of checks for common coding standards such as the JPL Institutional Coding Standard for the C Programming Language.
- Checks can be selectively enabled/disabled, depending on current requirements, and many checks have user-configurable thresholds. For example, a user can specify the maximum permissible length for a function or opt not to check function lengths at all.
Along with the built-in checks, CodeSonar provides extensive support for users to specify their own custom checks. A rich API provides full programmatic access to the internal representation generated for the CodeSonar analysis. Neither custom checkers nor the CodeSonar analysis as a whole require any modification of project source code.
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.