Coverity also i think i remember one of the OpenBSD developers worked/works for coverity
There is open source projects scanning. Also look in the archives there are several interesting threads try f.ex using coverity in your search. there is a list of tools on wikipedia !!! http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis On Sun, Jan 8, 2012 at 1:21 PM, Stuart Henderson <s...@spacehopper.org> wrote: > On 2012-01-08, Lars <nore...@z505.com> wrote: >> What tools are used in OpenBSD for static source code analysis? I guess >> Lint is considered one tool? > > Various people have used various tools at various times to look at > OpenBSD source code. Besides lint, examples include: clang's static analyser, > cppcheck, parfait (and I'm sure there are others which have been run over at > least parts of the codebase).