EVMFunctionSummarizer<'FnCtx, 'GlCtx> (B2R2)

EVMFunctionSummarizer<'FnCtx, 'GlCtx> Type

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

Summarizes a function in the EVM context. Thanks to the powerful expressiveness of B2R2's IR, we can easily express a function's abstraction, including its unwinding behavior and return behavior.

Constructors

Constructor	Description
`EVMFunctionSummarizer()` Full Usage: `EVMFunctionSummarizer()` Returns: `EVMFunctionSummarizer<'FnCtx, 'GlCtx>`	Returns: `EVMFunctionSummarizer<'FnCtx, 'GlCtx>`