- » 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 Ada 95 Quality and Style Guide.
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 (such as data races) and crashing bugs (such as null pointer dereferences). 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 has several features that support your use of coding standards.
- Take advantage of built-in suites of checks for common coding standards such as the JPL Institutional Coding Standard for the C Programming Language.
- Selectively enable/disable checks associated with individual rules, or all checks associated with a particular rule set.
- Set your own thresholds for many checks: for example, specify the maximum permissible length for a function.
- Implement custom checkers to support local rules and guidelines.
- Utilize metric-related features:
- Compute as many or as few built-in metrics as you wish.
- Define additional metrics for CodeSonar to compute.
- Create custom checkers to issue warnings whenever the value of a particular metric is higher (or lower) than a value you specify.
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.