← Back to branch summary

~ubuntu-branches/ubuntu/trusty/python3.4/trusty-proposed

« back to all changes in this revision

Viewing changes to Misc/README.coverity

  • Committer: Package Import Robot
  • Author(s): Matthias Klose
  • Date: 2013-11-25 09:44:27 UTC
  • Revision ID: package-import@ubuntu.com-20131125094427-lzxj8ap5w01lmo7f
Tags: upstream-3.4~b1
Import upstream version 3.4~b1

Show diffs side-by-side

added added

removed removed

Lines of Context:
Misc/README.coverity
 
1
 
 
2
Coverity has a static analysis tool (Prevent) which is similar to Klocwork.
 
3
They run their tool on the Python source code (SVN head) on a daily basis.
 
4
The results are available at:
 
5
 
 
6
     http://scan.coverity.com/
 
7
 
 
8
About 20 people have access to the analysis reports.  Other
 
9
people can be added by request.
 
10
 
 
11
Prevent was first run on the Python 2.5 source code in March 2006.
 
12
There were originally about 100 defects reported.  Some of these
 
13
were false positives.  Over 70 issues were uncovered.
 
14
 
 
15
Each warning has a unique id and comments that can be made on it.
 
16
When checking in changes due to a warning, the unique id
 
17
as reported by the tool was added to the SVN commit message.
 
18
 
 
19
False positives were annotated so that the comments can
 
20
be reviewed and reversed if the analysis was incorrect.
 
21
 
 
22
Contact python-dev@python.org for more information.