Earlier quoted context omitted.
I totally agree with that. When I mentioned dynamic dispatch, I had something like Scheme or JavaScript in my mind. Dynamic dispatch in those languages require a more subtle analysis to obtain precise results. I wish I could edit my parent comment to clarify my example. To clarify my position (hence my parent comment's point) on this general matter, I'm OK with any language feature that is amenable to static analysis…
I think the standard counterargument is that if unit testing is ubiquitous, we're already admitting static analysis is at best very incomplete.
I think some guys actually proved that in the 1930s. But so what? Program analysis and testing complement one another.