|
From: <sv...@va...> - 2008-08-02 06:57:51
|
Author: sewardj
Date: 2008-08-02 07:57:59 +0100 (Sat, 02 Aug 2008)
New Revision: 8497
Log:
Update expected outputs.
Modified:
branches/PTRCHECK/exp-ptrcheck/tests/ccc.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/fp.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/hp_bounds.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/hp_dangle.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/justify.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/partial_bad.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/partial_good.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/realloc.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/strlen_bad.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/supp.stderr.exp
branches/PTRCHECK/exp-ptrcheck/tests/supp.supp
branches/PTRCHECK/exp-ptrcheck/tests/syscall.vgtest
branches/PTRCHECK/exp-ptrcheck/tests/unaligned.stderr.exp
Modified: branches/PTRCHECK/exp-ptrcheck/tests/ccc.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/ccc.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/ccc.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,68 +1,47 @@
Invalid read of size 4
at 0x........: main (ccc.cpp:20)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (ccc.cpp:8)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (ccc.cpp:21)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: __builtin_new (vg_replace_malloc.c:...)
by 0x........: operator new(unsigned) (vg_replace_malloc.c:...)
by 0x........: main (ccc.cpp:9)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 4
at 0x........: main (ccc.cpp:22)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 40-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 40 alloc'd
at 0x........: __builtin_vec_new (vg_replace_malloc.c:...)
by 0x........: operator new[](unsigned) (vg_replace_malloc.c:...)
by 0x........: main (ccc.cpp:10)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 4
at 0x........: main (ccc.cpp:23)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: calloc (vg_replace_malloc.c:...)
by 0x........: main (ccc.cpp:11)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (ccc.cpp:24)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: memalign (vg_replace_malloc.c:...)
by 0x........: main (ccc.cpp:12)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (ccc.cpp:25)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: memalign (vg_replace_malloc.c:...)
- by 0x........: __posix_memalign (vg_replace_malloc.c:...)
+ by 0x........: posix_memalign (vg_replace_malloc.c:...)
by 0x........: main (ccc.cpp:14)
- by 0x........: __libc_start_main (...libc...)
ERROR SUMMARY: 6 errors from 6 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/fp.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/fp.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/fp.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,46 +1,30 @@
Invalid read of size 8
at 0x........: main (fp.c:13)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- once-legitimate range, the 8-byte block free'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ once-legitimate range, a block of size 8 free'd
at 0x........: free (vg_replace_malloc.c:...)
by 0x........: main (fp.c:11)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid write of size 8
at 0x........: main (fp.c:13)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- once-legitimate range, the 8-byte block free'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ once-legitimate range, a block of size 8 free'd
at 0x........: free (vg_replace_malloc.c:...)
by 0x........: main (fp.c:11)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (fp.c:14)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- once-legitimate range, the 4-byte block free'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ once-legitimate range, a block of size 4 free'd
at 0x........: free (vg_replace_malloc.c:...)
by 0x........: main (fp.c:12)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid write of size 4
at 0x........: main (fp.c:14)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- once-legitimate range, the 4-byte block free'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ once-legitimate range, a block of size 4 free'd
at 0x........: free (vg_replace_malloc.c:...)
by 0x........: main (fp.c:12)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/hp_bounds.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/hp_bounds.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/hp_bounds.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,24 +1,16 @@
Invalid read of size 4
at 0x........: main (hp_bounds.c:9)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 400-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 400 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (hp_bounds.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (hp_bounds.c:10)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 400-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 400 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (hp_bounds.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/hp_dangle.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/hp_dangle.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/hp_dangle.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,24 +1,18 @@
Invalid read of size 4
at 0x........: main (hp_dangle.c:17)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 20 bytes inside the accessing pointer's
- once-legitimate range, the 400-byte block free'd
+ Address 0x........ is 20 bytes inside the accessing pointer's
+ once-legitimate range, a block of size 400 free'd
at 0x........: free (vg_replace_malloc.c:...)
by 0x........: mk_dangle (hp_dangle.c:7)
by 0x........: main (hp_dangle.c:15)
- by 0x........: __libc_start_main (...libc...)
Doubly-invalid read of size 4
at 0x........: main (hp_dangle.c:18)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- once-legitimate range, the 400-byte block free'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ once-legitimate range, a block of size 400 free'd
at 0x........: free (vg_replace_malloc.c:...)
by 0x........: mk_dangle (hp_dangle.c:7)
by 0x........: main (hp_dangle.c:15)
- by 0x........: __libc_start_main (...libc...)
ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/justify.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/justify.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/justify.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,13 +1,9 @@
Invalid read of size 1
at 0x........: main (justify.c:20)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 5000 bytes after the accessing pointer's
- legitimate range, the 10000-byte block alloc'd
+ Address 0x........ is 5000 bytes after the accessing pointer's
+ legitimate range, a block of size 10000 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (justify.c:16)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/partial_bad.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/partial_bad.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/partial_bad.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,167 +1,107 @@
Invalid read of size 4
at 0x........: main (partial.c:21)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:22)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes inside the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 1 bytes inside the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:7)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:23)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 2 bytes inside the accessing pointer's
- legitimate range, the 5-byte block alloc'd
+ Address 0x........ is 2 bytes inside the accessing pointer's
+ legitimate range, a block of size 5 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:8)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:24)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 3 bytes inside the accessing pointer's
- legitimate range, the 6-byte block alloc'd
+ Address 0x........ is 3 bytes inside the accessing pointer's
+ legitimate range, a block of size 6 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:9)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:25)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes inside the accessing pointer's
- legitimate range, the 7-byte block alloc'd
+ Address 0x........ is 4 bytes inside the accessing pointer's
+ legitimate range, a block of size 7 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:10)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:34)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes before the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 1 bytes before the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:35)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:36)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 1 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:37)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 2 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 2 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:38)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:41)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Invalid read of size 4
+Invalid read of size 8
at 0x........: main (partial.c:42)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes inside the accessing pointer's
- legitimate range, the 7-byte block alloc'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 7 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:7)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:43)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes inside the accessing pointer's
- legitimate range, the 7-byte block alloc'd
+ Address 0x........ is 4 bytes inside the accessing pointer's
+ legitimate range, a block of size 7 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:8)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 1
at 0x........: main (partial.c:44)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 0-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 0 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:9)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 2
at 0x........: main (partial.c:45)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- legitimate range, the 1-byte block alloc'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 1 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:10)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
ERROR SUMMARY: 15 errors from 15 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/partial_good.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/partial_good.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/partial_good.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,101 +1,72 @@
Invalid read of size 4
at 0x........: main (partial.c:22)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes inside the accessing pointer's
- legitimate range, the 4-byte block alloc'd
+ Address 0x........ is 1 bytes inside the accessing pointer's
+ legitimate range, a block of size 4 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:7)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:23)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 2 bytes inside the accessing pointer's
- legitimate range, the 5-byte block alloc'd
+ Address 0x........ is 2 bytes inside the accessing pointer's
+ legitimate range, a block of size 5 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:8)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:24)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 3 bytes inside the accessing pointer's
- legitimate range, the 6-byte block alloc'd
+ Address 0x........ is 3 bytes inside the accessing pointer's
+ legitimate range, a block of size 6 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:9)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:34)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes before the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 1 bytes before the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:36)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 1 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:37)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 2 bytes inside the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 2 bytes inside the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (partial.c:38)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 3-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 3 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:6)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
+Invalid read of size 8
+ at 0x........: main (partial.c:42)
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 7 alloc'd
+ at 0x........: malloc (vg_replace_malloc.c:...)
+ by 0x........: main (partial.c:7)
+
Invalid read of size 1
at 0x........: main (partial.c:44)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 0-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 0 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:9)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 2
at 0x........: main (partial.c:45)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes inside the accessing pointer's
- legitimate range, the 1-byte block alloc'd
+ Address 0x........ is 0 bytes inside the accessing pointer's
+ legitimate range, a block of size 1 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (partial.c:10)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-ERROR SUMMARY: 9 errors from 9 contexts (suppressed: 0 from 0)
+ERROR SUMMARY: 10 errors from 10 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/realloc.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/realloc.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/realloc.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,68 +1,44 @@
Invalid read of size 4
at 0x........: main (realloc.c:20)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 200-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 200 alloc'd
at 0x........: realloc (vg_replace_malloc.c:...)
by 0x........: main (realloc.c:17)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (realloc.c:21)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 200-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 200 alloc'd
at 0x........: realloc (vg_replace_malloc.c:...)
by 0x........: main (realloc.c:17)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (realloc.c:28)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 200-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 200 alloc'd
at 0x........: realloc (vg_replace_malloc.c:...)
by 0x........: main (realloc.c:25)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (realloc.c:29)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 200-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 200 alloc'd
at 0x........: realloc (vg_replace_malloc.c:...)
by 0x........: main (realloc.c:25)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (realloc.c:38)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 4 bytes before the accessing pointer's
- legitimate range, the 400-byte block alloc'd
+ Address 0x........ is 4 bytes before the accessing pointer's
+ legitimate range, a block of size 400 alloc'd
at 0x........: realloc (vg_replace_malloc.c:...)
by 0x........: main (realloc.c:33)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
Invalid read of size 4
at 0x........: main (realloc.c:39)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 400-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 400 alloc'd
at 0x........: realloc (vg_replace_malloc.c:...)
by 0x........: main (realloc.c:33)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
ERROR SUMMARY: 6 errors from 6 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/strlen_bad.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/strlen_bad.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/strlen_bad.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -3,44 +3,40 @@
at 0x........: strlen (in /...libc...)
by 0x........: __libc_start_main (...libc...)
by 0x........: ...
-Address 0x........ is 12 bytes inside the accessing pointer's
- legitimate range, the 13-byte block alloc'd
+ Address 0x........ is 12 bytes inside the accessing pointer's
+ legitimate range, a block of size 13 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: __strdup (in /...libc...)
by 0x........: main (strlen.c:14)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 4
at 0x........: strchr (in /...libc...)
by 0x........: __libc_start_main (...libc...)
by 0x........: ...
-Address 0x........ is 12 bytes inside the accessing pointer's
- legitimate range, the 13-byte block alloc'd
+ Address 0x........ is 12 bytes inside the accessing pointer's
+ legitimate range, a block of size 13 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: __strdup (in /...libc...)
by 0x........: main (strlen.c:14)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 4
at 0x........: strrchr (in /...libc...)
by 0x........: __libc_start_main (...libc...)
by 0x........: ...
-Address 0x........ is 12 bytes inside the accessing pointer's
- legitimate range, the 13-byte block alloc'd
+ Address 0x........ is 12 bytes inside the accessing pointer's
+ legitimate range, a block of size 13 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: __strdup (in /...libc...)
by 0x........: main (strlen.c:14)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 4
at 0x........: strrchr (in /...libc...)
by 0x........: __libc_start_main (...libc...)
by 0x........: ...
-Address 0x........ is 12 bytes inside the accessing pointer's
- legitimate range, the 13-byte block alloc'd
+ Address 0x........ is 12 bytes inside the accessing pointer's
+ legitimate range, a block of size 13 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: __strdup (in /...libc...)
by 0x........: main (strlen.c:14)
- by 0x........: __libc_start_main (...libc...)
ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/supp.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/supp.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/supp.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,4 +1,4 @@
Warning: invalid file descriptor -1 in syscall write()
-ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 3 from 3)
+ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
Modified: branches/PTRCHECK/exp-ptrcheck/tests/supp.supp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/supp.supp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/supp.supp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,20 +1,16 @@
{
- <insert a suppression name here>
- Annelid:LoadStore
+ first-in-supp.supp
+ exp-ptrcheck:LoadStore
fun:main
- fun:__libc_start_main
- obj:*/annelid/tests/supp
}
{
- <insert a suppression name here>
- Annelid:Arith
+ second-in-supp.supp
+ exp-ptrcheck:Arith
fun:main
- fun:__libc_start_main
- obj:*/annelid/tests/supp
}
{
- <insert a suppression name here>
- Annelid:SysParam
+ third-in-supp.supp
+ exp-ptrcheck:SysParam
write(buf)
fun:__GI___libc_write
fun:__libc_start_main
Modified: branches/PTRCHECK/exp-ptrcheck/tests/syscall.vgtest
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/syscall.vgtest 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/syscall.vgtest 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,2 +1 @@
prog: syscall
-vgopts: --sloppy-malloc=no
Modified: branches/PTRCHECK/exp-ptrcheck/tests/unaligned.stderr.exp
===================================================================
--- branches/PTRCHECK/exp-ptrcheck/tests/unaligned.stderr.exp 2008-08-02 06:56:27 UTC (rev 8496)
+++ branches/PTRCHECK/exp-ptrcheck/tests/unaligned.stderr.exp 2008-08-02 06:57:59 UTC (rev 8497)
@@ -1,46 +1,34 @@
Invalid read of size 1
at 0x........: main (unaligned.c:33)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes before the accessing pointer's
- legitimate range, the 6-byte block alloc'd
+ Address 0x........ is 1 bytes before the accessing pointer's
+ legitimate range, a block of size 6 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
- by 0x........: __strdup (in /...libc...)
+ by 0x........: ...
by 0x........: main (unaligned.c:8)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 1
at 0x........: main (unaligned.c:37)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 1 bytes before the accessing pointer's
- legitimate range, the 6-byte block alloc'd
+ Address 0x........ is 1 bytes before the accessing pointer's
+ legitimate range, a block of size 6 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
- by 0x........: __strdup (in /...libc...)
+ by 0x........: ...
by 0x........: main (unaligned.c:8)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 1
at 0x........: main (unaligned.c:39)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 6-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 6 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
- by 0x........: __strdup (in /...libc...)
+ by 0x........: ...
by 0x........: main (unaligned.c:8)
- by 0x........: __libc_start_main (...libc...)
Invalid read of size 1
at 0x........: main (unaligned.c:43)
- by 0x........: __libc_start_main (...libc...)
- by 0x........: ...
-Address 0x........ is 0 bytes after the accessing pointer's
- legitimate range, the 6-byte block alloc'd
+ Address 0x........ is 0 bytes after the accessing pointer's
+ legitimate range, a block of size 6 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
- by 0x........: __strdup (in /...libc...)
+ by 0x........: ...
by 0x........: main (unaligned.c:8)
- by 0x........: __libc_start_main (...libc...)
ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 0 from 0)
|