[issue9530] integer undefined behaviors

[John Regehr]

John Regehr <regehr at cs.utah.edu> added the comment:

Hi folks,

I realize it was a long time ago that I reported this issue!  Since then our tool has been made available:

  http://embed.cs.utah.edu/ioc/

In particular, that web page contains a pre-compiled version of the tool for recent Ubuntu on x86-64, that should be pretty easy to use.

Alternatively, I can re-run the Python test suite on a Python compiled using our tool.  Let me know if this would be helpful.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________