IStateAccessor<'State, 'Value> (B2R2) | B2R2

IStateAccessor<'State, 'Value> Type

Namespace: B2R2.MiddleEnd.Executor
Assembly: B2R2.MiddleEnd.Executor.dll
Base Type: obj
All Interfaces: IStateAccessor<'State, 'Value>

Provides structured access to an executor-specific state.

Instance members

Instance member	Description
`this.AllocateStackBuffer` Full Usage: `this.AllocateStackBuffer` Parameters: size : `int` Returns: `Addr` Modifiers: abstract	Allocate a buffer from the current stack and return its address. size : `int` Returns: `Addr`
`this.GetRegister` Full Usage: `this.GetRegister` Parameters: rid : `RegisterID` Returns: `'Value` Modifiers: abstract	Get a register value by register ID. rid : `RegisterID` Returns: `'Value`
`this.GetRegister` Full Usage: `this.GetRegister` Parameters: name : `string` Returns: `'Value` Modifiers: abstract	Get a register value by name. name : `string` Returns: `'Value`
`this.GetReturnValue` Full Usage: `this.GetReturnValue` Returns: `'Value` Modifiers: abstract	Get the return value for the supported ABI. Returns: `'Value`
`this.InitializeFramePointer` Full Usage: `this.InitializeFramePointer` Modifiers: abstract	Initialize the frame pointer with the current stack pointer.
`this.InitializeStack` Full Usage: `this.InitializeStack` Parameters: stackTop : `Addr` Modifiers: abstract	Initialize the stack pointer with the given stack top. stackTop : `Addr`
`this.PopFromStack` Full Usage: `this.PopFromStack` Returns: `'Value` Modifiers: abstract	Pop a word-sized value from the stack. Returns: `'Value`
`this.PushToStack` Full Usage: `this.PushToStack` Parameters: value : `'Value` Returns: `Addr` Modifiers: abstract	Push a word-sized value to the stack and return its address. value : `'Value` Returns: `Addr`
`this.SetArgument` Full Usage: `this.SetArgument` Parameters: idx : `int` value : `'Value` Modifiers: abstract	Set an integer or pointer argument for the supported ABI. idx : `int` value : `'Value`
`this.SetRegister` Full Usage: `this.SetRegister` Parameters: rid : `RegisterID` value : `'Value` Modifiers: abstract	Set a register value by register ID. rid : `RegisterID` value : `'Value`
`this.SetRegister` Full Usage: `this.SetRegister` Parameters: name : `string` value : `'Value` Modifiers: abstract	Set a register value by name. name : `string` value : `'Value`
`this.SetStackPointer` Full Usage: `this.SetStackPointer` Parameters: addr : `Addr` Modifiers: abstract	Set the current stack pointer value. addr : `Addr`
`this.StackPointer` Full Usage: `this.StackPointer` Returns: `Addr` Modifiers: abstract	Current stack pointer value. Returns: `Addr`
`this.State` Full Usage: `this.State` Returns: `'State` Modifiers: abstract	The underlying executor-specific state. Returns: `'State`
`this.WordBytes` Full Usage: `this.WordBytes` Returns: `int` Modifiers: abstract	Target word size in bytes. Returns: `int`
`this.WordType` Full Usage: `this.WordType` Returns: `RegType` Modifiers: abstract	Target word-sized register type. Returns: `RegType`
`this.ZeroRegisters` Full Usage: `this.ZeroRegisters` Parameters: rids : `RegisterID[]` Modifiers: abstract	Set the selected registers to zero by register ID. rids : `RegisterID[]`
`this.ZeroRegisters` Full Usage: `this.ZeroRegisters` Parameters: names : `string[]` Modifiers: abstract	Set the selected registers to zero by name. names : `string[]`