about summary refs log tree commit diff stats
path: root/example/expression/basic_simplification.py
diff options
context:
space:
mode:
authorFabrice Desclaux <fabrice.desclaux@cea.fr>2014-09-19 15:27:13 +0200
committerFabrice Desclaux <fabrice.desclaux@cea.fr>2014-09-19 15:27:13 +0200
commit308e7127ab1f67d62d02496aa73385533f8a3e7a (patch)
treead1b5eab8133ef9cc3d188e63f482ac680bcfa9a /example/expression/basic_simplification.py
parent032263e8f58573c5cbb61928b9edcc62855c989d (diff)
parent602f73846b316b7d6ba14f74355fb0da72571fb6 (diff)
downloadmiasm-308e7127ab1f67d62d02496aa73385533f8a3e7a.tar.gz
miasm-308e7127ab1f67d62d02496aa73385533f8a3e7a.zip
merge
Diffstat (limited to 'example/expression/basic_simplification.py')
-rw-r--r--example/expression/basic_simplification.py20
1 files changed, 20 insertions, 0 deletions
diff --git a/example/expression/basic_simplification.py b/example/expression/basic_simplification.py
new file mode 100644
index 00000000..27c86096
--- /dev/null
+++ b/example/expression/basic_simplification.py
@@ -0,0 +1,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)