C | |
| call_interface [Pdg_aux] | Abstract view of a call frontier. |
N | |
| node [Pdg_aux] | Refinement of a PDG node: we add an indication of which zone is really impacted |
| nodes [Compute_impact] | |
| nodes_origin [Reason_graph] | Map from a node to the kernel_function it belongs to |
R | |
| reason [Reason_graph] | |
| reason_graph [Reason_graph] | |
| reason_type [Reason_graph] | Why is a node impacted. |
| result [Compute_impact] |