|
|
@ -45,7 +45,7 @@ class MythrilAnalyzer: |
|
|
|
def dump_statespace( |
|
|
|
def dump_statespace( |
|
|
|
self, |
|
|
|
self, |
|
|
|
strategy: str, |
|
|
|
strategy: str, |
|
|
|
contract: List[EVMContract] = None, |
|
|
|
contract: EVMContract = None, |
|
|
|
address: Optional[str] = None, |
|
|
|
address: Optional[str] = None, |
|
|
|
max_depth: Optional[int] = None, |
|
|
|
max_depth: Optional[int] = None, |
|
|
|
execution_timeout: Optional[int] = None, |
|
|
|
execution_timeout: Optional[int] = None, |
|
|
@ -84,7 +84,7 @@ class MythrilAnalyzer: |
|
|
|
self, |
|
|
|
self, |
|
|
|
strategy: str, |
|
|
|
strategy: str, |
|
|
|
address: str, |
|
|
|
address: str, |
|
|
|
contract: List[EVMContract] = None, |
|
|
|
contract: EVMContract = None, |
|
|
|
max_depth: Optional[int] = None, |
|
|
|
max_depth: Optional[int] = None, |
|
|
|
enable_physics: bool = False, |
|
|
|
enable_physics: bool = False, |
|
|
|
phrackify: bool = False, |
|
|
|
phrackify: bool = False, |
|
|
|