CFGAnalysisEnv<'FnCtx, 'GlCtx> (B2R2)

CFGAnalysisEnv<'FnCtx, 'GlCtx> Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis.Strategies
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: IEquatable<CFGAnalysisEnv<'FnCtx, 'GlCtx>> , IStructuralEquatable

The environment for a CFG-based analysis.

Record Field	Description
`Context` Full Usage: `Context` Field type: `CFGBuildingContext<'FnCtx, 'GlCtx>`	Field type: `CFGBuildingContext<'FnCtx, 'GlCtx>`