> Hi,
>
> I wonder if the OpenBSD developers have a favored set of tools for C
> code analysis. E.g. the kind of stuff listed at
>
http://www.spinroot.com/static/. Esp. stuff like
>
http://spinroot.com/uno/. Are such tools used in OpenBSD code audits?
>
> Also, what about automatic code documentation tools (for lack of a
> better term)? This kind of stuff:
>
http://en.wikipedia.org/wiki/Comparison_of_documentation_generators.
>
> I'm interested because I think OpenBSD is a terrific development
> platform, number one, and number two, I'd like to follow the code
> development practices of OpenBSD.
>
> Thanks,
>
> Gregg
