List of all items

Structs

• extensions::EvalMode
• infoflow::FlowAnalysis
• infoflow::mutation::ModularMutationVisitor
• infoflow::mutation::Mutation
• mir::aliases::Aliases
• mir::engine::AnalysisResults
• mir::placeinfo::PlaceInfo
• mir::utils::AsyncHack

Enums

• extensions::ContextMode
• extensions::MutabilityMode
• extensions::PointerMode
• infoflow::Direction
• infoflow::mutation::MutationStatus
• infoflow::mutation::Reason

Traits

• mir::FlowistryInput

Functions

• extensions::is_extension_active
• infoflow::compute_dependencies
• infoflow::compute_dependency_spans
• infoflow::compute_flow
• mir::engine::iterate_to_fixpoint
• mir::utils::arg_mut_ptrs
• mir::utils::arg_places

Type Aliases

• infoflow::FlowDomain
• infoflow::FlowResults
• mir::utils::PlaceSet

Statics

• extensions::EVAL_MODE
• extensions::REACHED_LIBRARY