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
|