CallGraph Module
A lens that converts a BinaryBrew to a CallCFG.
Functions and values
Function or value | Description |
Full Usage:
CallGraph.create implType brew
Parameters:
ImplementationType
brew : BinaryBrew<'a, 'b>
Returns: IDiGraph<CallBasicBlock, CFGEdgeKind> * IVertex<CallBasicBlock> list
|
|