In January 2006, the FreeBSD Foundation obtained a license for Coverity Prevent® from Coverity® Ltd. With this donation, all FreeBSD developers can obtain access to Coverity Prevent analysis results of all FreeBSD Project software.
FreeBSD developers who are interested in obtaining access to the analysis results of the automated Coverity Prevent runs, can find out more by logging into freefall and reading the relevant bits of the files:
The license terms to which the FreeBSD developers will have to agree in order to use Coverity Prevent analysis results.
The announcement posted to the developers' mailing list of the FreeBSD Project. It contains useful information about the FreeBSD Foundation and Coverity Ltd., as well as signup information for registering with the Coverity Prevent installation of the FreeBSD Cluster.
After reading and understanding the license terms of coverity_license.txt, all FreeBSD developers who are interested in using the analysis results of Coverity Prevent should read this file.
A short guide about fixes which are committed to the FreeBSD source tree after being detected by Coverity Prevent and analyzed by an FreeBSD developer.
The FreeBSD Wiki includes a mini-guide for developers who are interested in working with the Coverity Prevent analysis reports: http://wiki.freebsd.org/CoverityPrevent. Please note that this mini-guide is only readable by FreeBSD developers, so if you cannot access this page, you will have to ask someone to add you to the appropriate Wiki access list.
Finally, all FreeBSD developers who are going to use Coverity Prevent are always encouraged to ask for more details and usage information, by posting any questions to the mailing list of the FreeBSD developers.
This, and other documents, can be downloaded from ftp://ftp.FreeBSD.org/pub/FreeBSD/doc/.
For questions about FreeBSD, read the documentation before contacting <questions@FreeBSD.org>.
For questions about this documentation, e-mail <doc@FreeBSD.org>.