diff --git a/panoramix.py b/panoramix.py index 7d539dd9..0ad278f3 100644 --- a/panoramix.py +++ b/panoramix.py @@ -46,6 +46,11 @@ else: log_level = logging.INFO +if "--timeout" in sys.argv: + timeout = int(sys.argv[sys.argv.index("--timeout") + 1]) +else: + timeout = 120 + logging.getLogger("pano.matcher").setLevel(logging.INFO) coloredlogs.install( @@ -226,7 +231,7 @@ def decompile(this_addr, only_func_name=None): if target > 1 and loader.lines[target][1] == "jumpdest": target += 1 - @timeout_decorator.timeout(120, use_signals=True) + @timeout_decorator.timeout(timeout, use_signals=True) def dec(): trace = VM(loader).run(target, stack=stack) explain("Initial decompiled trace", trace[1:])