[valgrind] [Bug 384842] Reporting for VEX IR semantic bugs

2017-09-19 Thread Soomin Kim
https://bugs.kde.org/show_bug.cgi?id=384842 Soomin Kim changed: What|Removed |Added CC||soom...@kaist.ac.kr -- You are receiving this

[valgrind] [Bug 384842] New: Reporting for VEX IR semantic bugs

2017-09-19 Thread Soomin Kim
binary lifters, including yours, are labeled by name. In summary we found 4 unique bugs in VEX lifter. If you have any questions feel free to write us or comment on the Github issues. Best regards, Soomin Kim & Markus Faerevaag & Sang Kil Cha -- You are receiving this mail because: You are watching all bug changes.