obj
Record and manage the CFG recovery history.
HistoryManager()
HistoryManager
this.HasFunctionLater(addr)
Addr
bool
Check if the given function address exists in the function stack excluding the stack top.
this.PeekFunctionHistory(fnAddr)
HistoricalFact[]
Peek the history of the current function.
this.Record(fact)
HistoricalFact
Record the historical fact.
this.StartRecordingFunctionHistory(addr)
Record the history of a certain function.
this.StopRecordingFunctionHistory(addr)
Stop recording the history of a certain function.