Coverity is a professional, high quality tool that finds problems in C++ code by simply looking at that code (static analysis [wikipedia]). It is used by several projects within or connected to EP-SFT, as well as by most of the LHC experiments, to track down bugs in code before anybody ever runs it.
As an example, ROOT, Coverity's earliest adopter at CERN, has resolved all of the thousands of reports, considerably improving the code quality on the way.
EP-SFT provides the infrastructure to scan a set of projects (e.g. ROOT, Geant4, CASTOR, xrootd, cernvmfs; requires registration) and serves as a knowledge base for Coverity installation and use. If you are interested in taking advantage of this tool for your software please contact Federico.Carminati@cern.ch.