ICFGAnalysis (B2R2)

ICFGAnalysis Module

Function or value	Description
`empty` Full Usage: `empty` Returns: `ICFGAnalysis<('a -> unit)>` Type parameters: 'a	An empty CFG-based analysis, which does nothing. Returns: `ICFGAnalysis<('a -> unit)>`
`finalize a` Full Usage: `finalize a` Parameters: a : `ICFGAnalysis<('a -> 'b)>` Returns: `ICFGAnalysis<('a -> unit)>` Type parameters: 'a, 'b	Finalize the CFG-based analysis, which ignores the output of the previous CFG-based analysis. a : `ICFGAnalysis<('a -> 'b)>` Returns: `ICFGAnalysis<('a -> unit)>`
`run env a` Full Usage: `run env a` Parameters: env : `CFGAnalysisEnv<'a, 'b>` a : `ICFGAnalysis<(unit -> unit)>` Modifiers: inline Type parameters: 'a, 'b (requires :> B2R2.MiddleEnd.ControlFlowAnalysis.IResettable and (new : unit -> 'a) and (new : unit -> 'b))	Run the combined CFG-based analysis, which should take `unit` as input and returns `unit` as output. env : `CFGAnalysisEnv<'a, 'b>` a : `ICFGAnalysis<(unit -> unit)>`