CFGRecovery Type
Base strategy for building a CFG without any customizable context.
Constructors
Constructor | Description |
Full Usage:
CFGRecovery(summarizer, jmptblAnalysis, syscallAnalysis, postAnalysis, useTailcallHeuristic, allowBBLOverlap)
Parameters:
IFunctionSummarizable<DummyContext, DummyContext>
jmptblAnalysis : IJmpTableAnalyzable<DummyContext, DummyContext>
syscallAnalysis : ISyscallAnalyzable
postAnalysis : ICFGAnalysis<(unit -> unit)>
useTailcallHeuristic : bool
allowBBLOverlap : bool
Returns: CFGRecovery
|
|
|
|
|
|