SymbExecutor (B2R2) | B2R2

SymbExecutor Type

Namespace: B2R2.MiddleEnd.SymbEval
Assembly: B2R2.MiddleEnd.SymbEval.dll
Base Type: obj
All Interfaces: IExecutor<SymbState, ISymbMemory, SymbExpr, SymbRunOptions, SymbRunResult>

Represents a symbolic executor over SymbEval's evaluation state.

Constructors

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

Instance members

Instance member	Description
`this.CreateState` Full Usage: `this.CreateState` Parameters: options : `StateCreationOptions<'a, SymbExpr>` Returns: `SymbState` Type parameters: 'a (requires :> B2R2.MiddleEnd.SymbEval.ISymbMemory)	options : `StateCreationOptions<'a, SymbExpr>` Returns: `SymbState`
`this.CreateState` Full Usage: `this.CreateState` Returns: `SymbState`	Returns: `SymbState`
`this.Run` Full Usage: `this.Run` Parameters: start : `uint64` state : `SymbState` calls : `SymbCallPolicy` query : `SymbQueryRequest` solver : `SymbSolver` Returns: `SymbRunResult`	start : `uint64` state : `SymbState` calls : `SymbCallPolicy` query : `SymbQueryRequest` solver : `SymbSolver` Returns: `SymbRunResult`
`this.Run` Full Usage: `this.Run` Parameters: start : `uint64` state : `SymbState` options : `SymbRunOptions` Returns: `SymbRunResult`	start : `uint64` state : `SymbState` options : `SymbRunOptions` Returns: `SymbRunResult`