diff options
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 13 | ||||
| -rw-r--r-- | test/core/asmblock.py | 2 |
2 files changed, 7 insertions, 8 deletions
diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index e08536f9..34c39138 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -198,15 +198,15 @@ def xxx___libc_start_main_symb(dse): }) # Stop the execution on puts and get back the corresponding string -class FinnishOn(Exception): +class FinishOn(Exception): def __init__(self, string): self.string = string - super(FinnishOn, self).__init__() + super(FinishOn, self).__init__() def xxx_puts_symb(dse): string = dse.jitter.get_str_ansi(dse.jitter.cpu.RDI) - raise FinnishOn(string) + raise FinishOn(string) done = set([]) # Set of jump address already handled @@ -222,7 +222,6 @@ class DSEGenFile(DSEPathConstraint): def handle_solution(self, model, destination): global todo, done - assert destination.is_int() if destination in done: # Skip this path, already treated @@ -288,9 +287,9 @@ while todo: # Play the current file try: sb.run() - except FinnishOn as finnish_info: - print finnish_info.string - if finnish_info.string == "OK": + except FinishOn as finish_info: + print finish_info.string + if finish_info.string == "OK": # Stop if the expected result is found found = True break diff --git a/test/core/asmblock.py b/test/core/asmblock.py index 79bf47be..d12cd510 100644 --- a/test/core/asmblock.py +++ b/test/core/asmblock.py @@ -74,7 +74,7 @@ assert len(first_block.bto) == 1 assert list(first_block.bto)[0].c_t == AsmConstraint.c_next ## Simplify the obtained graph to keep only blocks which reach a block -## finnishing with RET +## finishing with RET def remove_useless_blocks(d_g, graph): """Remove leaves without a RET""" |