On Mon, Mar 26, 2007 at 01:27:46PM -0500, Gregg Reynolds wrote:
> 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?

lint(1), gcc-local(1)

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

no

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

use brain and then pick one of these: ed(1), vi(1), mg(1), vim(1) or the
emacs operating system (be sure to enable vi mode for a good editor).
style(7) may be worth reading...

> 
> Thanks,
> 
> Gregg

Reply via email to