Fix integer slowdown, set default loop bound to 3

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"""

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",
     )