A | |
| add [State_builder.Hashtbl] |
Add a new binding.
|
| 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.
|
| clear [State_builder.Hashtbl] |
Clear the table.
|
| 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_memdeps [Mem_dependencies] | |
| compute_pathdeps [Path_dependencies] | |
| 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 [State_builder.Hashtbl] |
Return the current binding of the given key.
|
| find_all [State_builder.Hashtbl] |
Return the list of all data associated with the given key.
|
| 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
|
| fold [State_builder.Hashtbl] | |
| fold_sorted [State_builder.Hashtbl] | |
| 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.
|
| iter [State_builder.Hashtbl] | |
| iter_sorted [State_builder.Hashtbl] | |
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.
|
L | |
| length [State_builder.Hashtbl] |
Length of the table.
|
M | |
| map [Function_Froms.Memory] | |
| map [Function_Froms.Deps] | |
| may_be_unassigned [Function_Froms.DepsOrUnassigned] | |
| mem [State_builder.Hashtbl] | |
| memo [State_builder.Hashtbl] |
Memoization.
|
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] | |
R | |
| remove [State_builder.Hashtbl] | |
| replace [State_builder.Hashtbl] |
Add a new binding.
|
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] |