Module aquascope::analysis

Core contextual analysis for Aquascope.

Re-exports

• pub use boundaries::compute_permission_boundaries;
• pub use find_bindings::find_bindings;
• pub use stepper::compute_permission_steps;

Modules

• boundaries
  Analysis for the “Needs-at” relations.
• find_bindings
• ir_mapper
  Main data structure for mapping HIR to MIR and vice-versa.
• permissions
  Aquascope permissions analysis.
• stepper
  Analysis for the “Missing-at” relations.

Structs

• AnalysisOutput
• AquascopeAnalysis
• LoanKey
• LoanPoints
• LoanRegions
• MoveKey
• MovePoints
• MoveRegions

Enums

• AquascopeError

Constants

• BODY_ID_STACK

Traits

• Bounded

Functions

• compute_permissions
• smooth_elements

Type Aliases

• AquascopeResult