Module aquascope::analysis::permissions

Aquascope permissions analysis.

Modules

• utils
  Various debugging utilities for permissions.

Structs

• AquascopeFacts
  Permission facts in Aquascope, similar to [RustcFacts].
• Output
  Aquascope permissions facts output.
• PathIndex
• Permissions
  Read, Write, and Own permissions for a single Place.
• PermissionsCtxt
• PermissionsData
  Permissions and first-order provenance for permission refinement.
• PermissionsDomain
  Permissions data forall places in the body under analysis.
• RefinementRegion
  The live source-level range of a refinement.

Enums

• Refiner
  A permissions refiner. Loans and moves can refine permissions.

Constants

• ENABLE_FLOW_DEFAULT

Statics

• ENABLE_FLOW_PERMISSIONS

Functions

• compute
  Compute the PermissionsCtxt for a given body.

Type Aliases

• Loan
• Move
• Origin
• Path
• Point
• Variable