- » 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 Reference Manual. In particular, the manual's copyright page is no longer present at this URL.
Our flagship product is now CodeSonar®: a static analysis tool that performs whole-program, interprocedural analysis on source code and identifies programming bugs that can result in system crashes, memory corruption, and other serious problems. 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.
Among the kinds of problems detected by CodeSonar are deadlocks and other concurrency-related errors. Our whitepaper Finding Concurrency Errors with GrammaTech Static Analysis (PDF) discusses these and explains how static analysis with CodeSonar can help find such defects without executing the program.
In a deadlock, two or more threads prevent each other from making progress by each holding a lock needed by another. CodeSonar identifies lock acquisition and release patterns that place a program at risk of deadlock.
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.