since the openbsd project prides itself on being especially proactive about debugging, it would not surprise me to learn that there is automated code auditing going on. is this already the case? i didn't see openbsd listed on coverity's page, http://scan.coverity.com/ .
further info about software that is already available would be nice, especially if it's open source. cheers, jake
