test case for the dynmaic translator buffer issue
This commit is contained in:
parent
f010219a0f
commit
1120a22b4d
|
@ -0,0 +1,78 @@
|
||||||
|
#!/usr/bin/python
|
||||||
|
# By Mariano Graziano
|
||||||
|
|
||||||
|
from unicorn import *
|
||||||
|
from unicorn.x86_const import *
|
||||||
|
|
||||||
|
import regress, struct
|
||||||
|
|
||||||
|
|
||||||
|
class Emulator:
|
||||||
|
def __init__(self, code, stack):
|
||||||
|
self.mask = 0xFFFFFFFFFFFFF000
|
||||||
|
self.unicorn_code = code
|
||||||
|
self.unicorn_stack = stack
|
||||||
|
self.mu = Uc(UC_ARCH_X86, UC_MODE_64)
|
||||||
|
size = 1 * 4096
|
||||||
|
self.mu.mem_map(code & self.mask, size)
|
||||||
|
size = 1 * 4096
|
||||||
|
self.mu.mem_map(stack & self.mask, size)
|
||||||
|
self.set_hooks()
|
||||||
|
|
||||||
|
def set_hooks(self):
|
||||||
|
self.mu.hook_add(UC_HOOK_MEM_WRITE, self.hook_mem_access)
|
||||||
|
self.mu.hook_add(UC_HOOK_MEM_READ_UNMAPPED | UC_HOOK_MEM_WRITE_UNMAPPED, self.hook_mem_invalid)
|
||||||
|
self.mu.hook_add(UC_HOOK_MEM_FETCH_UNMAPPED, self.hook_mem_fetch_unmapped)
|
||||||
|
|
||||||
|
def hook_mem_fetch_unmapped(self, uc, access, address, size, value, user_data):
|
||||||
|
next_ip = self.unicorn_code + size
|
||||||
|
self.mu.reg_write(UC_X86_REG_RIP, next_ip)
|
||||||
|
self.mu.mem_write(next_ip, "\x90")
|
||||||
|
self.mu.reg_write(UC_X86_REG_RIP, address)
|
||||||
|
return True
|
||||||
|
|
||||||
|
def hook_mem_invalid(self, uc, access, address, size, value, user_data):
|
||||||
|
return True
|
||||||
|
|
||||||
|
def hook_mem_access(self, uc, access, address, size, value, user_data):
|
||||||
|
return True
|
||||||
|
|
||||||
|
def emu(self, size):
|
||||||
|
ip = self.mu.reg_read(UC_X86_REG_RIP)
|
||||||
|
try:
|
||||||
|
self.mu.emu_start(ip, ip + size, timeout=10000, count=1)
|
||||||
|
except UcError as e:
|
||||||
|
print("Error %s" % e)
|
||||||
|
|
||||||
|
def write_data(self, address, content):
|
||||||
|
self.mu.mem_write(address, content)
|
||||||
|
|
||||||
|
|
||||||
|
class Init(regress.RegressTest):
|
||||||
|
def init_unicorn(self, ip, sp, counter):
|
||||||
|
print "[+] Emulating IP: %x SP: %x - Counter: %x" % (ip, sp, counter)
|
||||||
|
E = Emulator(ip, sp)
|
||||||
|
E.write_data(ip, "\x90")
|
||||||
|
E.write_data(sp, self.generate_value(counter))
|
||||||
|
E.mu.reg_write(UC_X86_REG_RSP, sp)
|
||||||
|
E.mu.reg_write(UC_X86_REG_RIP, ip)
|
||||||
|
E.emu(1)
|
||||||
|
|
||||||
|
def generate_value(self, counter):
|
||||||
|
start = 0xffff880026f02000
|
||||||
|
offset = counter * 8
|
||||||
|
address = start + offset
|
||||||
|
return struct.pack("<Q", address)
|
||||||
|
|
||||||
|
def runTest(self):
|
||||||
|
global mu
|
||||||
|
ips = list(range(0xffffffff816a9000, 0xffffffff816af000, 0x1))
|
||||||
|
sps = list(range(0xffff88001b800000, 0xffff88001b801000, 0x1))
|
||||||
|
j = 0
|
||||||
|
for i in ips:
|
||||||
|
j += 1
|
||||||
|
index = ips.index(i)
|
||||||
|
self.init_unicorn(i, sps[index], j)
|
||||||
|
|
||||||
|
if __name__ == '__main__':
|
||||||
|
regress.main()
|
Loading…
Reference in New Issue