Mailing List Archive

[issue9530] integer undefined behaviors
Changes by Mark Dickinson <dickinsm@gmail.com>:


----------
dependencies: +Integer overflow in classic string formatting

_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com
[issue9530] integer undefined behaviors [ In reply to ]
John Regehr <regehr@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@bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com
[issue9530] integer undefined behaviors [ In reply to ]
Changes by Stefan Krah <stefan-usenet@bytereef.org>:


----------
nosy: +skrah

_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com
[issue9530] integer undefined behaviors [ In reply to ]
Changes by Chris Rebert <pybugs@rebertia.com>:


----------
nosy: +cvrebert

_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com
[issue9530] integer undefined behaviors [ In reply to ]
Mark Dickinson <dickinsm@gmail.com> added the comment:

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

Definitely helpful if you have the time! Yes, please. Though I do intend to try out the tool for myself at some point.

----------

_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com
[issue9530] integer undefined behaviors [ In reply to ]
Roundup Robot <devnull@psf.upfronthosting.co.za> added the comment:

New changeset c9c2031cf16d by Mark Dickinson in branch 'default':
Add John Regehr to Misc/ACKS for his help with finding integer overflows (issue #9530).
http://hg.python.org/cpython/rev/c9c2031cf16d

----------

_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue9530>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com