Here's an interesting point I came across while asking Google about "static software testing". The title of the slide is Moore's Low. If that's a typo, it's ironically appropriate.
Developers work at the edge of their abilities, even when their ability is enhanced by better analysis tools.