List of all items
Structs
- analysis::AnalysisOutput
- analysis::AquascopeAnalysis
- analysis::LoanKey
- analysis::LoanPoints
- analysis::LoanRegions
- analysis::MoveKey
- analysis::MovePoints
- analysis::MoveRegions
- analysis::boundaries::FlowBoundary
- analysis::boundaries::PermissionsBoundary
- analysis::ir_mapper::HirNodeLocations
- analysis::ir_mapper::IRMapper
- analysis::permissions::AquascopeFacts
- analysis::permissions::Output
- analysis::permissions::PathIndex
- analysis::permissions::Permissions
- analysis::permissions::PermissionsCtxt
- analysis::permissions::PermissionsData
- analysis::permissions::PermissionsDomain
- analysis::permissions::RefinementRegion
- analysis::stepper::MirSegment
- analysis::stepper::PermissionsDataDiff
- analysis::stepper::PermissionsDiff
- analysis::stepper::PermissionsLineDisplay
- analysis::stepper::PermissionsStepTable
- interpreter::InterpretCallbacks
- interpreter::MTrace
Enums
- analysis::AquascopeError
- analysis::ir_mapper::GatherDepth
- analysis::ir_mapper::GatherMode
- analysis::permissions::Refiner
- analysis::stepper::PermIncludeMode
- analysis::stepper::ValueStep
- interpreter::MValue
Traits
Functions
- analysis::boundaries::compute_permission_boundaries
- analysis::compute_permissions
- analysis::find_bindings::find_bindings
- analysis::permissions::compute
- analysis::smooth_elements
- analysis::stepper::compute_permission_steps
- errors::errors_exist
- errors::get_span_of_first_error
- errors::initialize_error_tracking
- errors::track_body_diagnostics
- interpreter::override_queries
Type Aliases
- analysis::AquascopeResult
- analysis::permissions::Loan
- analysis::permissions::Move
- analysis::permissions::Origin
- analysis::permissions::Path
- analysis::permissions::Point
- analysis::permissions::Variable