A | |
add' [Pdg_aux.NS] | |
all_call_input_nodes [Pdg_aux] |
|
all_call_out_nodes [Pdg_aux] |
|
C | |
compute_pragmas [Register] | Compute the impact analysis from the impact pragma in the program. |
compute_pragmas [Impact.Register] | Compute the impact analysis from the impact pragma in the program. |
copy [Datatype.S] | Deep copy: no possible sharing between |
D | |
diff [Pdg_aux.NS] | |
E | |
empty [Reason_graph] | |
empty [Pdg_aux.NS] | |
exists [Parameter_sig.Set] | Is there some element satisfying the given predicate? |
F | |
filter' [Pdg_aux.NS] | |
fold [Pdg_aux.NS] | |
for_all' [Pdg_aux.NS] | |
from_nodes [Register] | Compute the impact analysis of the given set of PDG nodes, that come from the given function. |
from_nodes [Impact.Register] | Compute the impact analysis of the given set of PDG nodes, that come from the given function. |
from_stmt [Register] | Compute the impact analysis of the given statement. |
from_stmt [Impact.Register] | Compute the impact analysis of the given statement. |
I | |
impact_in_kf [Compute_impact] | Nodes impacted in a given function |
initial_nodes [Compute_impact] | To compute the impact of a statement, find the initial PDG nodes that must be put in the worklist. |
inter [Pdg_aux.NS] | |
intersects [Pdg_aux.NS] | |
is_empty [Pdg_aux.NS] | |
is_on [Options] | |
iter' [Pdg_aux.NS] | |
M | |
make_type [Datatype.Hashtbl] | |
mem [Pdg_aux.NS] | |
mem [Parameter_sig.Set] | Does the given element belong to the set? |
mem' [Pdg_aux.NS] | |
N | |
nearest_elt_ge [Datatype.Set] | |
nearest_elt_le [Datatype.Set] | |
nodes_impacted [Compute_impact] | Impact of a list of PDG nodes as a set of nodes |
nodes_impacted_by_nodes [Compute_impact] | nodes in returned map are initial nodes |
nodes_impacted_by_stmts [Compute_impact] | nodes in returned map are initial nodes |
nodes_to_stmts [Compute_impact] | Transform a set of PDG nodes into a set of statements |
O | |
off [Parameter_sig.Bool] | Set the boolean to |
on [Parameter_sig.Bool] | Set the boolean to |
P | |
pretty [Pdg_aux.NS] | |
pretty_node [Pdg_aux] | |
print_dot_graph [Reason_graph] | |
R | |
remove [Pdg_aux.NS] | |
result_to_nodes [Compute_impact] | Transform the result of an analysis into a set of PDG nodes |
S | |
skip [Compute_impact] | computed from the option |
slice [Register] | |
stmts_impacted [Compute_impact] | Impact of a list of statements as a set of statements |
T | |
to_dot_formatter [Reason_graph] | |
U | |
union [Pdg_aux.NS] |