CodeSonar from GrammaTech

Advanced, whole program, deep path, static analysis of C and C++ with easy-to-understand explanations and code and path visualization.