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
