On Thu, Apr 4, 2013 at 2:45 PM, Ian Cordasco <graffatcolmin...@gmail.com> wrote: > Hey Alfredo, > > We do not currently have any tools to do that, but it would definitely > be something interesting to discuss and maybe design on the list. I'm > sure there are static analysis tools for the C part and I'm sure we as > a community could come up with a "super tool" to check both the C and > Python parts of CPython.
As cf said it seems they're using Coverity for the C part, but the idea of checking the cpython interpreter with python itself is intriguing. Suscribed. Alfredo _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com