<<Here is an open secret known to bug finders: The set of bugs found by tool A is rarely a superset of another tool B,
even if A is much better than B. >>
That... is a problem, though, isn't it?
If the tools are genuinely improving, shouldn't they be converging on finding the same bugs?
Why are our bug-finding tools NOT converging?