From 7c839b9825fa8cd22ce56b9be7329ba60e52bd8c Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Tue, 24 Jul 2018 13:25:38 +0200 Subject: [PATCH] Check on active account vs environment (which is shallow copied) --- mythril/laser/ethereum/taint_analysis.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)