diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2018-06-11 12:16:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-11 12:16:18 +0200 |
| commit | 73dc150977e90bc373b68133f55a0d8d85e33b5b (patch) | |
| tree | 28e831895dc0fe5fc480f32a80b63ed570e459c8 /example/symbol_exec/dse_strategies.py | |
| parent | 0c9d78d3a209176ee98b570e3c8ef423231213cb (diff) | |
| parent | acc6587c46e26810bc4c84cf71b19d95bcc69b23 (diff) | |
| download | miasm-73dc150977e90bc373b68133f55a0d8d85e33b5b.tar.gz miasm-73dc150977e90bc373b68133f55a0d8d85e33b5b.zip | |
Merge pull request #757 from commial/fix/dse
Fix DSE and ensure API type for SymbolPool loc_key_to_*
Diffstat (limited to 'example/symbol_exec/dse_strategies.py')
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index a981853a..5a4be321 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -67,7 +67,7 @@ jitter.init_run(run_addr) # Init a DSE instance with a given strategy dse = DSEPathConstraint(machine, produce_solution=strategy) dse.attach(jitter) -# Concretize everything exept the argument +# Concretize everything except the argument dse.update_state_from_concrete() regs = jitter.ir_arch.arch.regs arg = ExprId("ARG", 32) |