From a6d1164d5b92f393f6c09d76e5e71906345b76fe Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 6 Feb 2018 09:12:21 +0000 Subject: [PATCH] Fix delegatecall_forward detection --- mythril/analysis/modules/delegatecall_forward.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/modules/delegatecall_forward.py b/mythril/analysis/modules/delegatecall_forward.py index 1da2b18c..a3190bd2 100644 --- a/mythril/analysis/modules/delegatecall_forward.py +++ b/mythril/analysis/modules/delegatecall_forward.py @@ -27,7 +27,7 @@ def execute(statespace): else: visited.append(call.addr) - if (call.type == "DELEGATECALL") and (call.node.function_name == "main"): + if (call.type == "DELEGATECALL") and (call.node.function_name == "fallback"): stack = call.state.stack