diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2014-09-19 15:27:13 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2014-09-19 15:27:13 +0200 |
| commit | 308e7127ab1f67d62d02496aa73385533f8a3e7a (patch) | |
| tree | ad1b5eab8133ef9cc3d188e63f482ac680bcfa9a /example/expression/basic_simplification.py | |
| parent | 032263e8f58573c5cbb61928b9edcc62855c989d (diff) | |
| parent | 602f73846b316b7d6ba14f74355fb0da72571fb6 (diff) | |
| download | miasm-308e7127ab1f67d62d02496aa73385533f8a3e7a.tar.gz miasm-308e7127ab1f67d62d02496aa73385533f8a3e7a.zip | |
merge
Diffstat (limited to 'example/expression/basic_simplification.py')
| -rw-r--r-- | example/expression/basic_simplification.py | 20 |
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) |