CFGRecovery<'FnCtx, 'GlCtx> (B2R2)

CFGRecovery<'FnCtx, 'GlCtx> Type

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

Base strategy for building a CFG.

Constructors

Constructor Description

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


                
                  
                    
                      CFGRecovery(allowBBLOverlap, useSSA)

Full Usage: CFGRecovery(allowBBLOverlap, useSSA)

Parameters:

allowBBLOverlap : bool

useSSA : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>

allowBBLOverlap : bool
useSSA : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>


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

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

Parameters:

summarizer : IFunctionSummarizable<'FnCtx, 'GlCtx>

jmptblAnalysis : IJmpTableAnalyzable<'FnCtx, 'GlCtx>

syscallAnalysis : ISyscallAnalyzable

postAnalysis : ICFGAnalysis<(unit -> unit)>

useTailcallHeuristic : bool

allowBBLOverlap : bool

useSSA : bool

Returns: CFGRecovery<'FnCtx, 'GlCtx>

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

Returns: CFGRecovery<'FnCtx, 'GlCtx>