Check on active account vs environment (which is shallow copied)

6 years ago · 7c839b9825
parent 2c052cb40e
commit 7c839b9825
1 changed files with 1 additions and 1 deletions
--- 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)