diff options
| author | Camille Mougey <commial@gmail.com> | 2017-07-20 16:11:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-20 16:11:51 +0200 |
| commit | f0c2ed6bc26e092cb2ab37a55cd846b512a6cfe3 (patch) | |
| tree | ecb800897689b17d61f87210a7a27afaa184e357 /example | |
| parent | e3a4a92ae8300b51d02d9caa43ca9599fdf851f5 (diff) | |
| parent | eba096682dab0de24aed179183fa46503a325a0f (diff) | |
| download | miasm-f0c2ed6bc26e092cb2ab37a55cd846b512a6cfe3.tar.gz miasm-f0c2ed6bc26e092cb2ab37a55cd846b512a6cfe3.zip | |
Merge pull request #580 from WilliamBruneau/fix_typo_dse_crackme
Fix typo dse crackme
Diffstat (limited to 'example')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 13 |
1 files changed, 6 insertions, 7 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 |