B2R2.MiddleEnd.Executor

B2R2.MiddleEnd.Executor Namespace

Contains functions and types related to IR execution.

Type	Description
IExecutor<'State, 'Memory, 'Value, 'RunOptions, 'RunResult>	Represents an executor that executes binary code from a given address.
InitialMemory<'Memory>	Represents the initial memory used for creating an execution state.
IStateAccessor<'State, 'Value>	Provides structured access to an executor-specific state.
Labels	Represents a collection of labels used in the evaluation state.
StateCreationOptions<'Memory, 'Value>	Represents options for creating an execution state.