Contributed by jose on from the automated-bug-discovery dept.
"I was wondering if there was a reason that OpenBSD didn't make more use of tools like Splint http://www.splint.org?Having used and written some automated code checking tools, I do wonder if some of the project members use them or why they don't. While you can't catch several bug types with automated tools, as a general first pass it seems to do a pretty good job. Any insight about the OpenBSD project's use of such tools?
Or possibly someone is working on a project like (or port of) valgrind? http://developer.kde.org/~sewardj/
(Comments are closed)