I've used Coverity in the past to radically increase the quality of a large SIL-4 code-base. (Safety-critical code for a major industrial transportation system

I've used Coverity in the past to radically increase the quality of a large SIL-4 code-base. (Safety-critical code for a major industrial transportation systems provider.) Without question, it helped my project gain a large step in terms of quality and functionality and was definitely worth it in the context of the regular costs of the project. I won't say the codebase became 100% bug-free, but I will say that it helped us rapidly increase the quality of our code in ways that could only have cost us a lot of time with testing, testing, testing .. and more testing. It found bugs that were extremely esoteric, but nevertheless, extremely important to eradicate, especially in a SIL-4 codebase. My only desire is that these powerful tools become more widely available outside of the safety-critical scene. It would be wonderful to have this sort of power for some of my own smaller, less critical projects - it definitely makes one a better, more careful, programmer.