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:
/usr/local/coverity/coverity_license.txt
The license terms to which the FreeBSD developers will have to agree in order to use Coverity Prevent® analysis results.
/usr/local/coverity/coverity_announcement.txt
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.
/usr/local/coverity/coverity_readme.txt
A short guide about fixes which are committed to the FreeBSD source tree after being detected by Coverity Prevent® and analyzed by a 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 http://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>.