CFGRecovery<'FnCtx, 'GlCtx> (B2R2)

CFGRecovery<'FnCtx, 'GlCtx> Type

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

Base strategy for building a CFG.

Constructors

Constructor Description

Constructor	Description
`CFGRecovery(useSSA, allowBBLOverlap)` Full Usage: `CFGRecovery(useSSA, allowBBLOverlap)` Parameters: useSSA : `bool` allowBBLOverlap : `bool` Returns: `CFGRecovery<'FnCtx, 'GlCtx>`	useSSA : `bool` allowBBLOverlap : `bool` Returns: `CFGRecovery<'FnCtx, 'GlCtx>`
`CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, useSSA, allowBBLOverlap)` Full Usage: `CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, useSSA, allowBBLOverlap)` Parameters: summarizer : `IFunctionSummarizable<'FnCtx, 'GlCtx>` jmptblAnalysis : `IJmpTableAnalyzable<'FnCtx, 'GlCtx>` syscallAnalysis : `ISyscallAnalyzable` postAnalysis : `ICFGAnalysis<(unit -> unit)>` useTailcallHeuristic : `bool` useSSA : `bool` allowBBLOverlap : `bool` Returns: `CFGRecovery<'FnCtx, 'GlCtx>`	summarizer : `IFunctionSummarizable<'FnCtx, 'GlCtx>` jmptblAnalysis : `IJmpTableAnalyzable<'FnCtx, 'GlCtx>` syscallAnalysis : `ISyscallAnalyzable` postAnalysis : `ICFGAnalysis<(unit -> unit)>` useTailcallHeuristic : `bool` useSSA : `bool` allowBBLOverlap : `bool` Returns: `CFGRecovery<'FnCtx, 'GlCtx>`


                
                  
                    
                      CFGRecovery(useSSA, allowBBLOverlap)

Full Usage: CFGRecovery(useSSA, allowBBLOverlap)

Parameters:

useSSA : bool

allowBBLOverlap : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>

useSSA : bool
allowBBLOverlap : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>


                
                  
                    
                      CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, useSSA, allowBBLOverlap)

Full Usage: CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, useSSA, allowBBLOverlap)

Parameters:

summarizer : IFunctionSummarizable<'FnCtx, 'GlCtx>

jmptblAnalysis : IJmpTableAnalyzable<'FnCtx, 'GlCtx>

syscallAnalysis : ISyscallAnalyzable

postAnalysis : ICFGAnalysis<(unit -> unit)>

useTailcallHeuristic : bool

useSSA : bool

allowBBLOverlap : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>

summarizer : IFunctionSummarizable<'FnCtx, 'GlCtx>
jmptblAnalysis : IJmpTableAnalyzable<'FnCtx, 'GlCtx>
syscallAnalysis : ISyscallAnalyzable
postAnalysis : ICFGAnalysis<(unit -> unit)>
useTailcallHeuristic : bool
useSSA : bool
allowBBLOverlap : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>