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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
#-*- coding:utf-8 -*-
from miasm2.expression.expression import ExprAssign, ExprOp
from miasm2.ir.ir import IRBlock, AssignBlock
from miasm2.ir.analysis import ira
from miasm2.arch.mips32.sem import ir_mips32l, ir_mips32b
class ir_a_mips32l(ir_mips32l, ira):
def __init__(self, loc_db=None):
ir_mips32l.__init__(self, loc_db)
self.ret_reg = self.arch.regs.V0
def call_effects(self, ad, instr):
call_assignblk = AssignBlock(
[
ExprAssign(
self.ret_reg,
ExprOp(
'call_func_ret',
ad,
self.arch.regs.A0,
self.arch.regs.A1,
self.arch.regs.A2,
self.arch.regs.A3,
)
),
],
instr
)
return [call_assignblk], []
def add_asmblock_to_ircfg(self, block, ircfg, gen_pc_updt=False):
"""
Add a native block to the current IR
@block: native assembly block
@ircfg: IRCFG instance
@gen_pc_updt: insert PC update effects between instructions
"""
loc_key = block.loc_key
ir_blocks_all = []
assignments = []
for index, instr in enumerate(block.lines):
if loc_key is None:
assignments = []
loc_key = self.get_loc_key_for_instr(instr)
if instr.is_subcall():
assert index == len(block.lines) - 2
# Add last instruction first (before call)
split = self.add_instr_to_current_state(
block.lines[-1], block, assignments,
ir_blocks_all, gen_pc_updt
)
assert not split
# Add call effects after the delay splot
split = self.add_instr_to_current_state(
instr, block, assignments,
ir_blocks_all, gen_pc_updt
)
assert split
break
split = self.add_instr_to_current_state(
instr, block, assignments,
ir_blocks_all, gen_pc_updt
)
if split:
ir_blocks_all.append(IRBlock(loc_key, assignments))
loc_key = None
assignments = []
if loc_key is not None:
ir_blocks_all.append(IRBlock(loc_key, assignments))
new_ir_blocks_all = self.post_add_asmblock_to_ircfg(block, ircfg, ir_blocks_all)
for irblock in new_ir_blocks_all:
ircfg.add_irblock(irblock)
return new_ir_blocks_all
def get_out_regs(self, _):
return set([self.ret_reg, self.sp])
def sizeof_char(self):
return 8
def sizeof_short(self):
return 16
def sizeof_int(self):
return 32
def sizeof_long(self):
return 32
def sizeof_pointer(self):
return 32
class ir_a_mips32b(ir_mips32b, ir_a_mips32l):
def __init__(self, loc_db=None):
ir_mips32b.__init__(self, loc_db)
self.ret_reg = self.arch.regs.V0
|