summaryrefslogtreecommitdiff
path: root/sys/src/cmd/python/Misc/README.klocwork
diff options
context:
space:
mode:
authorcinap_lenrek <cinap_lenrek@localhost>2011-05-03 11:25:13 +0000
committercinap_lenrek <cinap_lenrek@localhost>2011-05-03 11:25:13 +0000
commit458120dd40db6b4df55a4e96b650e16798ef06a0 (patch)
tree8f82685be24fef97e715c6f5ca4c68d34d5074ee /sys/src/cmd/python/Misc/README.klocwork
parent3a742c699f6806c1145aea5149bf15de15a0afd7 (diff)
add hg and python
Diffstat (limited to 'sys/src/cmd/python/Misc/README.klocwork')
-rw-r--r--sys/src/cmd/python/Misc/README.klocwork30
1 files changed, 30 insertions, 0 deletions
diff --git a/sys/src/cmd/python/Misc/README.klocwork b/sys/src/cmd/python/Misc/README.klocwork
new file mode 100644
index 000000000..6d2f57fc7
--- /dev/null
+++ b/sys/src/cmd/python/Misc/README.klocwork
@@ -0,0 +1,30 @@
+
+Klocwork has a static analysis tool (K7) which is similar to Coverity.
+They will run their tool on the Python source code on demand.
+The results are available at:
+
+ https://opensource.klocwork.com/
+
+Currently, only Neal Norwitz has access to the analysis reports. Other
+people can be added by request.
+
+K7 was first run on the Python 2.5 source code in mid-July 2006.
+This is after Coverity had been making their results available.
+There were originally 175 defects reported. Most of these
+were false positives. However, there were numerous real issues
+also uncovered.
+
+Each warning has a unique id and comments that can be made on it.
+When checking in changes due to a K7 report, the unique id
+as reported by the tool was added to the SVN commit message.
+A comment was added to the K7 warning indicating the SVN revision
+in addition to any analysis.
+
+False positives were also annotated so that the comments can
+be reviewed and reversed if the analysis was incorrect.
+
+A second run was performed on 10-Aug-2006. The tool was tuned to remove
+some false positives and perform some additional checks. ~150 new
+warnings were produced, primarily related to dereferencing NULL pointers.
+
+Contact python-dev@python.org for more information.