CodeSonar Enterprise is GrammaTech’s static-analysis tool for finding flaws in C/C++ programs. It allows you to find serious bugs in your programs at compile time, without having to run your code. [Note registration required.]