[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 mailing list