Defect Detection

Grammatech CodeSonar - Finding Crash Causing Defects in C and C++

CodeSonar performs a complete interprocedural analysis on your C and C++ source code, identifying bugs that can result in serious issues such as system crashes and memory corruption. CodeSonar finds bugs at compile time that can often take weeks to identify with traditional testing.

Take control of quality and security

CodeSonar's source code analysis, analyses and executes code symbolically, detecting critical problems like buffer overruns, memory leaks, null-pointer de-references, and uses of uninitialised variables. Product security is improved by eliminating exploitable vulnerabilities caused by coding defects.

Reduce testing and time to market

CodeSonar will help your development team detect and eliminate bugs early in the development cycle, when problems are easier and less expensive to fix. This allows the debugging of defects that can be pinpointed quickly and simply with automated analysis allowing the shipment of higher-quality software, which is less expensive and easier to support

Run the deepest analysis

CodeSonar is backed by years of research and performs the most in-depth analysis. CodeSonar finds more serious defects than other tools because it's design philosophy is focussed on maximising the number of defects it can find, whilst at the same time delivering a low false positive rate.

Identify trends and recurring problems

CodeSonar lets you manage and analyse results across your development team and, with its powerful analysis and visualisation capabilities, you will have insight into code quality trends.

• CodeSonar - How It Works

• CodeSonar - Differentiators

• CodeSonar - What defects are checked?