blob: d8fbffa2f9497a63662064cd8b606d5ac4977128 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
semantic: 0.983
instruction: 0.964
graphic: 0.873
assembly: 0.852
device: 0.790
socket: 0.764
vnc: 0.756
boot: 0.678
network: 0.672
other: 0.609
mistranslation: 0.606
KVM: 0.412
x86 BLSI and BLSR semantic bug
Description of problem
The result of instruction BLSI and BLSR is different from the CPU. The value of CF is different.
Steps to reproduce
Compile this code
void main() {
asm("blsi rax, rbx");
}
Execute and compare the result with the CPU. The value of CF is exactly the opposite. This problem happens with BLSR, too.
Additional information
This bug is discovered by research conducted by KAIST SoftSec.
|