Klocwork K7 v. 7
Klocwork K7 is a robust and scalable analytical suite for C, C++, and Java, featuring excellent defect discovery and extensive tools for managing the many results. In addition, it provides superior code navigation and analysis tools. This is a comprehensive and very impressive package.