B2R2


HistoricalFact Type

To support the rollback mechanism, we remember inter-function edges created during the recovery of an indirect branch. If a vertex has been promoted due to such an edge, and the edge has turned out to be invalid, then we should be able to revert the promotion.

Union cases

Union case Description

CreatedFunction func

Full Usage: CreatedFunction func

Parameters:
func : Addr