Source code for mythril.concolic.concrete_data

from typing import Dict, List
from typing_extensions import TypedDict


[docs] class AccountData(TypedDict): balance: str code: str nonce: int storage: dict
[docs] class InitialState(TypedDict): accounts: Dict[str, AccountData]
[docs] class TransactionData(TypedDict): address: str blockCoinbase: str blockDifficulty: str blockGasLimit: str blockNumber: str blockTime: str calldata: str gasLimit: str gasPrice: str input: str name: str origin: str value: str
[docs] class ConcreteData(TypedDict): initialState: InitialState steps: List[TransactionData]