Fix Calldata type hints

pull/632/head
Dominik Muhs 6 years ago
parent e94ff999a1
commit 8add0a7c58
  1. 4
      mythril/laser/ethereum/natives.py
  2. 2
      mythril/laser/ethereum/state.py

@ -10,7 +10,7 @@ from py_ecc.secp256k1 import N as secp256k1n
from rlp.utils import ALL_BYTES
from mythril.laser.ethereum.util import bytearray_to_int, sha3
from mythril.laser.ethereum.state import Calldata
class NativeContractException(Exception):
pass
@ -82,7 +82,7 @@ def identity(data: Union[bytes, str]) -> bytes:
return copy.copy(data)
def native_contracts(address: int, data: List):
def native_contracts(address: int, data: Calldata):
"""
takes integer address 1, 2, 3, 4
"""

@ -220,7 +220,7 @@ class Environment:
self,
active_account: Account,
sender: BitVecRef,
calldata: List,
calldata: Calldata,
gasprice: BitVecRef,
callvalue: BitVecRef,
origin: BitVecRef,

Loading…
Cancel
Save