GrammaTech's CodeSonar

GrammaTech's flagship product is CodeSonar, a static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code. The solution, now in version 3.8, identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors and other serious problems. The new version is six times faster with fewer false positives due to a combination of new models for C/C++ libraries, making it much easier to analyze projects with millions of lines of code. The speedup was achieved, notes GrammaTech, by parallelizing the analysis engine to take full advantage of multicore processors. On an eight-core machine, analysis times are said to have been reduced by 85%. Improvements to the analysis engine empower developers to pinpoint defects faster and with greater precision. Improvements to the user interface make it easy for developers to understand and analyze very large projects, including those developed by complex software-development organizations.

http://www.grammatech.com