The main interface for building a CFG.
Instance member | Description |
|
Update CFGs based on the given CFGEvents. This function will run our CFG analysis by consuming the CFGEvents until there's no more event to consume. When everything is done well, this function returns "Ok ()".
|