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 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]