[rfk-dev] Static analysis
Eric S. Raymond
esr at thyrsus.com
Wed Nov 21 15:57:54 PST 2012
I have run two static analyzers on the code, and added various small
changes and annotations to make them happy. cppcheck runs clean;
splint doesn't yet (getting splint to run clean on nontrivial code
is very difficult). I'm going to get us registered with Coverity
so we can use their scanner, too.
"make cppcheck" and "make splint" in the source directory to see
the results from those.
<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>
When only cops have guns, it's called a "police state".
-- Claire Wolfe, "101 Things To Do Until The Revolution"
More information about the rfk-dev