Static analysis in real world

Communications of the ACM (CACM) recently published an article titled “A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World”. Written by the Coverity crowd, the article talks about their experience with commercializing a static bug-finding tool. The authors list practical problems they run into that you typically wouldn’t see when building a research prototype, and also describe how they solved (or worked around) them. Interesting and entertaining…