Merge pull request #1114 from ConsenSys/develop

DoS module bugfix
5 years ago · b630018993
parent 7a1dcb1c9f 2e65d7977d
commit b630018993
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)