Staging
v0.8.1
Revision 83f564fd242c1af9dbe6d4273ad50586489000e3 authored by Miss Islington (bot) on 05 April 2018, 11:12:31 UTC, committed by GitHub on 05 April 2018, 11:12:31 UTC

* Add a test for frozen with unhashable field value.
* Improve a comment.
(cherry picked from commit 74940913d26d9f94b8572eca794369841fa6d9b6)

Co-authored-by: Eric V. Smith <ericvsmith@users.noreply.github.com>
1 parent 04eac02
Raw File
README.coverity

Coverity has a static analysis tool (Prevent) which is similar to Klocwork.
They run their tool on the Python source code (SVN head) on a daily basis.
The results are available at:

     http://scan.coverity.com/

About 20 people have access to the analysis reports.  Other
people can be added by request.

Prevent was first run on the Python 2.5 source code in March 2006.
There were originally about 100 defects reported.  Some of these
were false positives.  Over 70 issues were uncovered.

Each warning has a unique id and comments that can be made on it.
When checking in changes due to a warning, the unique id
as reported by the tool was added to the SVN commit message.

False positives were annotated so that the comments can
be reviewed and reversed if the analysis was incorrect.

Contact python-dev@python.org for more information.
back to top