diff options
Diffstat (limited to 'example/symbol_exec/dse_crackme.py')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index 34c39138..0b63f890 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -216,17 +216,17 @@ class DSEGenFile(DSEPathConstraint): """DSE with a specific solution creation: The solution is the content of the FILE to be read - The politics of exploration is the branch coverage: create a solution only + The politics of exploration is the code coverage: create a solution only if the target address has never been seen """ + def compute_solution(self, destination): + # Skip this destination, already treated + return destination not in done + def handle_solution(self, model, destination): global todo, done - if destination in done: - # Skip this path, already treated - return - finfo = FILE_to_info_symb[FILE_stream] # Build corresponding file |