IFunctionSummarizable<'FnCtx, 'GlCtx> Type
Interface for summarizing a function based on the given context to abstract data.
Instance members
Instance member | Description |
Full Usage:
this.ComputeUnwindingAmount
Parameters:
CFGBuildingContext<'FnCtx, 'GlCtx>
Returns: int
Modifiers: abstract |
|
Full Usage:
this.MakeUnknownFunctionAbstraction
Parameters:
BinHandle
ins : Instruction
Returns: FunctionAbstraction<Stmt>
Modifiers: abstract |
|
Full Usage:
this.Summarize
Parameters:
CFGBuildingContext<'FnCtx, 'GlCtx>
retStatus : NonReturningStatus
unwindingBytes : int
ins : Instruction
Returns: FunctionAbstraction<Stmt>
Modifiers: abstract |
|