too imprecise useless results may not scale does not scale overkill for some things possibly still too imprecise for others.
In Defense of Probabilistic Static Analysis
