os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Modernize the Coverity chapter.

Browse source
This commit is contained in:
Eitan Adler 2013-11-13 06:05:48 +00:00
parent 1556f96ba4
commit fd79a9afc6
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=43180
1 changed files with 11 additions and 53 deletions

64
en_US.ISO8859-1/articles/committers-guide/article.xml
View file

@ -2831,61 +2831,19 @@ MFC after: 1 month</programlisting>
</sect1> </sect1>
<sect1 xml:id="coverity"> <sect1 xml:id="coverity">
<title>&coverity.prevent; Availability for &os; Committers</title> <title>&coverity; Availability for &os; Committers</title>
<para>In January 2006, the &os;&nbsp;Foundation obtained a license <para>All &os; developers can obtain access to
for &coverity.prevent; from &coverity;&nbsp;Ltd. With this <application>Coverity</application> analysis results of
donation, all &os; developers can obtain access to all &os; Project software. All who are interested
<application>Coverity Prevent</application> analysis results of in obtaining access to
all &os; Project software.</para>
<para>&os; developers who are interested in obtaining access to
the analysis results of the automated the analysis results of the automated
<application>Coverity Prevent</application> runs, can find out <application>Coverity</application> runs, can
more by logging into <systemitem>freefall</systemitem> and reading the sign up at <uri
relevant bits of the files:</para> xlink:href="http://scan.coverity.com/">Coverity Scan</uri></para>
<variablelist> <para>The &os; wiki includes a mini-guide for developers who are
<varlistentry> interested in working with the &coverity; analysis
<term><filename>/usr/local/coverity/coverity_license.txt</filename></term>
<listitem>
<para>The license terms to which the &os; developers will
have to agree in order to use &coverity.prevent; analysis
results.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><filename>/usr/local/coverity/coverity_announcement.txt</filename></term>
<listitem>
<para>The announcement posted to the developers' mailing
list of the &os; Project. It contains useful information
about the &os; Foundation and &coverity;&nbsp;Ltd., as
well as signup information for registering with the
&coverity.prevent; installation of the &os;
Cluster.</para>
<para>After reading and understanding the license terms
of <filename>coverity_license.txt</filename>, all &os;
developers who are interested in using the analysis
results of &coverity.prevent; should read this
file.</para>
</listitem>
</varlistentry>
<varlistentry>
<term><filename>/usr/local/coverity/coverity_readme.txt</filename></term>
<listitem>
<para>A short guide about fixes which are committed to the
&os; source tree after being detected by
&coverity.prevent; and analyzed by a &os;
developer.</para>
</listitem>
</varlistentry>
</variablelist>
<para>The &os; Wiki includes a mini-guide for developers who are
interested in working with the &coverity.prevent; analysis
reports: reports:
<uri xlink:href="http://wiki.freebsd.org/CoverityPrevent">http://wiki.freebsd.org/CoverityPrevent</uri>. <uri xlink:href="http://wiki.freebsd.org/CoverityPrevent">http://wiki.freebsd.org/CoverityPrevent</uri>.
Please note that this mini-guide is only readable by &os; Please note that this mini-guide is only readable by &os;
@ -2894,7 +2852,7 @@ MFC after: 1 month</programlisting>
list.</para> list.</para>
<para>Finally, all &os; developers who are going to use <para>Finally, all &os; developers who are going to use
&coverity.prevent; are always encouraged to ask for more details &coverity; are always encouraged to ask for more details
and usage information, by posting any questions to the mailing and usage information, by posting any questions to the mailing
list of the &os; developers.</para> list of the &os; developers.</para>
</sect1> </sect1>