Mailing List Archive: Python: Bugs

[issue9530] integer undefined behaviors

Index | Next | Previous | View Threaded

report at bugs

Apr 30, 2012, 10:31 AM

Post #1 of 6 (62 views)
Permalink

[issue9530] integer undefined behaviors

Changes by Mark Dickinson <dickinsm [at] gmail>:

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

_______________________________________
Python tracker <report [at] bugs>
<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

report at bugs

Apr 30, 2012, 10:35 AM

Post #2 of 6 (60 views)
Permalink

[issue9530] integer undefined behaviors [In reply to]

John Regehr <regehr [at] cs> 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>
<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

report at bugs

Apr 30, 2012, 2:45 PM

Post #3 of 6 (56 views)
Permalink

[issue9530] integer undefined behaviors [In reply to]

Changes by Stefan Krah <stefan-usenet [at] bytereef>:

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

_______________________________________
Python tracker <report [at] bugs>
<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

report at bugs

May 2, 2012, 10:52 AM

Post #4 of 6 (53 views)
Permalink

[issue9530] integer undefined behaviors [In reply to]

Changes by Chris Rebert <pybugs [at] rebertia>:

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

_______________________________________
Python tracker <report [at] bugs>
<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

report at bugs

May 2, 2012, 11:36 AM

Post #5 of 6 (56 views)
Permalink

[issue9530] integer undefined behaviors [In reply to]

Mark Dickinson <dickinsm [at] gmail> 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 [at] bugs>
<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

report at bugs

May 7, 2012, 2:37 AM

Post #6 of 6 (50 views)
Permalink

[issue9530] integer undefined behaviors [In reply to]

Roundup Robot <devnull [at] psf> 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 [at] bugs>
<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

Index | Next | Previous | View Threaded

Interested in having your list archived? Contact Gossamer Threads