Coverity was the first really good static analysis tool -- a classic example of serious academic research (the "Stanford Checker") being spun off as a commercia

Coverity was the first really good static analysis tool -- a classic example of serious academic research (the "Stanford Checker") being spun off as a commercial product. Unfortunately they lost their focus and got acquired; if they had taken a different course they could be an essential security tool.