Whatever

mythril/analysis/modules/dos.py

@@ -71,7 +71,7 @@ class DOS(DetectionModule):
 
                 try:
                     self._jumpdest_count[transaction][target] += 1
-                    if self._jumpdest_count[transaction][target] == JUMPDEST_LIMIT - 1:
+                    if self._jumpdest_count[transaction][target] == 2:
 
                         annotation = (
                             LoopAnnotation(address, target)

mythril/analysis/modules/integer.py

@@ -31,7 +31,7 @@ import logging
 
 log = logging.getLogger(__name__)
 
-DISABLE_EFFECT_CHECK = True
+DISABLE_EFFECT_CHECK = False
 
 
 class OverUnderflowAnnotation:

mythril/laser/ethereum/strategy/custom.py

@@ -7,7 +7,7 @@ from copy import copy
 import logging
 
 
-JUMPDEST_LIMIT = 4
+JUMPDEST_LIMIT = 3
 log = logging.getLogger(__name__)