http://www.grammatech.com/products/codesonar/overview.html

GrammaTech CodeSonar® performs whole-program, interprocedural source code analysis on your C/C++ code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems.

    * Run with the Best. CodeSonar is backed by years of research and is the most powerful source code analysis tool available for embedded development.
    * Take Control of Quality. CodeSonar pinpoints problems in your code that test cases miss. CodeSonar's SmashProof™ source code analysis, analyzes and executes code symbolically, detecting critical problems like buffer overruns, memory leaks, null-pointer dereferences, and uses of uninitialized variables. CodeSonar finds more serious defects than any other tool on the market.
    * Identify Trends and Recurring Problems. CodeSonar lets you manage and analyze results across your development team and, with its powerful analysis and visualization capabilities, you will have insight into code quality trends that are affecting your critical project.

CodeSonar works out of the box, requiring no changes to your existing build system or source code. Although it is easy to get started with CodeSonar, it has the power and flexibility to scale and adapt to your needs. CodeSonar can perform a whole-program analysis on over 10 million lines of source code. And, it includes numerous workflow automation features, including an API for custom integrations and support for extensions that add custom checks.
You would..
Share
Related Documents
  1. [Podcast] Clean Code (872)
  2. [Paid] CenterLine : optimize your software development and delivery (933)
  3. [Free] SCLC : Source Code Line Counter (1407)
  4. [Paid] Ada-ASSURED : Testing and reviewing for coding style (1457)
  5. [Paid] Vigilant Sentry : a static code analyzer for C/C++ (1490)
  6. No Bugs!: Delivering Error-Free Code in C and C++ (1561)
  7. [Free] Fast C XUnit Test (FCTX) : Unit Testing for C and C++ (1297)
  8. [Free] cfix : Unit Testing Framework for C and C++ (1356)
  9. [Free] CppUTest : C /C++ based unit xUnit test framework for unit testing (2089)
  10. When, Why, and How to Leverage Source Code Analysis Tools (1326)
  11. C++ Primer Plus (1730)
  12. Source lines of code (2286)
  13. [Free] Frama-C : analysis of the source code of software written in C (1715)
  14. [Free] GCT : C coverage tool (2288)
  15. [Ebook] More Effecitve C++ (1162)
  16. C++ from the Ground Up (1410)
  17. Improving Software Productivity and Quality via Mining Program Source Code (1393)
  18. [Ebook] Functional C (1268)
  19. Principles of Data Structures Using C and C++ (2904)
  20. [Free] Nemiver : GNOME C/C++ Debugger (1403)