ICFGAnalysis (B2R2)

ICFGAnalysis Module

Function or value	Description
`finalize a` Full Usage: `finalize a` Parameters: a : `ICFGAnalysis<('a -> 'b)>` Returns: `ICFGAnalysis<('a -> unit)>`	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	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)>`