Merge pull request #511 from JoranHonig/bugfix/510_multiple_send

Bugfix Multiple send
6 years ago · d46ff3a5ed
parent 52278c1c21 cb5dcef942
commit d46ff3a5ed
1 changed files with 3 additions and 1 deletions
--- a/mythril/analysis/modules/multiple_sends.py
+++ b/mythril/analysis/modules/multiple_sends.py
@ -1,4 +1,5 @@
 from mythril.analysis.report import Issue
+from mythril.laser.ethereum.cfg import JumpType
 """
 MODULE DESCRIPTION:

@ -50,7 +51,8 @@ def _explore_states(call, statespace):

 def _child_nodes(statespace, node):
    result = []
-    children = [statespace.nodes[edge.node_to] for edge in statespace.edges if edge.node_from == node.uid]
+    children = [statespace.nodes[edge.node_to] for edge in statespace.edges if edge.node_from == node.uid
+                and edge.type != JumpType.Transaction]

    for child in children:
        result.append(child)