Probably Coverity (http://www.synopsys.com/software/coverity/Pages/default.aspx http://www.synopsys.com/software/coverity/Pages/default.aspx) is the best / most

Probably Coverity (http://www.synopsys.com/software/coverity/Pages/default.aspx http://www.synopsys.com/software/coverity/Pages/default.aspx) is the best / most complete implementation of this idea. Although it has impressive capabilities, you'll need to deal with their sales people, get a license, and invest a non-trivial amount of time learning the system, modifying your software build, etc, to get a lot out of in. Unless your code is mission-critical, it's probably more trouble than it's worth.