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).
