-
Notifications
You must be signed in to change notification settings - Fork 2
/
MachineState.py
58 lines (54 loc) · 1.74 KB
/
MachineState.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
from capstone.x86 import *
reg_dict = {globals()[d]:d.split('_')[-1] for d in dir() if 'X86_REG_' in d}
def reg_str(reg):
return reg_dict[reg]
class StackPointer(object):
def __init__(self, addr=0):
self.addr = addr
def __eq__(self, other):
if isinstance(other, type(self)):
return self.addr == other.addr
return False
def __hash__(self):
return hash(self.addr)
def __repr__(self):
return 'SP({})'.format(self.addr)
class Immediate(object):
def __init__(self, value):
self.value = value
def __eq__(self, other):
return isinstance(other, type(self)) and self.value == other.value
def __repr__(self): return 'Immediate({})'.format(self.value)
class MachineState(object):
def __init__(self):
self.memory = {}
self.regs = {}
def __eq__(self, other):
if isinstance(other, type(self)):
return self.regs == other.regs and self.memory == other.memory
return False
def __ne__(self, other):
return not (self == other)
def __hash__(self):
return hash(self.addr)
def __repr__(self):
return "Machine(regs:{}, mem:{})".format(
{reg_str(r):v for r,v in self.regs.items()}, self.memory)
def store_value(self, operand, value):
if operand.type == X86_OP_REG:
self.regs[operand.reg] = value
if operand.type == X86_OP_MEM:
mem = operand.mem
base_addr = self.regs[mem.base].addr
addr = base_addr + mem.disp + (mem.index * mem.scale)
self.memory[StackPointer(addr)] = value
def read_value(self, operand):
if operand.type == X86_OP_IMM:
return Immediate(operand.imm)
if operand.type == X86_OP_REG:
return self.regs[operand.reg]
if operand.type == X86_OP_MEM:
mem = operand.mem
base_addr = self.regs[mem.base].addr
addr = base_addr + mem.disp + (mem.index * mem.scale)
return self.memory[StackPointer(addr)]