GrammaTech static analysis for C, C++, and Java is designed for organizations that have zero tolerance for defects and vulnerabilities in their code. GrammaTech CodeSonar is the most powerful source code analysis system available today. It is extraordinarily precise, finding on average 2 times more serious defects in software than other solutions.
CodeSonar typically catches twice as many critical defects as other static analysis tools, while maintaining reasonable false-positive rates.
CodeSonar catches those additional defects by having a single, unified dataflow analysis that models the underlying computation of the entire program.