EvalState (B2R2)

EvalState Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: obj

Represents the main evaluation state that will be updated by evaluating every LowUIR statement encountered during the course of execution. This can be considered as a single-threaded CPU context.

Constructors

Constructor	Description
`EvalState(ignoreUndef)` Full Usage: `EvalState(ignoreUndef)` Parameters: ignoreUndef : `bool` Returns: `EvalState`	This constructor will simply create a fresh new EvalState. Depending on the `ignoreUndef` parameter, the evaluator using this EvalState will silently ignore Undef values. Such a feature is only useful for some static analyses. ignoreUndef : `bool` Returns: `EvalState`
`EvalState(mem)` Full Usage: `EvalState(mem)` Parameters: mem : `IMemory` Returns: `EvalState`	This constructor will simply create a fresh new EvalState with the given memory. mem : `IMemory` Returns: `EvalState`
`EvalState()` Full Usage: `EvalState()` Returns: `EvalState`	This constructor will simply create a fresh new EvalState. Returns: `EvalState`
`EvalState(regs, temps, lbls, mem, ignoreUndef)` Full Usage: `EvalState(regs, temps, lbls, mem, ignoreUndef)` Parameters: regs : `Variables` temps : `Variables` lbls : `Labels` mem : `IMemory` ignoreUndef : `bool` Returns: `EvalState`	regs : `Variables` temps : `Variables` lbls : `Labels` mem : `IMemory` ignoreUndef : `bool` Returns: `EvalState`

Instance members

Instance member	Description
`this.AbortInstr` Full Usage: `this.AbortInstr` Parameters: ?needToUpdatePC : `bool`	Stop evaluating further statements of the current instruction, and move on the next instruction. ?needToUpdatePC : `bool`
`this.AdvancePC` Full Usage: `this.AdvancePC` Parameters: amount : `uint32` Modifiers: inline	Advance PC by `amount`. amount : `uint32`
`this.Clone` Full Usage: `this.Clone` Returns: `EvalState`	Make a copy of this EvalState. Returns: `EvalState`
`this.Clone` Full Usage: `this.Clone` Parameters: newMem : `IMemory` Returns: `EvalState`	Make a copy of this EvalState with a given new Memory. newMem : `IMemory` Returns: `EvalState`
`this.CurrentInsLen` Full Usage: `this.CurrentInsLen` Returns: `uint32`	Current instruction length. Returns: `uint32`
`this.ExternalCallEventHandler` Full Usage: `this.ExternalCallEventHandler` Returns: `ExternalCallEventHandler`	External call event handler. Returns: `ExternalCallEventHandler`
`this.GetReg` Full Usage: `this.GetReg` Parameters: r : `RegisterID` Returns: `BitVector` Modifiers: inline	Get the value of the given register. r : `RegisterID` Returns: `BitVector`
`this.GetTmp` Full Usage: `this.GetTmp` Parameters: n : `int` Returns: `BitVector` Modifiers: inline	Get the value of the given temporary variable. n : `int` Returns: `BitVector`
`this.GoToLabel` Full Usage: `this.GoToLabel` Parameters: lbl : `Label` Modifiers: inline	Go to the statement of the given label. lbl : `Label`
`this.IgnoreUndef` Full Usage: `this.IgnoreUndef` Returns: `bool`	Whether to ignore statements that cannot be evaluated due to undef values. This is particularly useful to quickly check some constants. Returns: `bool`
`this.InitializeContext` Full Usage: `this.InitializeContext` Parameters: pc : `uint64` regs : `(RegisterID * 'a) array` Type parameters: 'a (requires :> B2R2.BitVector)	Initialize the current context by updating register values. pc : `uint64` regs : `(RegisterID * 'a) array`
`this.IsInstrTerminated` Full Usage: `this.IsInstrTerminated` Returns: `bool`	Indicate whether to terminate the current instruction or not. This flag is set to true when we encounter an inter-jump statement or SideEffect, so that we can ignore the rest of the statements. Returns: `bool`
`this.Labels` Full Usage: `this.Labels` Returns: `Labels`	Store labels and their corresponding statement indices. Returns: `Labels`
`this.LoadFailureEventHandler` Full Usage: `this.LoadFailureEventHandler` Returns: `LoadFailureEventHandler`	Memory load failure (access violation) event handler. Returns: `LoadFailureEventHandler`
`this.Memory` Full Usage: `this.Memory` Returns: `IMemory`	Memory. Returns: `IMemory`
`this.NeedToEvaluateIEMark` Full Usage: `this.NeedToEvaluateIEMark` Returns: `bool`	Indicate whether to evaluate IEMark while ignoring the other instructions. This means, the evaluation of the instruction is over, but we need to advance the PC to the next instruction using IEMark. Thus, this flag is only meaningful when `IsInstrTerminated` is true. Returns: `bool`
`this.NextStmt` Full Usage: `this.NextStmt` Modifiers: inline	Update the current statement index to be the next (current + 1) statement.
`this.PC` Full Usage: `this.PC` Returns: `uint64`	Current PC. Returns: `uint64`
`this.PrepareInstrEval` Full Usage: `this.PrepareInstrEval` Parameters: stmts : `Stmt array` Modifiers: inline	Get ready for evaluating a new instruction. stmts : `Stmt array`
`this.Registers` Full Usage: `this.Registers` Returns: `Variables`	Named register values. Returns: `Variables`
`this.SetReg` Full Usage: `this.SetReg` Parameters: r : `RegisterID` v : `BitVector` Modifiers: inline	Set the value for the given register. r : `RegisterID` v : `BitVector`
`this.SetTmp` Full Usage: `this.SetTmp` Parameters: n : `int` v : `BitVector` Modifiers: inline	Set the value for the given temporary variable. n : `int` v : `BitVector`
`this.SideEffectEventHandler` Full Usage: `this.SideEffectEventHandler` Returns: `SideEffectEventHandler`	Side-effect event handler. Returns: `SideEffectEventHandler`
`this.StmtIdx` Full Usage: `this.StmtIdx` Returns: `int`	The current index of the statement to evaluate within the scope of a machine instruction. This index behaves like a PC for statements of an instruction. Returns: `int`
`this.Temporaries` Full Usage: `this.Temporaries` Returns: `Variables`	Temporary variable values. Returns: `Variables`
`this.TryGetReg` Full Usage: `this.TryGetReg` Parameters: r : `RegisterID` Returns: `ConcEvalValue` Modifiers: inline	Get the value of the given register. r : `RegisterID` Returns: `ConcEvalValue`
`this.TryGetTmp` Full Usage: `this.TryGetTmp` Parameters: n : `int` Returns: `ConcEvalValue` Modifiers: inline	Get the value of the given temporary variable. n : `int` Returns: `ConcEvalValue`
`this.UnsetReg` Full Usage: `this.UnsetReg` Parameters: r : `RegisterID` Modifiers: inline	Unset the given register. r : `RegisterID`
`this.UnsetTmp` Full Usage: `this.UnsetTmp` Parameters: n : `int` Modifiers: inline	Unset the given temporary variable. n : `int`