We used Coverity at ACCESS (who make ALP and the First Else, neither of which you've heard of). If you're using C and/or C++, it's a truly amazing tool, and ch

We used Coverity at ACCESS (who make ALP and the First Else, neither of which you've heard of). If you're using C and/or C++, it's a truly amazing tool, and chases down some very weird bugs. As our upgrade method, we basically enabled serious tests a few at a time, fixed most of the problems that showed up as a result, and then later enabled a few more checks on slightly less serious bugs. But I can see how it's hard to sell that in general. ACCESS was actually a pretty good, sophisticated user of Coverity in most ways, and it paid us back handsomely in code quality.