Merge pull request #1148 from ConsenSys/fix/symbolic_dos

Avoid symbolic targets
5 years ago · 47a308fa39
parent 1cce71c4ff ad4cad6b1d
commit 47a308fa39
1 changed files with 5 additions and 3 deletions
--- a/mythril/analysis/modules/dos.py
+++ b/mythril/analysis/modules/dos.py
@ -80,9 +80,11 @@ class DosModule(DetectionModule):

            if annotation.loop_start is not None:
                return []
-
-            target = util.get_concrete_int(state.mstate.stack[-1])
-
+            try:
+                target = util.get_concrete_int(state.mstate.stack[-1])
+            except TypeError:
+                log.debug("Symbolic target encountered in dos module")
+                return []
            if target in annotation.jump_targets:
                annotation.jump_targets[target] += 1
            else: