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
|
from miasm2.core.cpu import parse_ast, ast_id2expr
from miasm2.arch.x86.arch import mn_x86, base_expr
from miasm2.core import parse_asm
from miasm2.expression.expression import *
from miasm2.core import asmbloc
from miasm2.arch.x86.ira import ir_a_x86_32
from pdb import pm
def my_ast_int2expr(a):
return ExprInt32(a)
my_var_parser = parse_ast(ast_id2expr, my_ast_int2expr)
base_expr.setParseAction(my_var_parser)
# First, asm code
blocs, symbol_pool = parse_asm.parse_txt(mn_x86, 32, '''
main:
MOV EAX, 1
MOV EBX, 2
MOV ECX, 2
MOV DX, 2
loop:
INC EBX
CMOVZ EAX, EBX
ADD EAX, ECX
JZ loop
RET
''')
blocs = blocs[0]
symbol_pool.set_offset(symbol_pool.getby_name("main"), 0x0)
for b in blocs:
print b
print "symbols:"
print symbol_pool
resolved_b, patches = asmbloc.asm_resolve_final(mn_x86, 32, blocs, symbol_pool)
# Translate to IR
my_ir = ir_a_x86_32(symbol_pool)
for b in blocs:
print 'add bloc'
print b
my_ir.add_bloc(b)
# Display IR
for lbl, b in my_ir.blocs.items():
print b
# Dead propagation
my_ir.gen_graph()
out = my_ir.graph()
open('graph.txt', 'w').write(out)
print '*' * 80
my_ir.dead_simp()
out2 = my_ir.graph()
open('graph2.txt', 'w').write(out2)
# Display new IR
print 'new ir blocs'
for lbl, b in my_ir.blocs.items():
print b
|