Comment by wololo

> I think there are a lot of developers out there who don't write tests

I like to imagine a world where automated analysis supplements testing by providing a middle ground of "moderate gain + no programmer effort" (if you're interested, http://bugchecker.net)