SymbState (B2R2)

SymbState Type

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

Represents the main symbolic evaluation state.

Constructors

Constructor	Description
`SymbState(mem)` Full Usage: `SymbState(mem)` Parameters: mem : `ISymbMemory` Returns: `SymbState`	mem : `ISymbMemory` Returns: `SymbState`
`SymbState()` Full Usage: `SymbState()` Returns: `SymbState`	Returns: `SymbState`
`SymbState(regs, temps, lbls, mem, pathCond)` Full Usage: `SymbState(regs, temps, lbls, mem, pathCond)` Parameters: regs : `SymbVariables` temps : `SymbVariables` lbls : `Labels` mem : `ISymbMemory` pathCond : `SymbExpr list` Returns: `SymbState`	regs : `SymbVariables` temps : `SymbVariables` lbls : `Labels` mem : `ISymbMemory` pathCond : `SymbExpr list` Returns: `SymbState`

Instance members

Instance member	Description
`this.AbortInstr` Full Usage: `this.AbortInstr` Parameters: ?needToUpdatePC : `bool`	?needToUpdatePC : `bool`
`this.AddPathCondition` Full Usage: `this.AddPathCondition` Parameters: cond : `SymbExpr`	Adds a 1-bit bit-vector condition that must evaluate to true. cond : `SymbExpr`
`this.AdvancePC` Full Usage: `this.AdvancePC` Parameters: amount : `uint32` Modifiers: inline	amount : `uint32`
`this.Clone` Full Usage: `this.Clone` Returns: `SymbState`	Returns: `SymbState`
`this.CurrentInsLen` Full Usage: `this.CurrentInsLen` Returns: `uint32`	Returns: `uint32`
`this.GetReg` Full Usage: `this.GetReg` Parameters: rid : `RegisterID` Returns: `SymbExpr`	rid : `RegisterID` Returns: `SymbExpr`
`this.GoToLabel` Full Usage: `this.GoToLabel` Parameters: lbl : `Label` Modifiers: inline	lbl : `Label`
`this.InitializeContext` Full Usage: `this.InitializeContext` Parameters: pc : `uint64` registers : `(RegisterID * SymbExpr)[]`	pc : `uint64` registers : `(RegisterID * SymbExpr)[]`
`this.IsInstrTerminated` Full Usage: `this.IsInstrTerminated` Returns: `bool`	Returns: `bool`
`this.Labels` Full Usage: `this.Labels` Returns: `Labels`	Returns: `Labels`
`this.Memory` Full Usage: `this.Memory` Returns: `ISymbMemory`	Returns: `ISymbMemory`
`this.NeedToEvaluateIEMark` Full Usage: `this.NeedToEvaluateIEMark` Returns: `bool`	Returns: `bool`
`this.NextStmt` Full Usage: `this.NextStmt` Modifiers: inline
`this.PC` Full Usage: `this.PC` Returns: `uint64`	Returns: `uint64`
`this.PathCondition` Full Usage: `this.PathCondition` Returns: `SymbExpr list`	Returns: `SymbExpr list`
`this.PrepareInstrEval` Full Usage: `this.PrepareInstrEval` Parameters: stmts : `Stmt array` Modifiers: inline	stmts : `Stmt array`
`this.Registers` Full Usage: `this.Registers` Returns: `SymbVariables`	Returns: `SymbVariables`
`this.SetReg` Full Usage: `this.SetReg` Parameters: rid : `RegisterID` value : `SymbExpr`	rid : `RegisterID` value : `SymbExpr`
`this.SetTmp` Full Usage: `this.SetTmp` Parameters: idx : `int` value : `SymbExpr`	idx : `int` value : `SymbExpr`
`this.StmtIdx` Full Usage: `this.StmtIdx` Returns: `int`	Returns: `int`
`this.Temporaries` Full Usage: `this.Temporaries` Returns: `SymbVariables`	Returns: `SymbVariables`
`this.TryGetReg` Full Usage: `this.TryGetReg` Parameters: rid : `RegisterID` Returns: `Result<SymbExpr, ErrorCase>`	rid : `RegisterID` Returns: `Result<SymbExpr, ErrorCase>`
`this.TryGetTmp` Full Usage: `this.TryGetTmp` Parameters: idx : `int` Returns: `Result<SymbExpr, ErrorCase>`	idx : `int` Returns: `Result<SymbExpr, ErrorCase>`
`this.UnsetTmp` Full Usage: `this.UnsetTmp` Parameters: idx : `int`	idx : `int`