1.1 --- a/docs/related.txt	Tue Jul 03 22:43:21 2012 +0200
     1.2 +++ b/docs/related.txt	Tue Jul 03 23:52:27 2012 +0200
     1.3 @@ -17,6 +17,12 @@
     1.4  http://codespeak.net/pypy/dist/pypy/doc/coding-guide.html#restricted-python
     1.5  http://groups.google.com/group/shedskin-discuss/msg/3f6a4ff34561a97c?dmode=source&output=gplain
     1.6  
     1.7 +PySonar performs whole-program analysis to deduce types and produce annotated
     1.8 +program summaries (apparently being a later version of the program indexer
     1.9 +contributed to Jython):
    1.10 +
    1.11 +http://yinwang0.wordpress.com/2010/09/12/pysonar/
    1.12 +
    1.13  CapPython limits attribute access in order to facilitate code verification:
    1.14  
    1.15  http://mail.python.org/pipermail/python-dev/2008-September/082475.html