John Nagle wrote:
A more useful question is whether the standard libraries are being run through any of the commercial static checkers for possible buffer overflows.
The CPython interpreter is constantly checked with http://www.coverity.com/. Although Python is used for critical stuff at large companies like Apple, Google and NASA, only a few critical bugs in the C code have been found in the last couple of years.
-- http://mail.python.org/mailman/listinfo/python-list