EVMExeCtx (B2R2)

EVMExeCtx Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis.Strategies
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: IEquatable<EVMExeCtx> , IStructuralEquatable , IComparable<EVMExeCtx> , IComparable , IStructuralComparable

Record Field	Description
`Conditions` Full Usage: `Conditions` Field type: `Map<ProgramPoint, bool>`	A mapping from a program point to a boolean value indicating whether the variable defined at that point has been evaluated to true or false. We do not use SensitiveProgramPoint here because we hate path explosion. Field type: `Map<ProgramPoint, bool>`
`StackOffset` Full Usage: `StackOffset` Field type: `int`	The stack offset of the current vertex. Field type: `int`