x86: 0.996
semantic: 0.990
assembly: 0.913
architecture: 0.909
graphic: 0.782
device: 0.776
debug: 0.706
vnc: 0.663
boot: 0.599
socket: 0.556
arm: 0.503
risc-v: 0.501
permissions: 0.500
register: 0.494
performance: 0.460
mistranslation: 0.452
network: 0.426
files: 0.374
PID: 0.343
other: 0.286
kernel virtual machine: 0.253
TCG: 0.244

x86 ADOX and ADCX semantic bug
Description of problem
The result of instruction ADOX and ADCX are different from the CPU. The value of one of EFLAGS is different.

Steps to reproduce

Compile this code


void main() {
    asm("push 512; popfq;");
    asm("mov rax, 0xffffffff84fdbf24");
    asm("mov rbx, 0xb197d26043bec15d");
    asm("adox eax, ebx");
}



Execute and compare the result with the CPU. This problem happens with ADCX, too (with CF).

CPU

OF = 0


QEMU

OF = 1






Additional information
This bug is discovered by research conducted by KAIST SoftSec.