Virtual account don't need dynloader

5 years ago · 84dc7998ee
parent 27f3693de6
commit 84dc7998ee
1 changed files with 2 additions and 2 deletions
--- a/mythril/analysis/symbolic.py
+++ b/mythril/analysis/symbolic.py
@ -96,10 +96,10 @@ class SymExecWrapper:
            raise ValueError("Invalid strategy argument supplied")

        creator_account = Account(
-            hex(ACTORS.creator.value), "", dynamic_loader=dynloader, contract_name=None
+            hex(ACTORS.creator.value), "", dynamic_loader=None, contract_name=None
        )
        attacker_account = Account(
-            hex(ACTORS.attacker.value), "", dynamic_loader=dynloader, contract_name=None
+            hex(ACTORS.attacker.value), "", dynamic_loader=None, contract_name=None
        )

        requires_statespace = (