C | |
| call_interface [Pdg_aux] |
Abstract view of a call frontier.
|
D | |
| data [State_builder.Ref] |
Type of the referenced value.
|
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] | |
S | |
| shape [Hptset.S] |
Shape of the set, ie.
|
T | |
| t [Reason_graph.Printer.E] | |
| t [Reason_graph.Printer.V] | |
| t [Reason_graph.Printer] | |
| todo [Compute_impact] | |
| todolist [Compute_impact] | |
W | |
| worklist [Compute_impact] |
Worklist maintained by the plugin to build its results
|