diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-09-20 07:53:13 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-10-01 06:55:22 +0200 |
| commit | 9c4c548e372311f6d685647b3cfed35e1579ad54 (patch) | |
| tree | e29e888313ab79d5150ecd517c0fe3d8ada8e977 /example/symbol_exec/dse_strategies.py | |
| parent | 9c8596646ba6150694deb984f25aaad73d2c7125 (diff) | |
| download | miasm-9c4c548e372311f6d685647b3cfed35e1579ad54.tar.gz miasm-9c4c548e372311f6d685647b3cfed35e1579ad54.zip | |
Expresion: use ExprAssign instead of ExprAff
ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
Diffstat (limited to 'example/symbol_exec/dse_strategies.py')
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index 5a4be321..67b63aea 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -22,7 +22,7 @@ from argparse import ArgumentParser from miasm2.analysis.machine import Machine from miasm2.jitter.csts import PAGE_READ, PAGE_WRITE from miasm2.analysis.dse import DSEPathConstraint -from miasm2.expression.expression import ExprMem, ExprId, ExprInt, ExprAff +from miasm2.expression.expression import ExprMem, ExprId, ExprInt, ExprAssign # Argument handling parser = ArgumentParser("DSE Example") @@ -102,7 +102,7 @@ while todo: jitter.init_run(run_addr) # Set the argument value in the jitter context - jitter.eval_expr(ExprAff(arg_addr, arg_value)) + jitter.eval_expr(ExprAssign(arg_addr, arg_value)) # Launch jitter.continue_run() |