Fix delegatecall_forward detection

7 years ago · a6d1164d5b
parent 99af003bc1
commit a6d1164d5b
1 changed files with 1 additions and 1 deletions
--- 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