Index of values

Add some dependencies to \result, between bits start and start+size-1, to the Deps.t value; default value for start is 0.

Clean the given from (that have been computed for the given function), optionally save them, and return the cleaned result.

Sequential composition.

compose d1 d2 is the sequential composition of d1 after d2, ie.

Compute the dependencies of the given function

Compute the dependencies of the given function, and return them

Function that compute the Froms from a given prototype, called in the given state

Default value to use for storing the dependencies of \result

Imprecise version of find, in which data and indirect dependencies are not distinguished

Direct computation of the dependencies on expressions, offsets and lvals.

Precise version of find

How to find the Froms for a given call during the analysis.

How to find the state of Value at a given statement during the analysis.

Extract the right part of a from result, ie.

Return true if the given base is in scope after a call to the given function.

Set the boolean to false.

Set the boolean to true.

To be used by the plugin to output the results of the option in a controlled way.

Extract the left part of a from result, ie.

Prints the detail of address and data dependencies, as opposed to pretty that prints the backwards-compatible union of them

Display dependencies of a function, using the function's type to improve readability

Display dependencies of a function, using the function's type to improve readability, separating direct and indirect dependencies

Set the dependencies for the output of the option.

substitute m d applies m to d so that any dependency in d is expressed using the dependencies already present in m.

Completely imprecise return

Completely imprecise return of the given size