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] | |
R | |
reason [Reason_graph] | |
reason_graph [Reason_graph] | |
reason_type [Reason_graph] |
Why is a node impacted.
|
result [Compute_impact] | |
T | |
t [Reason_graph.Printer.E] | |
t [Reason_graph.Printer.V] | |
t [Reason_graph.Printer] |