diff options
Diffstat (limited to 'example/symbol_exec/dse_strategies.py')
| -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) ) ) - |