GrammaTech 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.
The FDA is using CodeSonar to identify defects in medical devices, including devices that have been fielded.
The best way to learn more about CodeSonar is to run it on your own code. Please fill out this form for a free trial.