flowistry

Module infoflow

Source
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§

Functions§

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.