B2R2


ICFGBuildable Type

The main interface for building a CFG.

Instance members

Instance member Description

this.Update(arg1)

Full Usage: this.Update(arg1)

Parameters:
Returns: Result<unit, CFGError>
Modifiers: abstract

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 ()".

arg0 : CFGEvents
Returns: Result<unit, CFGError>