FunctionSummarizer<'FnCtx, 'GlCtx> Type
Base class for summarizing a function in a lightweight manner. One can extend this class to implement a more sophisticated function summarizer.
Constructors
Constructor | Description |
|
|
Instance members
Instance member | Description |
Full Usage:
this.ComputeUnwindingAmount
Parameters:
CFGBuildingContext<'FnCtx, 'GlCtx>
Returns: int
Modifiers: abstract |
|
Full Usage:
this.Summarize
Parameters:
CFGBuildingContext<'FnCtx, 'GlCtx>
arg1 : Instruction
unwindingAmount : int
Returns: Rundown<Stmt>
Modifiers: abstract |
|