Class EVM<M>

https://ethereum.github.io/execution-specs/autoapi/ethereum/index.html

Type Parameters

M extends string

Hierarchy

Index

Constructors

constructor

new EVM<M>(bytecode, step): EVM<M>
Type Parameters
- M extends string
Parameters
- bytecode: string | Uint8Array | ArrayLike<number>
- step: Undef<M> & {
  readonly [m in string]: StepFn
  }
  
  The STEP function that updates the State after executing the opcode pointed by pc.
  
  Maps mnemonic keys of STEP to their corresponding opcode in the byte range, i.e., 0-255.
  
  For elements in the range 0-255 that do not have a corresponding mnemonic, INVALID is used instead.
Returns EVM<M>
- Defined in src/evm.ts:73

Properties

`Readonly` _ids

_ids: {
_count: number;
push(elem) => void;
} = ...

Type declaration

_count: number
push:function
- push(elem): void
- Parameters
  - elem: State<Inst, Expr>
  Returns void
  - Defined in src/evm.ts:68

`Readonly` blocks

blocks: Map<number, Block<M>> = ...

Reacheable blocks found in this.bytecode.

`Readonly` bytecode

bytecode: Uint8Array

The bytecode buffer that represents a Contract or Library.

`Readonly` errors

errors: {
err: Throw;
state: State<Inst, Expr>;
}[] = []

Symbolic execution errors found during interpretation of this.bytecode.

Type declaration

err: Throw

The statement that represents the error triggered during symbolic execution.
state: State<Inst, Expr>

The state in which the error was triggered. Given this states ends up in error, this.last statement will be this.err.

`Readonly` step

step: Undef<M> & {
readonly [m in string]: StepFn
}

The STEP function that updates the State after executing the opcode pointed by pc.

Maps mnemonic keys of STEP to their corresponding opcode in the byte range, i.e., 0-255.

For elements in the range 0-255 that do not have a corresponding mnemonic, INVALID is used instead.

Methods

chunks

chunks(): {
    content: Uint8Array | Opcode<M>[];
    pcbegin: number;
    pcend: number;
    states?: State<Inst, Expr>[];
}[]
Returns {
    content: Uint8Array | Opcode<M>[];
    pcbegin: number;
    pcend: number;
    states?: State<Inst, Expr>[];
}[]
- Defined in src/evm.ts:101

exec

exec(pc0, state): void
Parameters
- pc0: number
- state: State<Inst, Expr>
Returns void
- Defined in src/evm.ts:186

gc

gc(b): undefined | State<Inst, Expr>
Parameters
- b: Branch
Returns undefined | State<Inst, Expr>
- Defined in src/evm.ts:250

opcodes

opcodes(): Opcode<M>[]
Returns the opcodes present in the reacheable blocks of this EVM's bytecode.

NOTE. You must call either the start, run or exec methods first. This is to populate the bytecode's reacheable blocks.

Returns Opcode<M>[]
- Defined in src/evm.ts:242

run

run(pc0, state): void
Parameters
- pc0: number
- state: State<Inst, Expr>
Returns void
- Defined in src/evm.ts:154

start

start(): State<Inst, Expr>
Returns State<Inst, Expr>
- Defined in src/evm.ts:145

`Static` new

new(bytecode): EVM<"ADDMOD" | "MULMOD" | "SIGNEXTEND" | "EQ" | "ISZERO" | "NOT" | "BYTE" | "COINBASE" | "TIMESTAMP" | "NUMBER" | "DIFFICULTY" | "GASLIMIT" | "CALLER" | "CALLDATASIZE" | "ORIGIN" | "GASPRICE" | "ADDRESS" | "CODESIZE" | "RETURNDATASIZE" | "GAS" | "CALLVALUE" | "CALLDATALOAD" | "CALLDATACOPY" | "CODECOPY" | "EXTCODECOPY" | "RETURNDATACOPY" | "SLOAD" | "SSTORE" | "POP" | "PUSH2" | "PUSH1" | "PUSH16" | "PUSH3" | "PUSH8" | "PUSH9" | "PUSH11" | "PUSH20" | "PUSH21" | "PUSH25" | "PUSH26" | "PUSH5" | "PUSH32" | "PUSH4" | "PUSH6" | "PUSH7" | "PUSH10" | "PUSH12" | "PUSH13" | "PUSH14" | "PUSH15" | "PUSH24" | "PUSH17" | "PUSH18" | "PUSH19" | "PUSH22" | "PUSH23" | "PUSH27" | "PUSH28" | "PUSH29" | "PUSH30" | "PUSH31" | "DUP2" | "DUP1" | "DUP16" | "DUP3" | "DUP8" | "DUP9" | "DUP11" | "DUP5" | "DUP4" | "DUP6" | "DUP7" | "DUP10" | "DUP12" | "DUP13" | "DUP14" | "DUP15" | "SWAP2" | "SWAP1" | "SWAP16" | "SWAP3" | "SWAP8" | "SWAP9" | "SWAP11" | "SWAP5" | "SWAP4" | "SWAP6" | "SWAP7" | "SWAP10" | "SWAP12" | "SWAP13" | "SWAP14" | "SWAP15" | "ADD" | "MUL" | "SUB" | "DIV" | "SDIV" | "MOD" | "SMOD" | "EXP" | "LT" | "GT" | "SLT" | "SGT" | "AND" | "OR" | "XOR" | "PC" | "BALANCE" | "EXTCODESIZE" | "EXTCODEHASH" | "BLOCKHASH" | "MLOAD" | "MSTORE" | "MSTORE8" | "MSIZE" | "SHA3" | "STOP" | "CREATE" | "CALL" | "CALLCODE" | "RETURN" | "DELEGATECALL" | "STATICCALL" | "REVERT" | "SELFDESTRUCT" | "INVALID" | "LOG0" | "LOG2" | "LOG1" | "LOG3" | "LOG4" | "JUMPDEST" | "JUMP" | "JUMPI" | "SHL" | "SHR" | "SAR" | "CREATE2" | "CHAINID" | "SELFBALANCE" | "PREVRANDAO" | "BASEFEE" | "PUSH0">
Creates a new EVM with the latest defined execution fork.
Parameters
- bytecode: string | Uint8Array | ArrayLike<number>
Returns EVM<"ADDMOD" | "MULMOD" | "SIGNEXTEND" | "EQ" | "ISZERO" | "NOT" | "BYTE" | "COINBASE" | "TIMESTAMP" | "NUMBER" | "DIFFICULTY" | "GASLIMIT" | "CALLER" | "CALLDATASIZE" | "ORIGIN" | "GASPRICE" | "ADDRESS" | "CODESIZE" | "RETURNDATASIZE" | "GAS" | "CALLVALUE" | "CALLDATALOAD" | "CALLDATACOPY" | "CODECOPY" | "EXTCODECOPY" | "RETURNDATACOPY" | "SLOAD" | "SSTORE" | "POP" | "PUSH2" | "PUSH1" | "PUSH16" | "PUSH3" | "PUSH8" | "PUSH9" | "PUSH11" | "PUSH20" | "PUSH21" | "PUSH25" | "PUSH26" | "PUSH5" | "PUSH32" | "PUSH4" | "PUSH6" | "PUSH7" | "PUSH10" | "PUSH12" | "PUSH13" | "PUSH14" | "PUSH15" | "PUSH24" | "PUSH17" | "PUSH18" | "PUSH19" | "PUSH22" | "PUSH23" | "PUSH27" | "PUSH28" | "PUSH29" | "PUSH30" | "PUSH31" | "DUP2" | "DUP1" | "DUP16" | "DUP3" | "DUP8" | "DUP9" | "DUP11" | "DUP5" | "DUP4" | "DUP6" | "DUP7" | "DUP10" | "DUP12" | "DUP13" | "DUP14" | "DUP15" | "SWAP2" | "SWAP1" | "SWAP16" | "SWAP3" | "SWAP8" | "SWAP9" | "SWAP11" | "SWAP5" | "SWAP4" | "SWAP6" | "SWAP7" | "SWAP10" | "SWAP12" | "SWAP13" | "SWAP14" | "SWAP15" | "ADD" | "MUL" | "SUB" | "DIV" | "SDIV" | "MOD" | "SMOD" | "EXP" | "LT" | "GT" | "SLT" | "SGT" | "AND" | "OR" | "XOR" | "PC" | "BALANCE" | "EXTCODESIZE" | "EXTCODEHASH" | "BLOCKHASH" | "MLOAD" | "MSTORE" | "MSTORE8" | "MSIZE" | "SHA3" | "STOP" | "CREATE" | "CALL" | "CALLCODE" | "RETURN" | "DELEGATECALL" | "STATICCALL" | "REVERT" | "SELFDESTRUCT" | "INVALID" | "LOG0" | "LOG2" | "LOG1" | "LOG3" | "LOG4" | "JUMPDEST" | "JUMP" | "JUMPI" | "SHL" | "SHR" | "SAR" | "CREATE2" | "CHAINID" | "SELFBALANCE" | "PREVRANDAO" | "BASEFEE" | "PUSH0">
- Defined in src/evm.ts:94

Class EVM<M>

Type Parameters

M extends string

Hierarchy

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

M extends string

Parameters

bytecode: string | Uint8Array | ArrayLike<number>

step: Undef<M> & { readonly [m in string]: StepFn}

Returns EVM<M>

Properties

Readonly _ids

Type declaration

_count: number

push:function

Parameters

elem: State<Inst, Expr>

Returns void

Readonly blocks

Readonly bytecode

Readonly errors

Type declaration

err: Throw

state: State<Inst, Expr>

Readonly step

Methods

chunks

Returns { content: Uint8Array | Opcode<M>[]; pcbegin: number; pcend: number; states?: State<Inst, Expr>[]; }[]

exec

Parameters

pc0: number

state: State<Inst, Expr>

Returns void

gc

Parameters

b: Branch

Returns undefined | State<Inst, Expr>

opcodes

Returns Opcode<M>[]

run

Parameters

pc0: number

state: State<Inst, Expr>

Returns void

start

Returns State<Inst, Expr>

Static new

Parameters

bytecode: string | Uint8Array | ArrayLike<number>

Settings

Member Visibility

Theme

On This Page

step: Undef<M> & {
readonly [m in string]: StepFn
}

`Readonly` _ids

`Readonly` blocks

`Readonly` bytecode

`Readonly` errors

`Readonly` step

Returns {
content: Uint8Array | Opcode<M>[];
pcbegin: number;
pcend: number;
states?: State<Inst, Expr>[];
}[]

`Static` new