From 2af841027c17256964ce92b0459d32a9c210e357 Mon Sep 17 00:00:00 2001 From: Nathan Date: Tue, 30 Oct 2018 14:42:16 -0400 Subject: [PATCH] remove unneeded check --- mythril/analysis/solver.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py index ad97792a..0532a854 100644 --- a/mythril/analysis/solver.py +++ b/mythril/analysis/solver.py @@ -94,6 +94,7 @@ def get_transaction_sequence(global_state, constraints): for d in model.decls(): name = d.name() + logging.warn(d.name) if "call_value" in name: tx_id = name.replace("call_value", "") @@ -103,10 +104,10 @@ def get_transaction_sequence(global_state, constraints): txs[tx_id]["call_value"] = call_value if "caller" in name: + # caller is 'creator' for creation transactions tx_id = name.replace("caller", "") - if not tx_id in creation_tx_ids: - caller = "0x" + ("%x" % model[d].as_long()).zfill(64) + caller = "0x" + ("%x" % model[d].as_long()).zfill(64) - txs[tx_id]["caller"] = caller + txs[tx_id]["caller"] = caller return txs