Another bugfix for DoS module

5 years ago · febc02c453
parent f16b5bb52d
commit febc02c453
1 changed files with 0 additions and 1 deletions
--- a/mythril/analysis/modules/dos.py
+++ b/mythril/analysis/modules/dos.py
@ -79,7 +79,6 @@ class DOS(DetectionModule):
            target = util.get_concrete_int(state.mstate.stack[-1])

            if target in annotation.jump_targets:
-                annotation.is_loop = True
                annotation.loop_start = address
            else:
                annotation.jump_targets.append(target)