Merge pull request #544 from norhh/bugfix/541

check for existance of new records to work on
6 years ago · e35ecfa20e
parent 4e403b018a d7df0c132c
commit e35ecfa20e
1 changed files with 2 additions and 1 deletions
--- a/mythril/laser/ethereum/taint_analysis.py
+++ b/mythril/laser/ethereum/taint_analysis.py
@ -109,7 +109,8 @@ class TaintRunner:
            records = TaintRunner.execute_node(node, record, index)

            result.add_records(records)
-
+            if len(records) == 0:          # continue if there is no record to work on
+                continue
            children = TaintRunner.children(node, statespace, environment, transaction_stack_length)
            for child in children:
                current_nodes.append((child, records[-1], 0))