ConcExecutor (B2R2) | B2R2

ConcExecutor Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: obj
All Interfaces: IExecutor<EvalState, IMemory, BitVector, ConcRunOptions<EvalState>, ConcRunResult<EvalState>>

Represents a concrete executor over ConcEval's evaluation state.

Constructors

Constructor	Description
`ConcExecutor(hdl)` Full Usage: `ConcExecutor(hdl)` Parameters: hdl : `BinHandle` Returns: `ConcExecutor`	hdl : `BinHandle` Returns: `ConcExecutor`

Instance members

Instance member	Description
`this.CreateState` Full Usage: `this.CreateState` Parameters: options : `StateCreationOptions<IMemory, 'a>` Returns: `EvalState` Type parameters: 'a (requires :> B2R2.BitVector)	Create a concrete evaluation state with the given initial memory and register values. Since the start address is not known yet, initialize PC to zero here; Run will set it to the actual start address. options : `StateCreationOptions<IMemory, 'a>` Returns: `EvalState`
`this.CreateState` Full Usage: `this.CreateState` Returns: `EvalState`	Create a fresh concrete evaluation state. Returns: `EvalState`
`this.Run` Full Usage: `this.Run` Parameters: start : `uint64` state : `EvalState` stopCondition : `ConcStopCondition<EvalState>` Returns: `ConcRunResult<EvalState>`	Run concrete execution from the given address. start : `uint64` state : `EvalState` stopCondition : `ConcStopCondition<EvalState>` Returns: `ConcRunResult<EvalState>`
`this.Run` Full Usage: `this.Run` Parameters: start : `uint64` state : `EvalState` options : `ConcRunOptions<EvalState>` Returns: `ConcRunResult<EvalState>`	Run concrete execution from the given address. start : `uint64` state : `EvalState` options : `ConcRunOptions<EvalState>` Returns: `ConcRunResult<EvalState>`