From 2a0a42dac2d90dc0d96e6c3e607ddf74bb710f3b Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sat, 29 Jun 2019 10:21:13 +0200 Subject: [PATCH] Fix integer slowdown, set default loop bound to 3 --- mythril/analysis/modules/integer.py | 3 +++ mythril/interfaces/cli.py | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index f4f7583b..39a5176e 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -40,6 +40,9 @@ class OverUnderflowAnnotation: self.operator = operator self.constraint = constraint + def __deepcopy__(self, memodict={}): + new_annotation = copy(self) + return new_annotation class OverUnderflowStateAnnotation(StateAnnotation): """ State Annotation used if an overflow is both possible and used in the annotated path""" diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index 79855b42..fc665b8a 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -329,7 +329,7 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser): "-b", "--loop-bound", type=int, - default=2, + default=3, help="Bound loops at n iterations", metavar="N", )