40 lines
1.2 KiB
Python
Executable File
40 lines
1.2 KiB
Python
Executable File
#!/usr/bin/env python
|
|
|
|
"""See https://github.com/unicorn-engine/unicorn/issues/82"""
|
|
|
|
import unicorn
|
|
from unicorn import *
|
|
import regress
|
|
|
|
CODE_ADDR = 0x10101000
|
|
CODE = b'\xff\xe3' # jmp ebx
|
|
|
|
class JumEbxHang(regress.RegressTest):
|
|
|
|
def runTest(self):
|
|
mu = unicorn.Uc(UC_ARCH_X86, UC_MODE_32)
|
|
mu.mem_map(CODE_ADDR, 1024 * 4)
|
|
mu.mem_write(CODE_ADDR, CODE)
|
|
# If EBX is zero then an exception is raised, as expected
|
|
mu.reg_write(unicorn.x86_const.UC_X86_REG_EBX, 0x0)
|
|
|
|
print(">>> jmp ebx (ebx = 0)")
|
|
with self.assertRaises(UcError) as m:
|
|
mu.emu_start(CODE_ADDR, CODE_ADDR + 2, count=1)
|
|
|
|
self.assertEqual(m.exception.errno, UC_ERR_FETCH_UNMAPPED)
|
|
|
|
print(">>> jmp ebx (ebx = 0xaa96a47f)")
|
|
mu = unicorn.Uc(UC_ARCH_X86, UC_MODE_32)
|
|
mu.mem_map(CODE_ADDR, 1024 * 4)
|
|
# If we write this address to EBX then the emulator hangs on emu_start
|
|
mu.reg_write(unicorn.x86_const.UC_X86_REG_EBX, 0xaa96a47f)
|
|
mu.mem_write(CODE_ADDR, CODE)
|
|
with self.assertRaises(UcError) as m:
|
|
mu.emu_start(CODE_ADDR, CODE_ADDR + 2, count=1)
|
|
|
|
self.assertEqual(m.exception.errno, UC_ERR_FETCH_UNMAPPED)
|
|
|
|
if __name__ == '__main__':
|
|
regress.main()
|