diff options
Diffstat (limited to 'results/classifier/semantic-bugs/instruction/2175')
| -rw-r--r-- | results/classifier/semantic-bugs/instruction/2175 | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/results/classifier/semantic-bugs/instruction/2175 b/results/classifier/semantic-bugs/instruction/2175 deleted file mode 100644 index 874c3bcd..00000000 --- a/results/classifier/semantic-bugs/instruction/2175 +++ /dev/null @@ -1,51 +0,0 @@ -instruction: 0.883 -device: 0.776 -graphic: 0.745 -assembly: 0.701 -network: 0.686 -vnc: 0.644 -other: 0.619 -socket: 0.611 -mistranslation: 0.593 -KVM: 0.567 -semantic: 0.514 -boot: 0.511 - -Intel BLSI CF computation bug -Description of problem: -CF flag computation of BLSI instruction is wrong. It seems #1370 was not completely fixed. -Steps to reproduce: -1. Compile `example.c` using this command: `gcc -o example.bin example.c`. My gcc version is 12.3.0, but other versions may work. -``` -int main() { - __asm__ ( - "movq $0x1, %r8\n" - "mov $0xedbf530a, %r9\n" - "push $0x1\n" - "popf\n" - "blsi %r9d, %r8d\n" - "pushf\n" - "pop %rax\n" - "pop %rbp\n" - "ret\n" - ); - - return 0; -} -``` -2. Run `./example.bin`. Then check the return code using `echo $?`. It should be 3. -``` -$ ./example.bin -$ echo $? -3 -``` -3. Run `./qemu-x86_64 ./example.bin`. Then check the return code using `echo $?`. It should be 2. -``` -$ ./qemu-x86_64 ./example.bin -$ echo $? -2 -``` - -The return code of `./example.bin` contains the value of the `RFLAGS` register after executing the `BLSI` instruction. -Additional information: - |