[zimablue]

I think the standard counterargument is that if unit testing is ubiquitous, we're already admitting static analysis is at best very incomplete.

[pron]

I think some guys actually proved that in the 1930s. But so what? Program analysis and testing complement one another.