diff options
Diffstat (limited to 'results/classifier/semantic-bugs/2672')
| -rw-r--r-- | results/classifier/semantic-bugs/2672 | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/results/classifier/semantic-bugs/2672 b/results/classifier/semantic-bugs/2672 new file mode 100644 index 00000000..3a1f3f9a --- /dev/null +++ b/results/classifier/semantic-bugs/2672 @@ -0,0 +1,33 @@ +graphic: 0.901 +instruction: 0.868 +device: 0.714 +vnc: 0.423 +socket: 0.247 +boot: 0.240 +mistranslation: 0.222 +semantic: 0.216 +network: 0.205 +assembly: 0.203 +other: 0.148 +KVM: 0.040 + +Skipping a jal instruction in riscv64 baremetal emulation +Description of problem: +The binary contains an illegal instruction after a jal. Normally the jal should be taken but the illegal instructi[aia_tests2.elf](/uploads/b8b646b01d7bcc15b51c36ddbffacac7/aia_tests2.elf)on next to the jal is executed generating and illegal instruction exception: + +``` +0x80006070: 00200513 addi a0,zero,2 +0x80006074: 89cff0ef jal ra,-3940 # 0x80005110 + +---------------- +IN: _Z15int_switch_modehh +0x80006078: 0000 illegal + +---------------- +IN: mtvec_table +0x8000e600: 64d0406f j 20044 # 0x8001344c +``` +Steps to reproduce: +1. Execute the same binary with QEMU. +Additional information: + |