[rfk-dev] Coverity says the robotfindskitten code is clean
Eric S. Raymond
esr at thyrsus.com
Thu Nov 22 22:09:58 PST 2012
One false positive, suppressed.
Between splint, cppcheck, and Coverity we now have mechanized
correctness checking that is good as existing technology allows on C
code. That's my apology for introucing a bug.
<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>
Probably fewer than 2% of handguns and well under 1% of all guns will
ever be involved in a violent crime. Thus, the problem of criminal gun
violence is concentrated within a very small subset of gun owners,
indicating that gun control aimed at the general population faces a
serious needle-in-the-haystack problem.
-- Gary Kleck, "Point Blank: Handgun Violence In America"
More information about the rfk-dev