summary refs log tree commit diff stats
path: root/results/classifier/semantic-bugs/instruction/1377
blob: f3d87d4fec365356b0e0deb0d990ca1d32e51291 (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
instruction: 0.973
assembly: 0.847
device: 0.773
vnc: 0.768
graphic: 0.742
boot: 0.462
socket: 0.412
KVM: 0.326
semantic: 0.321
network: 0.279
other: 0.095
mistranslation: 0.073

x86 CVT* series instructions fault
Description of problem:
For example, CVTSD2SS instruction converts SRC[63:0] double precision floating point to DEST[31:0] single precision floating point. Although the CVTSD2SS instruction uses only 8 bytes, if it overlaps page boundary, I think QEMU tries to access over the valid memory and crashes.
Steps to reproduce:
1. Compile this code
```
void main() {
    mmap(0x555555559000, 0x1000, flag, ~~, 0);
    asm("cvtsd2ss xmm1, qword ptr [0x555555559ff8]");
}
```
2. Execute. QEMU crashes but CPU does not.
Additional information:
This bug is discovered by research conducted by KAIST SoftSec.