Coverity -Static analysis, software quality for C, C plus plus, Java
Coverity’s Static source code analysis allows organizations to find & fix defects at the earliest stage in the software development life cycle, saving millions of dollars in associated costs.
link






