Edit report at http://bugs.php.net/bug.php?id=52550&edit=1
ID: 52550
Updated by: ras...@php.net
Reported by: regehr at cs dot utah dot edu
Summary: integer undefined behaviors executed during "make
test"
Status: Analyzed
Type: Bug
Package: *General Issues
Operating System: linux
PHP Version: trunk-SVN-2010-08-06 (snap)
Block user comment: N
New Comment:
Hey, we are starting to see the light on these. Some of them are quite
subtle. Is this tool available so we can check out fixes and run it on
a continuous basis before new releases?
Previous Comments:
------------------------------------------------------------------------
[2010-08-06 21:11:35] il...@php.net
Automatic comment from SVN on behalf of iliaa
Revision: http://svn.php.net/viewvc/?view=revision&revision=301936
Log: Use correct order of operations. Second of many fixes for bug
#52550
------------------------------------------------------------------------
[2010-08-06 20:19:24] ras...@php.net
Automatic comment from SVN on behalf of rasmus
Revision: http://svn.php.net/viewvc/?view=revision&revision=301934
Log: Do these ops in the right order here. First of many fixes for
bug #52550
------------------------------------------------------------------------
[2010-08-06 19:21:57] regehr at cs dot utah dot edu
Is there a way to attach files here? Anyway I've put a verbose error
log here:
http://www.cs.utah.edu/~regehr/php-trunk-201008060430-errors.txt
Searching for lines containing the string "CLANG UNDEFINED" in this log
should give you the right information.
------------------------------------------------------------------------
[2010-08-06 17:43:56] ras...@php.net
Do you have a way to generate the list with the test case filename that
triggered
the problem?
------------------------------------------------------------------------
[2010-08-06 16:57:55] regehr at cs dot utah dot edu
To reiterate: this isn't static analysis. Our tool runs your code under
your test suite and looks for integer operations that the C standard
tells us are undefined. I manually verified a few more of these
reported bugs and they were also real. Anyway, I leave the rest to you.
Thanks.
------------------------------------------------------------------------
The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
http://bugs.php.net/bug.php?id=52550
--
Edit this bug report at http://bugs.php.net/bug.php?id=52550&edit=1
