Module flux_refineck::ghost_statements

source ·
Expand description

Ghost statements are statements that are not part of the original mir, but are added from information extracted from the compiler or some additional analysis.

Modules§

  • fold_unfold 🔒
  • points_to 🔒
    This module implements a points-to analysis for mutable references.

Structs§

Enums§

  • GhostStatement 🔒
  • Point 🔒
    A point in the control flow graph where ghost statements can be inserted.

Functions§

Type Aliases§