On 2/25/2015 10:23 AM, Zachary Ware wrote:
Just to be clear, this has already been fixed, and the fix will be released in Python 2.7.10, 3.4.4, and 3.5.0.
I think the important effect of the fix is to encourage automatic code verification both by the group that found this bug and by and others. Future verifier developers can check their code by trying to verify the fixed code.
The C half of the CPython code base has been improved by responding to issues raised by the Coverity checker. I hope we can get free code reviews both of C and Python code from others.
-- Terry Jan Reedy -- https://mail.python.org/mailman/listinfo/python-list