Expand description
The core information flow analysis.
The main function is compute_flow
. See FlowResults
and FlowDomain
for an explanation
of what it returns.
Modules§
- Identifies the mutated places in a MIR instruction via modular approximation based on types.
Structs§
- Data structure that holds context for performing the information flow analysis.
Enums§
- Which way to look for dependencies
Functions§
- Computes the dependencies of a place $p$ at a location $\ell$ in a given direction.
- Wraps
compute_dependencies
by translating eachLocation
to a corresponding sourceSpan
for the location. - Computes information flow for a MIR body.
Type Aliases§
- Represents the information flows at a given instruction. See
FlowResults
for a high-level explanation of this datatype. - The output of the information flow analysis.