Avoid symbolic targets

5 years ago · be4a157cfd
parent e040f91950
commit be4a157cfd
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: