From 28abdbf0afb94604498b8ad7da9412110de02960 Mon Sep 17 00:00:00 2001 From: William Bruneau Date: Thu, 20 Jul 2017 13:53:44 +0200 Subject: Fix typo --- example/symbol_exec/dse_crackme.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'example') diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index e08536f9..a2ea1a29 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 @@ -288,9 +288,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 -- cgit 1.4.1 From 54575fb14ec4e7da271dbafe4e491fa472743def Mon Sep 17 00:00:00 2001 From: William Bruneau Date: Thu, 20 Jul 2017 13:54:23 +0200 Subject: Remove unecessary assert --- example/symbol_exec/dse_crackme.py | 1 - 1 file changed, 1 deletion(-) (limited to 'example') diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index a2ea1a29..34c39138 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -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 -- cgit 1.4.1