Header menu logo B2R2

IExecutor<'State, 'Memory, 'Value, 'RunOptions, 'RunResult> Type

Represents an executor that executes binary code from a given address.

Instance members

Instance member Description

this.CreateState

Full Usage: this.CreateState

Parameters:
Returns: 'State
Modifiers: abstract

Create an executor-specific initial state with the given options.

options : StateCreationOptions<'Memory, 'Value>
Returns: 'State

this.CreateState

Full Usage: this.CreateState

Returns: 'State
Modifiers: abstract

Create an executor-specific initial state with default options.

Returns: 'State

this.Run

Full Usage: this.Run

Parameters:
    start : Addr
    state : 'State
    options : 'RunOptions

Returns: 'RunResult
Modifiers: abstract

Execute from the given start address with the provided state.

start : Addr
state : 'State
options : 'RunOptions
Returns: 'RunResult

Type something to start searching.