CFGEvents Type
List of CFGEvents. We divide events into three groups: (1) basic events, (2) callee-analysis events, and (3) per-function-analysis events. The basic events are essential ones for building regular CFGs. The callee-analysis events are to detect mutually recursive callee analysis events. The function-analysis events are to perform per-function analysis in order to recover high-level CFG information, such as no-return information, and indirect branch targets.
Record fields
| Record Field | Description |
|
List of basic CFG events (LIFO).
|
|
Callee analysis edges, where each edge shows dependency between two functions. This maps a source node to a set of destination nodes. |
|
List of function addresses (FIFO) that needs to perform per-function analyses.
|