# HG changeset patch # User Paul Boddie # Date 1341352347 -7200 # Node ID 16ae35b97fa36b4a0d2d0c19dcc113141f8c0f27 # Parent 0870065a77d4d06e69de2fa93294c96f925d6f01 Added PySonar reference. diff -r 0870065a77d4 -r 16ae35b97fa3 docs/related.txt --- a/docs/related.txt Tue Jul 03 22:43:21 2012 +0200 +++ b/docs/related.txt Tue Jul 03 23:52:27 2012 +0200 @@ -17,6 +17,12 @@ http://codespeak.net/pypy/dist/pypy/doc/coding-guide.html#restricted-python http://groups.google.com/group/shedskin-discuss/msg/3f6a4ff34561a97c?dmode=source&output=gplain +PySonar performs whole-program analysis to deduce types and produce annotated +program summaries (apparently being a later version of the program indexer +contributed to Jython): + +http://yinwang0.wordpress.com/2010/09/12/pysonar/ + CapPython limits attribute access in order to facilitate code verification: http://mail.python.org/pipermail/python-dev/2008-September/082475.html