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