Nick Holland wrote: > Jacob Yocom-Piatt wrote: > > 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/ . > > Google for it. > http://www.google.com/search?hl=en&q=coverity+openbsd&btnG=Google+Search > > > further info about software that is already available would be > > nice, especially if it's open source. > > just remember: don't confuse "tools" that help you on a task for > things that do the task for you. One should keep their brain > fully engaged...
Program testing can be used to show the presence of bugs, but never to show their absence! -- Edsger Dijkstra, [1972] # Han
