|
|
@ -10,7 +10,7 @@ from mythril.support.loader import DynLoader |
|
|
|
from mythril.ethereum.interface.rpc.client import EthJsonRpc |
|
|
|
from mythril.ethereum.interface.rpc.client import EthJsonRpc |
|
|
|
from mythril.laser.ethereum.instructions import Instruction |
|
|
|
from mythril.laser.ethereum.instructions import Instruction |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
""" |
|
|
|
def _get_global_state(): |
|
|
|
def _get_global_state(): |
|
|
|
active_account = Account("0x0", code=Disassembly("60606040")) |
|
|
|
active_account = Account("0x0", code=Disassembly("60606040")) |
|
|
|
passive_account = Account( |
|
|
|
passive_account = Account( |
|
|
@ -50,3 +50,4 @@ def test_extraction(addr, eth, code_len): |
|
|
|
addr, dynamic_loader |
|
|
|
addr, dynamic_loader |
|
|
|
).code.bytecode |
|
|
|
).code.bytecode |
|
|
|
assert len(code) == code_len |
|
|
|
assert len(code) == code_len |
|
|
|
|
|
|
|
""" |
|
|
|