diff --git a/mythril/laser/ethereum/taint_analysis.py b/mythril/laser/ethereum/taint_analysis.py index bd53b08c..37f546a0 100644 --- a/mythril/laser/ethereum/taint_analysis.py +++ b/mythril/laser/ethereum/taint_analysis.py @@ -118,7 +118,7 @@ class TaintRunner: direct_children = [statespace.nodes[edge.node_to] for edge in statespace.edges if edge.node_from == node.uid] children = [] for child in direct_children: - if child.states[0].environment == environment: + if child.states[0].environment.active_account == environment.active_account: children.append(child) else: children += TaintRunner.children(child, statespace, environment)