diff options
| author | Romain Lesteven <romain.lesteven@gatewatcher.com> | 2021-05-05 11:02:33 +0200 |
|---|---|---|
| committer | Romain Lesteven <romain.lesteven@gatewatcher.com> | 2021-05-05 11:02:33 +0200 |
| commit | e0abd462cefd168ae82426533c1a822254aca374 (patch) | |
| tree | 486f3b67c279b452085943864dea336c760106aa /example/symbol_exec/dse_strategies.py | |
| parent | acfb6e552b287cc91d2060456be4ea7071b9ba8e (diff) | |
| download | miasm-e0abd462cefd168ae82426533c1a822254aca374.tar.gz miasm-e0abd462cefd168ae82426533c1a822254aca374.zip | |
Replace jitter.run boolean by jitter.running
Diffstat (limited to '')
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index 933a51db..76b5be8c 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -64,7 +64,7 @@ jitter.push_uint32_t(0) # Handle return def code_sentinelle(jitter): - jitter.run = False + jitter.running = False return False ret_addr = 0x1337beef @@ -108,7 +108,7 @@ while todo: # Restore state, while keeping already found solutions dse.restore_snapshot(snapshot, keep_known_solutions=True) - # Reinit jitter (reset jitter.run, etc.) + # Reinit jitter (reset jitter.running, etc.) jitter.init_run(run_addr) # Set the argument value in the jitter context @@ -140,4 +140,3 @@ print( len(reaches) ) ) - |