yuzu/unicorn
1
0
Fork 0
mirror of https://github.com/yuzu-emu/unicorn.git synced 2024-12-22 20:25:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add test showing failure to track targets properly when single-stepping.

Browse source 
This issue breaks emulation of conditional instructions on amd64.
This commit is contained in:
Zach Riggle 2016-04-05 09:51:44 -07:00
parent b138393a2b
commit 67ae30a2fb
1 changed files with 39 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

39
tests/regress/x86_64_conditional_jump.py Executable file
View file

@ -0,0 +1,39 @@
#!/usr/bin/python
import regress
import unicorn as U
class WrongConditionalPath(regress.RegressTest):
def test_eflags(self):
# 0: 4d 31 f6 xor r14, r14
# 3: 45 85 f6 test r14d, r14d
# 6: 75 fe jne 0x6
# 8: f4 hlt
CODE = 'M1\xf6E\x85\xf6u\xfe\xf4'
uc = U.Uc(U.UC_ARCH_X86, U.UC_MODE_64)
uc.reg_write(U.x86_const.UC_X86_REG_RIP, 0x6000b0)
uc.reg_write(U.x86_const.UC_X86_REG_EFLAGS, 0x246)
uc.mem_map(0x600000, 0x1000)
uc.mem_write(0x6000b0, CODE)
uc.emu_start(0x6000b0 + 6, 0, count=1)
# Here's the original execution trace for this on qemu-user.
#
# $ SC='xor r14,r14; test r14d, r14d; jne $; hlt'
# $ asm --context amd64 --format elf $SC > example
# $ qemu-x86_64-static -d cpu,in_asm -singlestep ./test \
# | grep -E 'RFL|^0x'
# 0x00000000006000b0: xor %r14,%r14
# RIP=00000000006000b0 RFL=00000202 [-------] CPL=3 II=0 A20=1 SMM=0 HLT=0
# 0x00000000006000b3: test %r14d,%r14d
# RIP=00000000006000b3 RFL=00000246 [---Z-P-] CPL=3 II=0 A20=1 SMM=0 HLT=0
# 0x00000000006000b6: jne 0x6000b6
# RIP=00000000006000b6 RFL=00000246 [---Z-P-] CPL=3 II=0 A20=1 SMM=0 HLT=0
# 0x00000000006000b8: hlt
# RIP=00000000006000b8 RFL=00000246 [---Z-P-] CPL=3 II=0 A20=1 SMM=0 HLT=0
self.assertEqual(0x6000b0 + 8, uc.reg_read(U.x86_const.UC_X86_REG_RIP))
if __name__ == '__main__':
regress.main()