CodeSonar
Source-Code Analyser
CodeSonar™ is a sophisticated source code analysis tool that performs a whole-program, interprocedural analysis on C/C++ code and identifies complex programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar pinpoints problems at compile time that can take weeks to identify with traditional testing.
- Detect and eliminate bugs early in the development cycle, when problems are easier and less
expensive to fix.
- Improve product security, because many exploited vulnerabilities are caused by coding defects
(e.g., buffer overruns).
- Avoid having to debug defects that can be pinpointed quickly and simply with automated
analysis.
- Reduce time to market.
- Catch problems that test suites miss.
- Ship higher-quality software, which is less expensive and easier to support.
> Arrange an Evaluation of CodeSonar <
How does it work?
Like a compiler, CodeSonar does a build of your code, but instead of creating object code it creates an abstract representation of the program. After the individual files are built, a synthesis phase combines the results into a whole-program model. The model is symbolically executed and the analysis keeps track of variables and how they are related. Warnings are generated when anomalies are encountered. CodeSonar does not need test cases and works with the existing build system.
Why CodeSonar?
- Results displayed in HTML
- Highly accurate analysis
- Custom checks
- Works with exisiting build system
- Comprehensive list of checks
Example warning generated by CodeSonar
Find Out More
- Arrange an evaluation of the Grammatech code analysis products
- Find out more about our code analysis solutions
- Arrange an online demonstration
-
Datasheet on CodeSonar
(PDF)
-
CodeSonar Overview
(PDF)
Supported Platforms and Environments
| Supported platforms |
|
| Supported languages |
|
Supported Compilers
|
Name |
Description |
Platform |
|
acc |
Sun C Compiler |
Solaris |
|
armcc |
ARM Real View Compiler Tools compiler
|
Windows |
|
cl |
Microsoft C compiler |
Windows |
|
ecomppc
|
Green Hills C Compiler |
All platforms |
|
gcc |
Gnu Project C Compiler |
Linux, Solaris, Windows under Cygwin
|
|
gpp ** |
g++, the Gnu Project C++ Compiler |
Linux, Solaris, Windows under Cygwin
|
|
mcpcom |
Intel C/C++compiler |
All platforms |
|
picc |
Hi-Tech C compiler |
Windows, Linux |
|
cl6x, cl30
|
Ti CodeComposer C compiler |
All platforms |
|
dcc |
Wind River C and C++ compilers |
All platforms |
