www.klocwork.com

      Explicit
Provides solutions for source code analysis for C, C++ and Java to identify and resolve security weaknesses and vulnerabilities, quality defects and architectural issues.