You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
(122) |
Nov
(152) |
Dec
(69) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(6) |
Feb
(25) |
Mar
(73) |
Apr
(82) |
May
(24) |
Jun
(25) |
Jul
(10) |
Aug
(11) |
Sep
(10) |
Oct
(54) |
Nov
(203) |
Dec
(182) |
| 2004 |
Jan
(307) |
Feb
(305) |
Mar
(430) |
Apr
(312) |
May
(187) |
Jun
(342) |
Jul
(487) |
Aug
(637) |
Sep
(336) |
Oct
(373) |
Nov
(441) |
Dec
(210) |
| 2005 |
Jan
(385) |
Feb
(480) |
Mar
(636) |
Apr
(544) |
May
(679) |
Jun
(625) |
Jul
(810) |
Aug
(838) |
Sep
(634) |
Oct
(521) |
Nov
(965) |
Dec
(543) |
| 2006 |
Jan
(494) |
Feb
(431) |
Mar
(546) |
Apr
(411) |
May
(406) |
Jun
(322) |
Jul
(256) |
Aug
(401) |
Sep
(345) |
Oct
(542) |
Nov
(308) |
Dec
(481) |
| 2007 |
Jan
(427) |
Feb
(326) |
Mar
(367) |
Apr
(255) |
May
(244) |
Jun
(204) |
Jul
(223) |
Aug
(231) |
Sep
(354) |
Oct
(374) |
Nov
(497) |
Dec
(362) |
| 2008 |
Jan
(322) |
Feb
(482) |
Mar
(658) |
Apr
(422) |
May
(476) |
Jun
(396) |
Jul
(455) |
Aug
(267) |
Sep
(280) |
Oct
(253) |
Nov
(232) |
Dec
(304) |
| 2009 |
Jan
(486) |
Feb
(470) |
Mar
(458) |
Apr
(423) |
May
(696) |
Jun
(461) |
Jul
(551) |
Aug
(575) |
Sep
(134) |
Oct
(110) |
Nov
(157) |
Dec
(102) |
| 2010 |
Jan
(226) |
Feb
(86) |
Mar
(147) |
Apr
(117) |
May
(107) |
Jun
(203) |
Jul
(193) |
Aug
(238) |
Sep
(300) |
Oct
(246) |
Nov
(23) |
Dec
(75) |
| 2011 |
Jan
(133) |
Feb
(195) |
Mar
(315) |
Apr
(200) |
May
(267) |
Jun
(293) |
Jul
(353) |
Aug
(237) |
Sep
(278) |
Oct
(611) |
Nov
(274) |
Dec
(260) |
| 2012 |
Jan
(303) |
Feb
(391) |
Mar
(417) |
Apr
(441) |
May
(488) |
Jun
(655) |
Jul
(590) |
Aug
(610) |
Sep
(526) |
Oct
(478) |
Nov
(359) |
Dec
(372) |
| 2013 |
Jan
(467) |
Feb
(226) |
Mar
(391) |
Apr
(281) |
May
(299) |
Jun
(252) |
Jul
(311) |
Aug
(352) |
Sep
(481) |
Oct
(571) |
Nov
(222) |
Dec
(231) |
| 2014 |
Jan
(185) |
Feb
(329) |
Mar
(245) |
Apr
(238) |
May
(281) |
Jun
(399) |
Jul
(382) |
Aug
(500) |
Sep
(579) |
Oct
(435) |
Nov
(487) |
Dec
(256) |
| 2015 |
Jan
(338) |
Feb
(357) |
Mar
(330) |
Apr
(294) |
May
(191) |
Jun
(108) |
Jul
(142) |
Aug
(261) |
Sep
(190) |
Oct
(54) |
Nov
(83) |
Dec
(22) |
| 2016 |
Jan
(49) |
Feb
(89) |
Mar
(33) |
Apr
(50) |
May
(27) |
Jun
(34) |
Jul
(53) |
Aug
(53) |
Sep
(98) |
Oct
(206) |
Nov
(93) |
Dec
(53) |
| 2017 |
Jan
(65) |
Feb
(82) |
Mar
(102) |
Apr
(86) |
May
(187) |
Jun
(67) |
Jul
(23) |
Aug
(93) |
Sep
(65) |
Oct
(45) |
Nov
(35) |
Dec
(17) |
| 2018 |
Jan
(26) |
Feb
(35) |
Mar
(38) |
Apr
(32) |
May
(8) |
Jun
(43) |
Jul
(27) |
Aug
(30) |
Sep
(43) |
Oct
(42) |
Nov
(38) |
Dec
(67) |
| 2019 |
Jan
(32) |
Feb
(37) |
Mar
(53) |
Apr
(64) |
May
(49) |
Jun
(18) |
Jul
(14) |
Aug
(53) |
Sep
(25) |
Oct
(30) |
Nov
(49) |
Dec
(31) |
| 2020 |
Jan
(87) |
Feb
(45) |
Mar
(37) |
Apr
(51) |
May
(99) |
Jun
(36) |
Jul
(11) |
Aug
(14) |
Sep
(20) |
Oct
(24) |
Nov
(40) |
Dec
(23) |
| 2021 |
Jan
(14) |
Feb
(53) |
Mar
(85) |
Apr
(15) |
May
(19) |
Jun
(3) |
Jul
(14) |
Aug
(1) |
Sep
(57) |
Oct
(73) |
Nov
(56) |
Dec
(22) |
| 2022 |
Jan
(3) |
Feb
(22) |
Mar
(6) |
Apr
(55) |
May
(46) |
Jun
(39) |
Jul
(15) |
Aug
(9) |
Sep
(11) |
Oct
(34) |
Nov
(20) |
Dec
(36) |
| 2023 |
Jan
(79) |
Feb
(41) |
Mar
(99) |
Apr
(169) |
May
(48) |
Jun
(16) |
Jul
(16) |
Aug
(57) |
Sep
(19) |
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
|
|
1
|
2
(1) |
|
3
|
4
(4) |
5
(4) |
6
|
7
|
8
|
9
|
|
10
(2) |
11
(2) |
12
(2) |
13
|
14
|
15
(2) |
16
(1) |
|
17
(2) |
18
(2) |
19
(3) |
20
(4) |
21
(1) |
22
|
23
|
|
24
(7) |
25
|
26
(4) |
27
(7) |
28
(2) |
29
(1) |
30
(2) |
|
31
|
|
|
|
|
|
|
|
From: <sv...@va...> - 2016-07-12 21:50:24
|
Author: philippe
Date: Tue Jul 12 21:49:05 2016
New Revision: 3223
Log:
Fix n-i-bz amd64: memcheck false positive with shr %edx
False positive analysis and fix by Julian.
Thanks
Modified:
trunk/priv/guest_amd64_helpers.c
Modified: trunk/priv/guest_amd64_helpers.c
==============================================================================
--- trunk/priv/guest_amd64_helpers.c (original)
+++ trunk/priv/guest_amd64_helpers.c Tue Jul 12 21:49:05 2016
@@ -1604,6 +1604,15 @@
mkU64(0)));
}
+ /*---------------- SHRL ----------------*/
+
+ if (isU64(cc_op, AMD64G_CC_OP_SHRL) && isU64(cond, AMD64CondZ)) {
+ /* SHRL, then Z --> test dep1 == 0 */
+ return unop(Iop_1Uto64,
+ binop(Iop_CmpEQ32, unop(Iop_64to32, cc_dep1),
+ mkU32(0)));
+ }
+
/*---------------- COPY ----------------*/
/* This can happen, as a result of amd64 FP compares: "comisd ... ;
jbe" for example. */
|
Author: philippe
Date: Tue Jul 12 21:48:31 2016
New Revision: 15905
Log:
Regression test for n-i-bz amd64: memcheck false positive with shr %edx
Valgrind side : reproducer for the false positive memcheck
+ announce the fix (VEX side in next commit)
Added:
trunk/memcheck/tests/amd64/shr_edx.c
trunk/memcheck/tests/amd64/shr_edx.stderr.exp
trunk/memcheck/tests/amd64/shr_edx.stdout.exp
trunk/memcheck/tests/amd64/shr_edx.vgtest
Modified:
trunk/NEWS
trunk/memcheck/tests/amd64/Makefile.am
Modified: trunk/NEWS
==============================================================================
--- trunk/NEWS (original)
+++ trunk/NEWS Tue Jul 12 21:48:31 2016
@@ -136,7 +136,7 @@
n-i-bz Document brk segment limitation, reference manual in limit reached msg.
n-i-bz Fix clobber list in none/tests/amd64/xacq_xrel.c [valgrind r15737]
n-i-bz Bump allowed shift value for "add.w reg, sp, reg, lsl #N" [vex r3206]
-
+n-i-bz amd64: memcheck false positive with shr %edx
Release 3.11.0 (22 September 2015)
Modified: trunk/memcheck/tests/amd64/Makefile.am
==============================================================================
--- trunk/memcheck/tests/amd64/Makefile.am (original)
+++ trunk/memcheck/tests/amd64/Makefile.am Tue Jul 12 21:48:31 2016
@@ -30,6 +30,7 @@
sh-mem-vec256-plo-yes.vgtest \
sh-mem-vec256-plo-yes.stderr.exp \
sh-mem-vec256-plo-yes.stdout.exp \
+ shr_edx.stderr.exp shr_edx.stdout.exp shr_edx.vgtest \
sse_memory.stderr.exp sse_memory.stdout.exp sse_memory.vgtest \
xor-undef-amd64.stderr.exp xor-undef-amd64.stdout.exp \
xor-undef-amd64.vgtest \
@@ -43,6 +44,7 @@
insn-bsfl \
insn-pmovmskb \
sh-mem-vec128 \
+ shr_edx \
sse_memory \
xor-undef-amd64
if BUILD_AVX_TESTS
Added: trunk/memcheck/tests/amd64/shr_edx.c
==============================================================================
--- trunk/memcheck/tests/amd64/shr_edx.c (added)
+++ trunk/memcheck/tests/amd64/shr_edx.c Tue Jul 12 21:48:31 2016
@@ -0,0 +1,54 @@
+#include <stdio.h>
+#include <stdlib.h>
+typedef unsigned long long int ULong;
+
+ULong data;
+ULong result;
+
+
+extern void shrl32_with_0x10 ( void );
+asm("\n"
+"shrl32_with_0x10:\n"
+"\tpushq %rdx\n"
+"\tmovq data, %rdx\n"
+"\tshr $0x10, %edx\n"
+"\tjne shrl32_with_0x10_jump\n"
+"\tshrl32_with_0x10_cont:\n"
+"\tmovq %rdx, result\n"
+"\tpopq %rdx\n"
+"\tret\n"
+"\tshrl32_with_0x10_jump:\n"
+"\tmov $0xdeaddead, %edx\n"
+"\tjmp shrl32_with_0x10_cont\n"
+);
+
+
+int main ( void )
+{
+ char *p;
+
+ printf("\nshrl 0x10 with unitialised bits\n");
+ ULong *notinitialised = malloc(sizeof(ULong)); // Not initialised data.
+ data = *notinitialised;
+ p = (char*) &data;
+ p[0] = 0x11;
+ // p[1] = 0x22;
+ p[2] = 0x33;
+ p[3] = 0x44;
+
+ shrl32_with_0x10();
+
+ printf("non zero jump on p[2..3] 0x%016llx\n", result);
+
+ data = *notinitialised;
+ p = (char*) &data;
+ p[0] = 0x00;
+ // p[1] = 0x00;
+ p[2] = 0x00;
+ p[3] = 0x00;
+
+ shrl32_with_0x10();
+
+ printf("zero jump on p[2..3] 0x%016llx\n", result);
+ return 0;
+}
Added: trunk/memcheck/tests/amd64/shr_edx.stderr.exp
==============================================================================
(empty)
Added: trunk/memcheck/tests/amd64/shr_edx.stdout.exp
==============================================================================
--- trunk/memcheck/tests/amd64/shr_edx.stdout.exp (added)
+++ trunk/memcheck/tests/amd64/shr_edx.stdout.exp Tue Jul 12 21:48:31 2016
@@ -0,0 +1,4 @@
+
+shrl 0x10 with unitialised bits
+non zero jump on p[2..3] 0x00000000deaddead
+zero jump on p[2..3] 0x0000000000000000
Added: trunk/memcheck/tests/amd64/shr_edx.vgtest
==============================================================================
--- trunk/memcheck/tests/amd64/shr_edx.vgtest (added)
+++ trunk/memcheck/tests/amd64/shr_edx.vgtest Tue Jul 12 21:48:31 2016
@@ -0,0 +1,2 @@
+prog: shr_edx
+vgopts: -q
|