diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-31 18:29:31 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-31 18:29:31 +0100 |
| commit | eae0b3b08bd078ad2f621ce2ef201e656da3f16a (patch) | |
| tree | eb93252f39543c46146297264ff548d9925178e0 /miasm_test.py | |
| parent | d26ae0a7d583da5034cd6271f953b6253119ceae (diff) | |
| download | focaccia-eae0b3b08bd078ad2f621ce2ef201e656da3f16a.tar.gz focaccia-eae0b3b08bd078ad2f621ce2ef201e656da3f16a.zip | |
Refactor project structure
Read concrete state on demand during concolic exec During concolic tracing, don't record full program snapshots at each basic block, but instead read concrete values directly from the concrete target when they are needed.
Diffstat (limited to 'miasm_test.py')
| -rw-r--r-- | miasm_test.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm_test.py b/miasm_test.py index 97c23de..8d5bd9a 100644 --- a/miasm_test.py +++ b/miasm_test.py @@ -1,6 +1,6 @@ import argparse -from symbolic import collect_symbolic_trace +from focaccia.symbolic import collect_symbolic_trace def main(): program = argparse.ArgumentParser() @@ -21,7 +21,7 @@ def main(): print(f'Start address must be a hexadecimal number. Exiting.') exit(1) - strace = collect_symbolic_trace(binary, [binary, *argv], pc) + strace = collect_symbolic_trace(binary, argv, pc) print(f'--- {len(strace)} instructions traced.') print(f'--- No new PC found. Exiting.') |