about summary refs log tree commit diff stats
path: root/example/expression/manip_expression3.py
blob: 27c860962e92e4ecf2605c1eefd79450f9dc9995 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
from miasm2.expression.expression import *
from miasm2.expression.simplifications import expr_simp

print """
Simple expression simplification demo
"""


a = ExprId('eax')
b = ExprId('ebx')

exprs = [a + b - a,
         ExprInt32(0x12) + ExprInt32(0x30) - a,
         ExprCompose([(a[:8], 0, 8),
                      (a[8:16], 8, 16)])]

for e in exprs:
    print '*' * 40
    print 'original expression:', e
    print "simplified:", expr_simp(e)