Does OpenBSD have a formal process for these audits? Any pointers?
Steve Krzysiak
1

Check out Henning’s slides on Secure coding in C: http://quigon.bsws.de/papers/aalborg2009/