Index of values


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 cleant 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]
Completly imprecise return
top_return_size [Function_Froms.Memory]
Completly imprecise return of the given size

U
unbind_var [Function_Froms.Memory]