EVM

Data types

data Error

EVM failure modes

Constructors

BalanceTooLow W256 W256

UnrecognizedOpcode Word8

SelfDestruction

StackUnderrun

BadJumpDestination

Revert (Expr Buf)

OutOfGas Word64 Word64

BadCheatCode (Maybe Word32)

StackLimitExceeded

IllegalOverflow

Query Query

Choose Choose

StateChangeWhileStatic

InvalidMemoryAccess

CallDepthLimitReached

MaxCodeSizeExceeded W256 W256

InvalidFormat

PrecompileFailure

forall a. UnexpectedSymbolicArg Int String [Expr a]

DeadPath

NotUnique (Expr EWord)

SMTTimeout

FFI [AbiValue]

ReturnDataOutOfBounds

NonceOverflow

Instances

Show Error

Defined in EVM

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

data VMResult

The possible result states of a VM

Constructors

VMFailure Error

An operation failed

VMSuccess (Expr Buf)

Reached STOP, RETURN, or end-of-code

Instances

Show VMResult

Defined in EVM

Methods

showsPrec :: Int -> VMResult -> ShowS

show :: VMResult -> String

showList :: [VMResult] -> ShowS

data VM

The state of a stepwise EVM execution

Constructors

VM

Fields

• _result :: Maybe VMResult
• _state :: FrameState
• _frames :: [Frame]
• _env :: Env
• _block :: Block
• _tx :: TxState
• _logs :: [Expr Log]
• _traces :: TreePos Empty Trace
• _cache :: Cache
• _burned :: !Word64
• _iterations :: Map CodeLocation Int
• _constraints :: [Prop]
• _keccakEqs :: [Prop]
• _allowFFI :: Bool
• _overrideCaller :: Maybe (Expr EWord)

Instances

Show VM

Defined in EVM

Methods

showsPrec :: Int -> VM -> ShowS

show :: VM -> String

showList :: [VM] -> ShowS

data Trace

Constructors

Trace

Fields

• _traceOpIx :: Int
• _traceContract :: Contract
• _traceData :: TraceData

Instances

Show Trace

Defined in EVM

Methods

showsPrec :: Int -> Trace -> ShowS

show :: Trace -> String

showList :: [Trace] -> ShowS

data TraceData

Constructors

EventTrace (Expr EWord) (Expr Buf) [Expr EWord]

FrameTrace FrameContext

QueryTrace Query

ErrorTrace Error

EntryTrace Text

ReturnTrace (Expr Buf) FrameContext

Instances

Show TraceData

Defined in EVM

Methods

showsPrec :: Int -> TraceData -> ShowS

show :: TraceData -> String

showList :: [TraceData] -> ShowS

data Query where

Queries halt execution until resolved through RPC calls or SMT queries

Constructors

PleaseFetchContract :: Addr -> (Contract -> EVM ()) -> Query

PleaseFetchSlot :: Addr -> W256 -> (W256 -> EVM ()) -> Query

PleaseAskSMT :: Expr EWord -> [Prop] -> (BranchCondition -> EVM ()) -> Query

PleaseDoFFI :: [String] -> (ByteString -> EVM ()) -> Query

Instances

Show Query

Defined in EVM

Methods

showsPrec :: Int -> Query -> ShowS

show :: Query -> String

showList :: [Query] -> ShowS

data Choose where

Constructors

PleaseChoosePath :: Expr EWord -> (Bool -> EVM ()) -> Choose

Instances

Show Choose

Defined in EVM

Methods

showsPrec :: Int -> Choose -> ShowS

show :: Choose -> String

showList :: [Choose] -> ShowS

type EVM a = State VM a

Alias for the type of e.g. exec1.

type CodeLocation = (Addr, Int)

data BranchCondition

The possible return values of a SMT query

Constructors

Case Bool

Unknown

Inconsistent

Instances

Show BranchCondition

Defined in EVM

Methods

showsPrec :: Int -> BranchCondition -> ShowS

show :: BranchCondition -> String

showList :: [BranchCondition] -> ShowS

data IsUnique a

The possible return values of a `is unique` SMT query

Constructors

Unique a

Multiple

InconsistentU

TimeoutU

Instances

Show a => Show (IsUnique a)

Defined in EVM

Methods

showsPrec :: Int -> IsUnique a -> ShowS

show :: IsUnique a -> String

showList :: [IsUnique a] -> ShowS

data Cache

The cache is data that can be persisted for efficiency: any expensive query that is constant at least within a block.

Constructors

Cache

Fields

• _fetchedContracts :: Map Addr Contract
• _fetchedStorage :: Map W256 (Map W256 W256)
• _path :: Map (CodeLocation, Int) Bool

Instances

Monoid Cache

Defined in EVM

Methods

mempty :: Cache

mappend :: Cache -> Cache -> Cache

mconcat :: [Cache] -> Cache

Semigroup Cache

Defined in EVM

Methods

(<>) :: Cache -> Cache -> Cache

sconcat :: NonEmpty Cache -> Cache

stimes :: Integral b => b -> Cache -> Cache

Show Cache

Defined in EVM

Methods

showsPrec :: Int -> Cache -> ShowS

show :: Cache -> String

showList :: [Cache] -> ShowS

data StorageBase

Constructors

Concrete

Symbolic

Instances

Show StorageBase

Defined in EVM

Methods

showsPrec :: Int -> StorageBase -> ShowS

show :: StorageBase -> String

showList :: [StorageBase] -> ShowS

Eq StorageBase

Defined in EVM

Methods

(==) :: StorageBase -> StorageBase -> Bool

(/=) :: StorageBase -> StorageBase -> Bool

data VMOpts

A way to specify an initial VM state

Constructors

VMOpts

Fields

• vmoptContract :: Contract
• vmoptCalldata :: (Expr Buf, [Prop])
• vmoptStorageBase :: StorageBase
• vmoptValue :: Expr EWord
• vmoptPriorityFee :: W256
• vmoptAddress :: Addr
• vmoptCaller :: Expr EWord
• vmoptOrigin :: Addr
• vmoptGas :: Word64
• vmoptGaslimit :: Word64
• vmoptNumber :: W256
• vmoptTimestamp :: Expr EWord
• vmoptCoinbase :: Addr
• vmoptPrevRandao :: W256
• vmoptMaxCodeSize :: W256
• vmoptBlockGaslimit :: Word64
• vmoptGasprice :: W256
• vmoptBaseFee :: W256
• vmoptSchedule :: FeeSchedule Word64
• vmoptChainId :: W256
• vmoptCreate :: Bool
• vmoptTxAccessList :: Map Addr [W256]
• vmoptAllowFFI :: Bool

Instances

Show VMOpts

Defined in EVM

Methods

showsPrec :: Int -> VMOpts -> ShowS

show :: VMOpts -> String

showList :: [VMOpts] -> ShowS

data Frame

An entry in the VM's "call/create stack"

Constructors

Frame

Fields

• _frameContext :: FrameContext
• _frameState :: FrameState

Instances

Show Frame

Defined in EVM

Methods

showsPrec :: Int -> Frame -> ShowS

show :: Frame -> String

showList :: [Frame] -> ShowS

data FrameContext

Call/create info

Constructors

CreationContext

Fields

• creationContextAddress :: Addr
• creationContextCodehash :: Expr EWord
• creationContextReversion :: Map Addr Contract
• creationContextSubstate :: SubState

CallContext

Fields

• callContextTarget :: Addr
• callContextContext :: Addr
• callContextOffset :: W256
• callContextSize :: W256
• callContextCodehash :: Expr EWord
• callContextAbi :: Maybe W256
• callContextData :: Expr Buf
• callContextReversion :: (Map Addr Contract, Expr Storage)
• callContextSubState :: SubState

Instances

Show FrameContext

Defined in EVM

Methods

showsPrec :: Int -> FrameContext -> ShowS

show :: FrameContext -> String

showList :: [FrameContext] -> ShowS

data FrameState

The "registers" of the VM along with memory and data stack

Constructors

FrameState

Fields

• _contract :: Addr
• _codeContract :: Addr
• _code :: ContractCode
• _pc :: !Int
• _stack :: [Expr EWord]
• _memory :: Expr Buf
• _memorySize :: Word64
• _calldata :: Expr Buf
• _callvalue :: Expr EWord
• _caller :: Expr EWord
• _gas :: !Word64
• _returndata :: Expr Buf
• _static :: Bool

Instances

Show FrameState

Defined in EVM

Methods

showsPrec :: Int -> FrameState -> ShowS

show :: FrameState -> String

showList :: [FrameState] -> ShowS

data TxState

The state that spans a whole transaction

Constructors

TxState

Fields

• _gasprice :: W256
• _txgaslimit :: Word64
• _txPriorityFee :: W256
• _origin :: Addr
• _toAddr :: Addr
• _value :: Expr EWord
• _substate :: SubState
• _isCreate :: Bool
• _txReversion :: Map Addr Contract

Instances

Show TxState

Defined in EVM

Methods

showsPrec :: Int -> TxState -> ShowS

show :: TxState -> String

showList :: [TxState] -> ShowS

data SubState

The "accrued substate" across a transaction

Constructors

SubState

Fields

• _selfdestructs :: [Addr]
• _touchedAccounts :: [Addr]
• _accessedAddresses :: Set Addr
• _accessedStorageKeys :: Set (Addr, W256)
• _refunds :: [(Addr, Word64)]

Instances

Show SubState

Defined in EVM

Methods

showsPrec :: Int -> SubState -> ShowS

show :: SubState -> String

showList :: [SubState] -> ShowS

data ContractCode

A contract is either in creation (running its "constructor") or post-creation, and code in these two modes is treated differently by instructions like EXTCODEHASH, so we distinguish these two code types.

The definition follows the structure of code output by solc. We need to use some heuristics here to deal with symbolic data regions that may be present in the bytecode since the fully abstract case is impractical:

• initcode has concrete code, followed by an abstract data "section"
• runtimecode has a fixed length, but may contain fixed size symbolic regions (due to immutable)

hopefully we do not have to deal with dynamic immutable before we get a real data section...

Constructors

InitCode ByteString (Expr Buf)

Constructor code, during contract creation

RuntimeCode RuntimeCode

Instance code, after contract creation

Instances

Show ContractCode

Defined in EVM

Methods

showsPrec :: Int -> ContractCode -> ShowS

show :: ContractCode -> String

showList :: [ContractCode] -> ShowS

Eq ContractCode

Defined in EVM

Methods

(==) :: ContractCode -> ContractCode -> Bool

(/=) :: ContractCode -> ContractCode -> Bool

Ord ContractCode

Defined in EVM

Methods

compare :: ContractCode -> ContractCode -> Ordering

(<) :: ContractCode -> ContractCode -> Bool

(<=) :: ContractCode -> ContractCode -> Bool

(>) :: ContractCode -> ContractCode -> Bool

(>=) :: ContractCode -> ContractCode -> Bool

max :: ContractCode -> ContractCode -> ContractCode

min :: ContractCode -> ContractCode -> ContractCode

data RuntimeCode

We have two variants here to optimize the fully concrete case. ConcreteRuntimeCode just wraps a ByteString SymbolicRuntimeCode is a fixed length vector of potentially symbolic bytes, which lets us handle symbolic pushdata (e.g. from immutable variables in solidity).

Constructors

ConcreteRuntimeCode ByteString

SymbolicRuntimeCode (Vector (Expr Byte))

Instances

Show RuntimeCode

Defined in EVM

Methods

showsPrec :: Int -> RuntimeCode -> ShowS

show :: RuntimeCode -> String

showList :: [RuntimeCode] -> ShowS

Eq RuntimeCode

Defined in EVM

Methods

(==) :: RuntimeCode -> RuntimeCode -> Bool

(/=) :: RuntimeCode -> RuntimeCode -> Bool

Ord RuntimeCode

Defined in EVM

Methods

compare :: RuntimeCode -> RuntimeCode -> Ordering

(<) :: RuntimeCode -> RuntimeCode -> Bool

(<=) :: RuntimeCode -> RuntimeCode -> Bool

(>) :: RuntimeCode -> RuntimeCode -> Bool

(>=) :: RuntimeCode -> RuntimeCode -> Bool

max :: RuntimeCode -> RuntimeCode -> RuntimeCode

min :: RuntimeCode -> RuntimeCode -> RuntimeCode

data Contract

A contract can either have concrete or symbolic storage depending on what type of execution we are doing data Storage = Concrete (Map Word Expr EWord) | Symbolic [(Expr EWord, Expr EWord)] (SArray (WordN 256) (WordN 256)) deriving (Show)

The state of a contract

Constructors

Contract

Fields

• _contractcode :: ContractCode
• _balance :: W256
• _nonce :: W256
• _codehash :: Expr EWord
• _opIxMap :: Vector Int
• _codeOps :: Vector (Int, Op)
• _external :: Bool

Instances

Show Contract

Defined in EVM

Methods

showsPrec :: Int -> Contract -> ShowS

show :: Contract -> String

showList :: [Contract] -> ShowS

data StorageModel

When doing symbolic execution, we have three different ways to model the storage of contracts. This determines not only the initial contract storage model but also how RPC or state fetched contracts will be modeled.

Constructors

ConcreteS

Uses Concrete Storage. Reading / Writing from abstract locations causes a runtime failure. Can be nicely combined with RPC.

SymbolicS

Uses Symbolic Storage. Reading / Writing never reaches RPC, but always done using an SMT array with no default value.

InitialS

Uses Symbolic Storage. Reading / Writing never reaches RPC, but always done using an SMT array with 0 as the default value.

Instances

Read StorageModel

Defined in EVM

Methods

readsPrec :: Int -> ReadS StorageModel

readList :: ReadS [StorageModel]

readPrec :: ReadPrec StorageModel

readListPrec :: ReadPrec [StorageModel]

Show StorageModel

Defined in EVM

Methods

showsPrec :: Int -> StorageModel -> ShowS

show :: StorageModel -> String

showList :: [StorageModel] -> ShowS

ParseField StorageModel

Defined in EVM

Methods

parseField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser StorageModel

parseListOfField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser [StorageModel]

readField :: ReadM StorageModel

metavar :: proxy StorageModel -> String

data Env

Various environmental data

Constructors

Env

Fields

• _contracts :: Map Addr Contract
• _chainId :: W256
• _storage :: Expr Storage
• _origStorage :: Map W256 (Map W256 W256)
• _sha3Crack :: Map W256 ByteString

Instances

Show Env

Defined in EVM

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

data Block

Data about the block

Constructors

Block

Fields

• _coinbase :: Addr
• _timestamp :: Expr EWord
• _number :: W256
• _prevRandao :: W256
• _gaslimit :: Word64
• _baseFee :: W256
• _maxCodeSize :: W256
• _schedule :: FeeSchedule Word64

Instances

Generic Block

Defined in EVM

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

Show Block

Defined in EVM

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

type Rep Block

Defined in EVM

type Rep Block = D1 ('MetaData "Block" "EVM" "hevm-0.50.4-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_coinbase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Addr) :*: S1 ('MetaSel ('Just "_timestamp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr 'EWord))) :*: (S1 ('MetaSel ('Just "_number") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "_prevRandao") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256))) :*: ((S1 ('MetaSel ('Just "_gaslimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel ('Just "_baseFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256)) :*: (S1 ('MetaSel ('Just "_maxCodeSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 W256) :*: S1 ('MetaSel ('Just "_schedule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FeeSchedule Word64))))))

blankState :: FrameState

static :: Lens' FrameState Bool

stack :: Lens' FrameState [Expr 'EWord]

returndata :: Lens' FrameState (Expr 'Buf)

pc :: Lens' FrameState Int

memorySize :: Lens' FrameState Word64

memory :: Lens' FrameState (Expr 'Buf)

gas :: Lens' FrameState Word64

contract :: Lens' FrameState Addr

codeContract :: Lens' FrameState Addr

code :: Lens' FrameState ContractCode

callvalue :: Lens' FrameState (Expr 'EWord)

caller :: Lens' FrameState (Expr 'EWord)

calldata :: Lens' FrameState (Expr 'Buf)

frameState :: Lens' Frame FrameState

frameContext :: Lens' Frame FrameContext

timestamp :: Lens' Block (Expr 'EWord)

schedule :: Lens' Block (FeeSchedule Word64)

prevRandao :: Lens' Block W256

number :: Lens' Block W256

maxCodeSize :: Lens' Block W256

gaslimit :: Lens' Block Word64

coinbase :: Lens' Block Addr

baseFee :: Lens' Block W256

value :: Lens' TxState (Expr 'EWord)

txgaslimit :: Lens' TxState Word64

txReversion :: Lens' TxState (Map Addr Contract)

txPriorityFee :: Lens' TxState W256

toAddr :: Lens' TxState Addr

substate :: Lens' TxState SubState

origin :: Lens' TxState Addr

isCreate :: Lens' TxState Bool

gasprice :: Lens' TxState W256

touchedAccounts :: Lens' SubState [Addr]

selfdestructs :: Lens' SubState [Addr]

refunds :: Lens' SubState [(Addr, Word64)]

accessedStorageKeys :: Lens' SubState (Set (Addr, W256))

accessedAddresses :: Lens' SubState (Set Addr)

opIxMap :: Lens' Contract (Vector Int)

nonce :: Lens' Contract W256

external :: Lens' Contract Bool

contractcode :: Lens' Contract ContractCode

codehash :: Lens' Contract (Expr 'EWord)

codeOps :: Lens' Contract (Vector (Int, Op))

balance :: Lens' Contract W256

storage :: Lens' Env (Expr 'Storage)

sha3Crack :: Lens' Env (Map W256 ByteString)

origStorage :: Lens' Env (Map W256 (Map W256 W256))

contracts :: Lens' Env (Map Addr Contract)

chainId :: Lens' Env W256

path :: Lens' Cache (Map (CodeLocation, Int) Bool)

fetchedStorage :: Lens' Cache (Map W256 (Map W256 W256))

fetchedContracts :: Lens' Cache (Map Addr Contract)

traceOpIx :: Lens' Trace Int

traceData :: Lens' Trace TraceData

traceContract :: Lens' Trace Contract

tx :: Lens' VM TxState

traces :: Lens' VM (TreePos Empty Trace)

state :: Lens' VM FrameState

result :: Lens' VM (Maybe VMResult)

overrideCaller :: Lens' VM (Maybe (Expr 'EWord))

logs :: Lens' VM [Expr 'Log]

keccakEqs :: Lens' VM [Prop]

iterations :: Lens' VM (Map CodeLocation Int)

frames :: Lens' VM [Frame]

env :: Lens' VM Env

constraints :: Lens' VM [Prop]

cache :: Lens' VM Cache

burned :: Lens' VM Word64

block :: Lens' VM Block

allowFFI :: Lens' VM Bool

bytecode :: Getter Contract (Expr Buf)

An "external" view of a contract's bytecode, appropriate for e.g. EXTCODEHASH.

unifyCachedStorage :: Map W256 W256 -> Map W256 W256 -> Map W256 W256

unifyCachedContract :: Contract -> Contract -> Contract

Data accessors

currentContract :: VM -> Maybe Contract

Data constructors

makeVm :: VMOpts -> VM

initialContract :: ContractCode -> Contract

Initialize empty contract with given code

Opcode dispatch (exec1)

next :: (?op :: Word8) => EVM ()

Update program counter

exec1 :: EVM ()

Executes the EVM one step

transfer :: Addr -> Addr -> W256 -> EVM ()

callChecks :: (?op :: Word8) => Contract -> Word64 -> Addr -> Addr -> W256 -> W256 -> W256 -> W256 -> W256 -> [Expr EWord] -> (Word64 -> EVM ()) -> EVM ()

Checks a *CALL for failure; OOG, too many callframes, memory access etc.

precompiledContract :: (?op :: Word8) => Contract -> Word64 -> Addr -> Addr -> W256 -> W256 -> W256 -> W256 -> W256 -> [Expr EWord] -> EVM ()

executePrecompile :: (?op :: Word8) => Addr -> Word64 -> W256 -> W256 -> W256 -> W256 -> [Expr EWord] -> EVM ()

truncpadlit :: Int -> ByteString -> ByteString

lazySlice :: W256 -> W256 -> ByteString -> ByteString

parseModexpLength :: ByteString -> (W256, W256, W256)

isZero :: W256 -> W256 -> ByteString -> Bool

asInteger :: ByteString -> Integer

Opcode helper actions

noop :: Monad m => m ()

pushTo :: MonadState s m => ASetter s s [a] [a] -> a -> m ()

pushToSequence :: MonadState s m => ASetter s s (Seq a) (Seq a) -> a -> m ()

getCodeLocation :: VM -> CodeLocation

branch :: CodeLocation -> Expr EWord -> (Bool -> EVM ()) -> EVM ()

fetchAccount :: Addr -> (Contract -> EVM ()) -> EVM ()

Construct RPC Query and halt execution until resolved

accessStorage

Arguments

:: Addr

Contract address

-> Expr EWord

Storage slot key

-> (Expr EWord -> EVM ())

Continuation

-> EVM ()

accountExists :: Addr -> VM -> Bool

accountEmpty :: Contract -> Bool

How to finalize a transaction

finalize :: EVM ()

loadContract :: Addr -> EVM ()

Loads the selected contract as the current contract to execute

limitStack :: Int -> EVM () -> EVM ()

notStatic :: EVM () -> EVM ()

burn :: Word64 -> EVM () -> EVM ()

Burn gas, failing if insufficient gas is available

forceConcrete :: Expr EWord -> String -> (W256 -> EVM ()) -> EVM ()

forceConcrete2 :: (Expr EWord, Expr EWord) -> String -> ((W256, W256) -> EVM ()) -> EVM ()

forceConcrete3 :: (Expr EWord, Expr EWord, Expr EWord) -> String -> ((W256, W256, W256) -> EVM ()) -> EVM ()

forceConcrete4 :: (Expr EWord, Expr EWord, Expr EWord, Expr EWord) -> String -> ((W256, W256, W256, W256) -> EVM ()) -> EVM ()

forceConcrete5 :: (Expr EWord, Expr EWord, Expr EWord, Expr EWord, Expr EWord) -> String -> ((W256, W256, W256, W256, W256) -> EVM ()) -> EVM ()

forceConcrete6 :: (Expr EWord, Expr EWord, Expr EWord, Expr EWord, Expr EWord, Expr EWord) -> String -> ((W256, W256, W256, W256, W256, W256) -> EVM ()) -> EVM ()

forceConcreteBuf :: Expr Buf -> String -> (ByteString -> EVM ()) -> EVM ()

Substate manipulation

refund :: Word64 -> EVM ()

unRefund :: Word64 -> EVM ()

touchAccount :: Addr -> EVM ()

selfdestruct :: Addr -> EVM ()

accessAndBurn :: Addr -> EVM () -> EVM ()

accessAccountForGas :: Addr -> EVM Bool

returns a wrapped boolean- if true, this address has been touched before in the txn (warm gas cost as in EIP 2929) otherwise cold

accessStorageForGas :: Addr -> Expr EWord -> EVM Bool

returns a wrapped boolean- if true, this slot has been touched before in the txn (warm gas cost as in EIP 2929) otherwise cold

Cheat codes

cheatCode :: Addr

cheat :: (?op :: Word8) => (W256, W256) -> (W256, W256) -> EVM ()

type CheatAction = Expr EWord -> Expr EWord -> Expr Buf -> EVM ()

cheatActions :: Map Word32 CheatAction

ethsign :: PrivateKey -> Digest Keccak_256 -> Signature

We don't wanna introduce the machinery needed to sign with a random nonce, so we just use the same nonce every time (420). This is obviusly very insecure, but fine for testing purposes.

General call implementation ("delegateCall")

delegateCall :: (?op :: Word8) => Contract -> Word64 -> Expr EWord -> Expr EWord -> W256 -> W256 -> W256 -> W256 -> W256 -> [Expr EWord] -> (Addr -> EVM ()) -> EVM ()

collision :: Maybe Contract -> Bool

create :: (?op :: Word8) => Addr -> Contract -> Word64 -> W256 -> [Expr EWord] -> Addr -> Expr Buf -> EVM ()

replaceCode :: Addr -> ContractCode -> EVM ()

Replace a contract's code, like when CREATE returns from the constructor code.

replaceCodeOfSelf :: ContractCode -> EVM ()

resetState :: EVM ()

VM error implementation

vmError :: Error -> EVM ()

underrun :: EVM ()

data FrameResult

A stack frame can be popped in three ways.

Constructors

FrameReturned (Expr Buf)

STOP, RETURN, or no more code

FrameReverted (Expr Buf)

REVERT

FrameErrored Error

Any other error

Instances

Show FrameResult

Defined in EVM

Methods

showsPrec :: Int -> FrameResult -> ShowS

show :: FrameResult -> String

showList :: [FrameResult] -> ShowS

finishFrame :: FrameResult -> EVM ()

This function defines how to pop the current stack frame in either of the ways specified by FrameResult.

It also handles the case when the current stack frame is the only one; in this case, we set the final _result of the VM execution.

Memory helpers

accessUnboundedMemoryRange :: Word64 -> Word64 -> EVM () -> EVM ()

accessMemoryRange :: W256 -> W256 -> EVM () -> EVM ()

accessMemoryWord :: W256 -> EVM () -> EVM ()

copyBytesToMemory :: Expr Buf -> Expr EWord -> Expr EWord -> Expr EWord -> EVM ()

copyCallBytesToMemory :: Expr Buf -> Expr EWord -> Expr EWord -> Expr EWord -> EVM ()

readMemory :: Expr EWord -> Expr EWord -> VM -> Expr Buf

Tracing

withTraceLocation :: TraceData -> EVM Trace

pushTrace :: TraceData -> EVM ()

insertTrace :: TraceData -> EVM ()

popTrace :: EVM ()

zipperRootForest :: TreePos Empty a -> Forest a

traceForest :: VM -> Forest Trace

traceTopLog :: [Expr Log] -> EVM ()

Stack manipulation

push :: W256 -> EVM ()

pushSym :: Expr EWord -> EVM ()

stackOp1 :: (?op :: Word8) => Word64 -> (Expr EWord -> Expr EWord) -> EVM ()

stackOp2 :: (?op :: Word8) => Word64 -> ((Expr EWord, Expr EWord) -> Expr EWord) -> EVM ()

stackOp3 :: (?op :: Word8) => Word64 -> ((Expr EWord, Expr EWord, Expr EWord) -> Expr EWord) -> EVM ()

Bytecode data functions

checkJump :: Int -> [Expr EWord] -> EVM ()

opSize :: Word8 -> Int

mkOpIxMap :: ContractCode -> Vector Int

vmOp :: VM -> Maybe Op

vmOpIx :: VM -> Maybe Int

opParams :: VM -> Map String (Expr EWord)

mkCodeOps :: ContractCode -> Vector (Int, Op)

Gas cost calculation helpers

costOfCall :: FeeSchedule Word64 -> Bool -> W256 -> Word64 -> Word64 -> Addr -> EVM (Word64, Word64)

costOfCreate :: FeeSchedule Word64 -> Word64 -> W256 -> (Word64, Word64)

concreteModexpGasFee :: ByteString -> Word64

costOfPrecompile :: FeeSchedule Word64 -> Addr -> Expr Buf -> Word64

memoryCost :: FeeSchedule Word64 -> Word64 -> Word64

Arithmetic

ceilDiv :: (Num a, Integral a) => a -> a -> a

allButOne64th :: (Num a, Integral a) => a -> a

log2 :: FiniteBits b => b -> Int

hashcode :: ContractCode -> Expr EWord

opslen :: ContractCode -> Int

The length of the code ignoring any constructor args. This represents the region that can contain executable opcodes

codelen :: ContractCode -> Expr EWord

The length of the code including any constructor args. This can return an abstract value

toBuf :: ContractCode -> Expr Buf

codeloc :: EVM CodeLocation

Emacs setup