CFGRecovery (B2R2) | B2R2

CFGRecovery Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis.Strategies
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: CFGRecovery<DummyContext, DummyContext>
All Interfaces: ICFGRecovery<DummyContext, DummyContext> , IGraphCallback<DummyContext, DummyContext> , IIndirectJmpAnalyzable<DummyContext, DummyContext> , ICFGBuildingStrategy<DummyContext, DummyContext>

Base strategy for building a CFG without any customizable context.

Constructors

Constructor	Description
`CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, allowBBLOverlap, recoveryTargets)` Full Usage: `CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, allowBBLOverlap, recoveryTargets)` Parameters: summarizer : `IFunctionSummarizable<DummyContext, DummyContext>` jmptblAnalysis : `IJmpTableAnalyzable<DummyContext, DummyContext>` syscallAnalysis : `ISyscallAnalyzable` postAnalysis : `ICFGAnalysis<(unit -> unit)>` useTailcallHeuristic : `bool` allowBBLOverlap : `bool` recoveryTargets : `RecoveryTargets` Returns: `CFGRecovery`	summarizer : `IFunctionSummarizable<DummyContext, DummyContext>` jmptblAnalysis : `IJmpTableAnalyzable<DummyContext, DummyContext>` syscallAnalysis : `ISyscallAnalyzable` postAnalysis : `ICFGAnalysis<(unit -> unit)>` useTailcallHeuristic : `bool` allowBBLOverlap : `bool` recoveryTargets : `RecoveryTargets` Returns: `CFGRecovery`
`CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, allowBBLOverlap)` Full Usage: `CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, allowBBLOverlap)` Parameters: summarizer : `IFunctionSummarizable<DummyContext, DummyContext>` jmptblAnalysis : `IJmpTableAnalyzable<DummyContext, DummyContext>` syscallAnalysis : `ISyscallAnalyzable` postAnalysis : `ICFGAnalysis<(unit -> unit)>` useTailcallHeuristic : `bool` allowBBLOverlap : `bool` Returns: `CFGRecovery`	summarizer : `IFunctionSummarizable<DummyContext, DummyContext>` jmptblAnalysis : `IJmpTableAnalyzable<DummyContext, DummyContext>` syscallAnalysis : `ISyscallAnalyzable` postAnalysis : `ICFGAnalysis<(unit -> unit)>` useTailcallHeuristic : `bool` allowBBLOverlap : `bool` Returns: `CFGRecovery`
`CFGRecovery(allowBBLOverlap, recoveryTargets)` Full Usage: `CFGRecovery(allowBBLOverlap, recoveryTargets)` Parameters: allowBBLOverlap : `bool` recoveryTargets : `RecoveryTargets` Returns: `CFGRecovery`	allowBBLOverlap : `bool` recoveryTargets : `RecoveryTargets` Returns: `CFGRecovery`
`CFGRecovery(allowBBLOverlap)` Full Usage: `CFGRecovery(allowBBLOverlap)` Parameters: allowBBLOverlap : `bool` Returns: `CFGRecovery`	allowBBLOverlap : `bool` Returns: `CFGRecovery`
`CFGRecovery()` Full Usage: `CFGRecovery()` Returns: `CFGRecovery`	Returns: `CFGRecovery`