blob: ed3123bbbc2cf54764ea40f98556a869efec067c (
plain) (
blame)
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
|
from miasm.arch.ia32_sem import *
from miasm.expression.expression_helper import *
print 'simple expression simplification demo'
print
a = ExprId('eax')
b = ExprId('ebx')
c = a + b
d = c - a
print d
# ((eax + ebx) - eax)
print "=>", expr_simp(d)
print
# ebx
e = ExprInt(uint32(0x12)) + ExprInt(uint32(0x30)) - a
print e
# ((0x12 + 0x30) - eax)
print "=>", expr_simp(e)
# (0x42 - eax)
o = ExprCompose([(a[:8], 0, 8),
(a[8:16], 8, 16)])
print o
print expr_simp(o)
|