https://bugs.kde.org/show_bug.cgi?id=373990
Bug ID: 373990
Summary: Potential shift left overflow in guest_arm_toIR.c
Product: valgrind
Version: 3.13 SVN
Platform: Compiled Sources
OS: All
Status: UNCONFIRMED
Severity: minor
Priority: NOR
Component: vex
Assignee: jsew...@acm.org
Reporter: iv...@ivosh.net
Target Milestone: ---
Created attachment 102917
--> https://bugs.kde.org/attachment.cgi?id=102917&action=edit
full analysis
STACK (static checker for unstable code in C/C++ programs) [1] found a
potential problem in several places of VEX/priv/guest_arm_toIR.c.
Here are the relevant excerpts from the analysis represented in YAML:
---
bug: anti-simplify
model: |
%cmp2994 = icmp sge i32 %sub2976, 1, !dbg !6922
--> true
stack:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15239:0
ncore: 1
core:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15237:0
- shift left overflow
---
bug: anti-simplify
model: |
%cmp3033 = icmp sge i32 %sub2976, 1, !dbg !6960
--> true
stack:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15260:0
ncore: 1
core:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15237:0
- shift left overflow
---
bug: anti-simplify
model: |
%cmp3071 = icmp sge i32 %sub2976, 1, !dbg !7022
--> true
stack:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15278:0
ncore: 1
core:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15237:0
- shift left overflow
---
bug: anti-simplify
model: |
%cmp3118 = icmp sge i32 %sub2976, 1, !dbg !7105
--> true
stack:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15300:0
ncore: 1
core:
- /var/tmp/valgrind/VEX/priv/guest_arm_toIR.c:15237:0
- shift left overflow
---
Full analysis output is attached.
[1] http://css.csail.mit.edu/stack/
--
You are receiving this mail because:
You are watching all bug changes.
