SymbStopPoint (B2R2)

SymbStopPoint Type

Represents a symbolic execution point inspected by SymbExecutor queries.

Record Field	Description
`Address` Full Usage: `Address` Field type: `Addr`	Address of the symbolic state. Field type: `Addr`
`Instruction` Full Usage: `Instruction` Field type: `IInstruction option`	Instruction about to execute at the stop point, if parsable. Field type: `IInstruction option`
`InstructionCount` Full Usage: `InstructionCount` Field type: `int`	Number of instructions executed before reaching the state. Field type: `int`
`State` Full Usage: `State` Field type: `SymbState`	Symbolic state at the stop point. Field type: `SymbState`