A | |
add_binding [Function_Froms.Memory] | |
add_binding_loc [Function_Froms.Memory] | |
add_binding_precise_loc [Function_Froms.Memory] | |
add_data_dep [Function_Froms.Deps] | |
add_indirect_dep [Function_Froms.Deps] | |
add_to_return [Function_Froms.Memory] |
Add some dependencies to
\result , between bits start and
start+size-1 , to the Deps.t value; default value for start is 0.
|
B | |
bind_var [Function_Froms.Memory] | |
bottom [Function_Froms.Deps] | |
C | |
cleanup_and_save [From_compute.To_Use] |
Clean the given from (that have been computed for the given function),
optionally save them, and return the cleaned result.
|
collapse_return [Function_Froms.Memory] | |
compose [Function_Froms.Memory] |
Sequential composition.
|
compose [Function_Froms.DepsOrUnassigned] | compose d1 d2 is the sequential composition of d1 after d2 , ie.
|
compute [From_compute.Make] | |
compute_and_return [From_compute.Make] |
Compute the dependencies of the given function, and return them
|
compute_using_prototype_for_state [From_compute] |
Function that compute the Froms from a given prototype, called
in the given state
|
D | |
default_return [Function_Froms.Memory] |
Default value to use for storing the dependencies of
\result
|
E | |
extract_data [Function_Froms.DepsOrUnassigned] | |
extract_indirect [Function_Froms.DepsOrUnassigned] | |
F | |
find [Function_Froms.Memory] |
Imprecise version of find, in which data and indirect dependencies are
not distinguished
|
find_deps_lval_no_transitivity [From_compute] | |
find_deps_no_transitivity [From_compute] |
Direct computation of the dependencies on expressions, offsets and
lvals.
|
find_precise [Function_Froms.Memory] |
Precise version of find
|
from_data_deps [Function_Froms.Deps] | |
from_indirect_deps [Function_Froms.Deps] | |
G | |
get_from_call [From_compute.To_Use] |
How to find the Froms for a given call during the analysis.
|
get_value_state [From_compute.To_Use] |
How to find the state of Value at a given statement during the analysis.
|
I | |
inputs [Function_Froms] |
Extract the right part of a from result, ie.
|
J | |
join [Function_Froms.Deps] | |
join [Function_Froms] | |
K | |
keep_base [From_compute.To_Use] |
Return true if the given base is in scope after a call to the given
function.
|
M | |
map [Function_Froms.Memory] | |
map [Function_Froms.Deps] | |
may_be_unassigned [Function_Froms.DepsOrUnassigned] | |
O | |
off [Parameter_sig.Bool] |
Set the boolean to
false .
|
on [Parameter_sig.Bool] |
Set the boolean to
true .
|
output [Parameter_sig.With_output] |
To be used by the plugin to output the results of the option
in a controlled way.
|
outputs [Function_Froms] |
Extract the left part of a from result, ie.
|
P | |
pretty_ind_data [Function_Froms.Memory] |
Prints the detail of address and data dependencies, as opposed to
pretty
that prints the backwards-compatible union of them
|
pretty_precise [Function_Froms.DepsOrUnassigned] | |
pretty_precise [Function_Froms.Deps] | |
pretty_with_type [Function_Froms] |
Display dependencies of a function, using the function's type to improve
readability, separating direct and indirect dependencies
|
pretty_with_type_indirect [Function_Froms] | |
S | |
set_output_dependencies [Parameter_sig.With_output] |
Set the dependencies for the output of the option.
|
subst [Function_Froms.DepsOrUnassigned] | |
substitute [Function_Froms.Memory] | substitute m d applies m to d so that any dependency in d is
expressed using the dependencies already present in m .
|
T | |
to_deps [Function_Froms.DepsOrUnassigned] | |
to_zone [Function_Froms.DepsOrUnassigned] | |
to_zone [Function_Froms.Deps] | |
top [Function_Froms.Deps] | |
top [Function_Froms] |
Display dependencies of a function, using the function's type to improve
readability
|
top_return [Function_Froms.Memory] |
Completely imprecise return
|
top_return_size [Function_Froms.Memory] |
Completely imprecise return of the given size
|
U | |
unbind_var [Function_Froms.Memory] |