Coverity Static Analysis
The most trusted solution for finding code quality defects in large-scale, complex software