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 |
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] |
|
compute [From_compute.Make] | Compute the dependencies of the given function |
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 |
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 |
on [Parameter_sig.Bool] | Set the boolean to |
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_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 |
pretty_with_type_indirect [Function_Froms] | Display dependencies of a function, using the function's type to improve readability, separating direct and indirect dependencies |
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] |
|
T | |
to_deps [Function_Froms.DepsOrUnassigned] | |
to_zone [Function_Froms.DepsOrUnassigned] | |
to_zone [Function_Froms.Deps] | |
top [Function_Froms.Deps] | |
top [Function_Froms] | |
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] |