diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index e811551c..13b6d6c8 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -232,7 +232,7 @@ class IntegerOverflowUnderflowModule(DetectionModule): return for element in state.mstate.memory[offset : offset + length]: if not isinstance(element, Expression): - return + continue for annotation in element.annotations: if isinstance(annotation, OverUnderflowAnnotation): state.annotate(