[allsunny]

Would be cool if they could quantity the gains in productivity - eg before we put in the static analysis we had x level of software defects, following these improvements we saw a drop to level y. Trying to introduce similar improvements at my current place but it’s a hard sell without data

[joatmon-snoo]

The coverity paper may be interesting to you: http://delivery.acm.org/10.1145/1650000/1646374/p66-bessey.p...

[merlinsbrain]

The link doesn’t work, I’m interested to read it though.

[mdibiase]

Try this link. It should be the same article as linked previously. http://www.cs.columbia.edu/~junfeng/14fa-e6121/papers/coveri...

[joatmon-snoo]

Whoops! Should've noticed that was an ephemeral link, but yes, mdibiase@ linked the one I meant to. It's Coverity's "A Few Billion Lines of Code Later" ACM paper.

[gaogao]

Quantifying the number of bugs sounds a bit too close to "zarro boogs found," though I grant that additional data would be nice.