check for new records to work on

6 years ago · d7df0c132c
parent ef7257a1c3
commit d7df0c132c
1 changed files with 2 additions and 1 deletions
--- a/mythril/laser/ethereum/taint_analysis.py
+++ b/mythril/laser/ethereum/taint_analysis.py
@ -107,7 +107,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))