List of all items

Structs

• RapCallback
• analysis::alias::AliasPair
• analysis::alias::FieldOrigin
• analysis::alias::FnAliasMapWrapper
• analysis::alias::FnAliasPairs
• analysis::alias::default::AliasAnalyzer
• analysis::alias::default::MopAliasPair
• analysis::alias::default::MopFnAliasPairs
• analysis::alias::default::graph::AliasGraph
• analysis::alias::default::value::FatherInfo
• analysis::alias::default::value::Value
• analysis::alias::mfp::MfpAliasAnalyzer
• analysis::alias::mfp::intraproc::AliasDomain
• analysis::alias::mfp::intraproc::FnAliasAnalyzer
• analysis::alias::mfp::intraproc::PlaceInfo
• analysis::alias::observer::NoopAliasObserver
• analysis::api_dependency::ApiDependencyAnalyzer
• analysis::api_dependency::Config
• analysis::api_dependency::StatsWithCoverage
• analysis::api_dependency::VisitConfig
• analysis::api_dependency::graph::ApiDependencyGraph
• analysis::api_dependency::graph::Statistics
• analysis::api_dependency::graph::TyWrapper
• analysis::api_dependency::graph::dump::EdgeInfo
• analysis::api_dependency::graph::resolve::TypeCandidates
• analysis::api_dependency::graph::ty_wrapper::TyWrapper
• analysis::api_dependency::mono::Mono
• analysis::api_dependency::mono::MonoSet
• analysis::api_dependency::visit::Config
• analysis::api_dependency::visit::FnVisitor
• analysis::callgraph::FnCallDisplay
• analysis::callgraph::default::CallGraph
• analysis::callgraph::default::CallGraphAnalyzer
• analysis::callgraph::visitor::CallGraphVisitor
• analysis::dataflow::Arg2RetMapWrapper
• analysis::dataflow::default::DataflowAnalyzer
• analysis::dataflow::types::DataflowEdge
• analysis::dataflow::types::DataflowGraph
• analysis::dataflow::types::DataflowNode
• analysis::heap_ownership::HeapOwnershipResultMapWrapper
• analysis::heap_ownership::default::DefaultOwnership
• analysis::heap_ownership::default::Encoder
• analysis::heap_ownership::default::FindPtr
• analysis::heap_ownership::default::HeapOwnershipAnalyzer
• analysis::heap_ownership::default::HeapPropagation
• analysis::heap_ownership::default::IndexedTy
• analysis::heap_ownership::default::IsolatedParam
• analysis::heap_ownership::default::IsolatedParamFieldSubst
• analysis::heap_ownership::default::IsolatedParamPropagation
• analysis::heap_ownership::default::OwnershipLayoutResult
• analysis::heap_ownership::default::TyWithIndex
• analysis::path::PathMapWrapper
• analysis::path::PathNode
• analysis::path::PathTree
• analysis::path::PathTreeIter
• analysis::path::default::PathAnalyzer
• analysis::path::graph::BlockConstantInfo
• analysis::path::graph::ComparisonSource
• analysis::path::graph::ConstraintHash
• analysis::path::graph::DiscriminantInfo
• analysis::path::graph::InlineBinding
• analysis::path::graph::PathEnumerator
• analysis::path::graph::PathGraph
• analysis::path::graph::SccKey
• analysis::path::graph::SccPath
• analysis::points_to::graph::PtsGraph
• analysis::points_to::slot::Slot
• analysis::range::PathConstraintMapWrapper
• analysis::range::PathConstraintWrapper
• analysis::range::RAResultMapWrapper
• analysis::range::RAResultWrapper
• analysis::range::RAVecResultMapWrapper
• analysis::range::Range
• analysis::range::default::RangeAnalyzer
• analysis::range::domain::constraint_graph::ConstraintGraph
• analysis::range::domain::domain::AggregateOp
• analysis::range::domain::domain::BinaryOp
• analysis::range::domain::domain::CallOp
• analysis::range::domain::domain::ControlDep
• analysis::range::domain::domain::EssaOp
• analysis::range::domain::domain::PhiOp
• analysis::range::domain::domain::RefOp
• analysis::range::domain::domain::UnaryOp
• analysis::range::domain::domain::UseOp
• analysis::range::domain::domain::ValueBranchMap
• analysis::range::domain::domain::VarNode
• analysis::range::domain::symbolic_expr::BasicInterval
• analysis::range::domain::symbolic_expr::SymbInterval
• analysis::safety_flow::SafetyFlowAnalysis
• analysis::safety_flow::fn_collector::FnCollector
• analysis::safety_flow::hir_visitor::ContainsLit
• analysis::safety_flow::hir_visitor::ContainsUnsafe
• analysis::safety_flow::root::UnsafeRoot
• analysis::safety_flow::safetyflow_graph::SafetyFlowGraph
• analysis::safety_flow::safetyflow_unit::BasicUnitCounts
• analysis::safety_flow::safetyflow_unit::SafetyFlowUnit
• analysis::scan::ScanAnalysis
• analysis::scan::statistic::CrateSafetyInfo
• analysis::scan::statistic::Statistics
• analysis::scan::visitor::FnVisitor
• analysis::ssa_transform::PassRunner
• analysis::ssa_transform::SSATrans
• analysis::ssa_transform::replacer::Replacer
• analysis::ssa_transform::ssa_transformer::SSATransformer
• check::opt::LEVEL
• check::opt::NO_STD
• check::opt::Opt
• check::opt::checking::bounds_checking::BoundsCheck
• check::opt::checking::bounds_checking::bounds_extend::BoundsExtendCheck
• check::opt::checking::bounds_checking::bounds_extend::DefPaths
• check::opt::checking::bounds_checking::bounds_len::BoundsLenCheck
• check::opt::checking::bounds_checking::bounds_len::DefPaths
• check::opt::checking::bounds_checking::bounds_len::IfFinder
• check::opt::checking::bounds_checking::bounds_len::IndexFinder
• check::opt::checking::bounds_checking::bounds_len::LtFinder
• check::opt::checking::bounds_checking::bounds_loop_push::BoundsLoopPushCheck
• check::opt::checking::bounds_checking::bounds_loop_push::DefPaths
• check::opt::checking::encoding_checking::EncodingCheck
• check::opt::checking::encoding_checking::array_encoding::ArrayEncodingCheck
• check::opt::checking::encoding_checking::array_encoding::DefPaths
• check::opt::checking::encoding_checking::string_lowercase::DefPaths
• check::opt::checking::encoding_checking::string_lowercase::StringLowercaseCheck
• check::opt::checking::encoding_checking::string_push::DefPaths
• check::opt::checking::encoding_checking::string_push::StringPushCheck
• check::opt::checking::encoding_checking::vec_encoding::DefPaths
• check::opt::checking::encoding_checking::vec_encoding::VecEncodingCheck
• check::opt::data_collection::initialization::InitializationCheck
• check::opt::data_collection::initialization::local_set::DefPaths
• check::opt::data_collection::initialization::local_set::LocalSetCheck
• check::opt::data_collection::initialization::vec_init::DefPaths
• check::opt::data_collection::initialization::vec_init::VecInitCheck
• check::opt::data_collection::reallocation::ReservationCheck
• check::opt::data_collection::reallocation::flatten_collect::DefPaths
• check::opt::data_collection::reallocation::flatten_collect::FlattenCollectCheck
• check::opt::data_collection::reallocation::unreserved_hash::DefPaths
• check::opt::data_collection::reallocation::unreserved_hash::UnreservedHashCheck
• check::opt::data_collection::reallocation::unreserved_vec::DefPaths
• check::opt::data_collection::reallocation::unreserved_vec::UnreservedVecCheck
• check::opt::data_collection::suboptimal::SuboptimalCheck
• check::opt::data_collection::suboptimal::participant::DefPaths
• check::opt::data_collection::suboptimal::participant::ParticipantCheck
• check::opt::data_collection::suboptimal::slice_contains::DefPaths
• check::opt::data_collection::suboptimal::slice_contains::SliceContainsCheck
• check::opt::data_collection::suboptimal::vec_remove::DefPaths
• check::opt::data_collection::suboptimal::vec_remove::VecRemoveCheck
• check::opt::loop_visitors::LoopFinder
• check::opt::loop_visitors::MethodCallFinder
• check::opt::memory_cloning::used_as_immutable::DefPaths
• check::opt::memory_cloning::used_as_immutable::UsedAsImmutableCheck
• check::opt::report::OptReport
• check::rcanary::rCanary
• check::rcanary::ranalyzer::FlowAnalysis
• check::rcanary::ranalyzer::Graph
• check::rcanary::ranalyzer::IOPairForGraph
• check::rcanary::ranalyzer::IcxSliceFroBlock
• check::rcanary::ranalyzer::InOutPair
• check::rcanary::ranalyzer::IntraFlowAnalysis
• check::rcanary::ranalyzer::IntraFlowContext
• check::rcanary::ranalyzer::NodeOrder
• check::rcanary::ranalyzer::intra_visitor::ProjectionSupport
• check::rcanary::ranalyzer::ownership::Taint
• check::safedrop::SafeDrop
• check::safedrop::bug_records::BugRecords
• check::safedrop::bug_records::TyBug
• check::safedrop::drop::DropRecord
• check::safedrop::drop::LocalSpot
• check::safedrop::graph::SafeDropGraph
• check::safedrop::observer::SafeDropObserver
• cli::AdgArgs
• cli::CheckArgs
• cli::RapxArgs
• cli::VerifyArgs
• cli::analyze::AdgArgs
• cli::check::CheckArgs
• cli::verify::VerifyArgs
• compat::Spanned
• def_id::Intrinsics
• def_id::Methods
• def_id::Types
• graphs::cfg::CfgBlock
• graphs::cfg::ControlFlowGraph
• graphs::scc::SccExit
• graphs::scc::SccInfo
• helpers::def_path::DefPath
• helpers::def_use::DefUse
• helpers::def_use::PlaceKey
• helpers::def_use::RelevantPlaces
• helpers::fn_info::AdtInfo
• helpers::fn_info::FnInfo
• helpers::mir_scan::Checkpoint
• helpers::mir_scan::CheckpointLocation
• helpers::mir_scan::RawPtrDerefInfo
• helpers::mir_scan::StaticMutAccessInfo
• helpers::path::PathResolver
• helpers::show_mir::ShowMir
• verify::call_summary::CallContext
• verify::call_summary::CallDependencySummary
• verify::call_summary::CallEffectSummary
• verify::call_summary::builtin_models::EffCtx
• verify::call_summary::builtin_models::Entry
• verify::contract::attr::AttrProperty
• verify::contract::attr::RequireOuterAttribute
• verify::contract::compound::CompoundSpec
• verify::contract::compound::Subst
• verify::contract::json::JsonProperty
• verify::contract::json::TypeInvariantEntry
• verify::contract::pest_grammar::ContractParser
• verify::contract::spec::PropertySpec
• verify::contract::types::AndProperty
• verify::contract::types::AtomProperty
• verify::contract::types::ContractOrigin
• verify::contract::types::ContractPlace
• verify::contract::types::NumericPredicate
• verify::contract::types::OrProperty
• verify::driver::CheckpointCheckView
• verify::driver::VerifyDriver
• verify::driver::VerifyRun
• verify::engine::VerifyEngine
• verify::loop_sensitivity::ComparisonFact
• verify::loop_sensitivity::DataflowDistanceHint
• verify::loop_sensitivity::LocalDependencyIndex
• verify::loop_sensitivity::LoopComponent
• verify::loop_sensitivity::LoopLocalSummary
• verify::loop_sensitivity::LoopNumericSummary
• verify::loop_sensitivity::LoopSensitivityAnalyzer
• verify::loop_sensitivity::NumericRangeHint
• verify::loop_sensitivity::RepeatPlan
• verify::loop_sensitivity::SafetySink
• verify::loop_sensitivity::SwitchSuccessor
• verify::path_extractor::CallGroup
• verify::path_extractor::Path
• verify::path_extractor::PathExtractor
• verify::property_checker::PropertyChecker
• verify::report::PropertyCheckResult
• verify::report::VerificationReport
• verify::slicer::types::ProofGoal
• verify::slicer::visitor::BackwardSlicer
• verify::target::FunctionTarget
• verify::target::PrepareTargets
• verify::target::StructTarget
• verify::target::TraitEnsurance
• verify::target::VerifyTargetCollector
• verify::vm::SymbolicVm
• verify::vm::alias::VmOrigin
• verify::vm::alias_hazard::LocalCallsite
• verify::vm::alias_tree::AliasNode
• verify::vm::alias_tree::AliasTree
• verify::vm::state::AllocFacts
• verify::vm::state::AllocId
• verify::vm::state::Allocation
• verify::vm::state::Constraints
• verify::vm::state::ContentFacts
• verify::vm::state::ForEachFacts
• verify::vm::state::FrameState
• verify::vm::state::InlineCtx
• verify::vm::state::MemoryContent
• verify::vm::state::MemoryUnit
• verify::vm::state::PathFacts
• verify::vm::state::Provenance
• verify::vm::state::TermCaches
• verify::vm::state::ValueFacts
• verify::vm::state::VmState
• verify::vm::state::VmValue

Enums

• analysis::alias::default::types::ValueKind
• analysis::alias::mfp::intraproc::PlaceId
• analysis::api_dependency::graph::dep_edge::DepEdge
• analysis::api_dependency::graph::dep_node::DepNode
• analysis::api_dependency::graph::dump::NodeInfo
• analysis::api_dependency::graph::transform::TransformKind
• analysis::dataflow::types::AggKind
• analysis::dataflow::types::DFSStatus
• analysis::dataflow::types::Direction
• analysis::dataflow::types::EdgeOp
• analysis::dataflow::types::NodeOp
• analysis::heap_ownership::HeapOwnership
• analysis::points_to::graph::Start
• analysis::points_to::graph::Visit
• analysis::points_to::slot::AbstractLoc
• analysis::range::RangeType
• analysis::range::domain::domain::AggregateOperand
• analysis::range::domain::domain::BasicOpKind
• analysis::range::domain::symbolic_expr::BoundMode
• analysis::range::domain::symbolic_expr::IntervalType
• analysis::range::domain::symbolic_expr::SymbExpr
• analysis::safety_flow::TargetCrate
• analysis::safety_flow::root::UnsafeOpKind
• analysis::safety_flow::safetyflow_graph::SafetyFlowEdge
• analysis::safety_flow::safetyflow_graph::SafetyFlowNode
• check::rcanary::ranalyzer::Z3GoalDisplay
• check::rcanary::ranalyzer::intra_visitor::AsgnKind
• check::rcanary::ranalyzer::ownership::ContextTypeOwner
• check::rcanary::ranalyzer::ownership::IntraVar
• check::rcanary::ranalyzer::ownership::OwnerKind
• check::safedrop::bug_records::BugType
• cli::AliasStrategyKind
• cli::AnalysisKind
• cli::Commands
• cli::PostfixRepeat
• cli::VerifyMode
• cli::analyze::AliasStrategyKind
• cli::analyze::AnalysisKind
• cli::verify::PostfixRepeat
• cli::verify::VerifyMode
• helpers::def_use::PlaceBaseKey
• helpers::fn_info::FnKind
• helpers::mir_scan::CheckpointKind
• helpers::mir_utils::RangeKind
• verify::call_summary::CallEffect
• verify::call_summary::builtin_models::PtrDirection
• verify::call_summary::builtin_models::PtrGranularity
• verify::call_summary::interprocedural::TupleFieldLen
• verify::call_summary::interprocedural::WrapperEffectMemo
• verify::contract::compound::CompoundArg
• verify::contract::compound::CompoundBody
• verify::contract::json::AnyItem
• verify::contract::pest_grammar::Rule
• verify::contract::spec::ArgKind
• verify::contract::spec::BuildKind
• verify::contract::types::ContractExpr
• verify::contract::types::ContractKind
• verify::contract::types::ContractProjection
• verify::contract::types::NumericBinOp
• verify::contract::types::NumericUnaryOp
• verify::contract::types::PlaceBase
• verify::contract::types::Property
• verify::contract::types::PropertyArg
• verify::contract::types::PropertyKind
• verify::contract::types::RelOp
• verify::loop_sensitivity::NumericTerm
• verify::loop_sensitivity::RepeatStrategy
• verify::path_extractor::PathStep
• verify::property_checker::auto_trait::Contains
• verify::report::CheckResult
• verify::report::UnknownReason
• verify::slicer::types::RelevantItem
• verify::target::MarkerTraitKind
• verify::target::TraitEnsuranceKind
• verify::vm::alias::VmAliasResult
• verify::vm::alias::VmOriginKind
• verify::vm::alias_hazard::AliasProducer
• verify::vm::alias_hazard::HazardCheck
• verify::vm::alias_hazard::HazardKind
• verify::vm::alias_hazard::RawAccessKind
• verify::vm::state::AllocKind
• verify::vm::state::ElementTy
• verify::vm::state::OffsetKind
• verify::vm::state::ValueSource

Traits

• analysis::Analysis
• analysis::alias::AliasAnalysis
• analysis::alias::observer::AliasObserver
• analysis::callgraph::CallGraphAnalysis
• analysis::dataflow::DataflowAnalysis
• analysis::heap_ownership::HeapOwnershipAnalysis
• analysis::range::RangeAnalysis
• analysis::range::domain::domain::ConstConvert
• analysis::range::domain::domain::IntervalArithmetic
• analysis::range::domain::range::Lattice
• analysis::range::domain::symbolic_expr::IntervalTypeTrait
• check::opt::OptCheck
• check::rcanary::IcxMut
• check::rcanary::IcxSliceMut
• check::rcanary::Rcx
• check::rcanary::RcxMut
• check::rcanary::Tcx
• graphs::scc::Scc
• helpers::show_mir::MirDisplay

Macros

• analysis::range::domain::domain::basic_op_match
• analysis::range::domain::domain::impl_const_convert
• analysis::range::domain::domain::impl_interval_arith
• def_id::intrinsics
• def_paths
• rap_debug
• rap_error
• rap_info
• rap_trace
• rap_warn
• verify::call_summary::builtin_models::ED

Functions

• analysis::alias::aa_place_desc_str
• analysis::alias::adt_from_ty
• analysis::alias::default::alias::ensure_fn_aliases_cached
• analysis::alias::default::alias::is_no_alias_intrinsic
• analysis::alias::default::types::is_not_drop
• analysis::alias::default::types::kind
• analysis::alias::mfp::interproc::alias_specificity
• analysis::alias::mfp::interproc::extract_field_path
• analysis::alias::mfp::interproc::extract_fields
• analysis::alias::mfp::interproc::extract_summary
• analysis::alias::mfp::interproc::filter_redundant_aliases
• analysis::alias::mfp::interproc::is_field_prefix
• analysis::alias::mfp::interproc::is_strict_prefix
• analysis::alias::mfp::intraproc::apply_conservative_alias_for_call
• analysis::alias::mfp::intraproc::apply_function_summary
• analysis::alias::mfp::intraproc::apply_statement_effect
• analysis::alias::mfp::intraproc::apply_terminator_effect
• analysis::alias::mfp::transfer::mir_place_to_place_id
• analysis::alias::mfp::transfer::operand_to_place_id
• analysis::alias::mfp::transfer::sync_fields
• analysis::alias::mfp::transfer::sync_fields_recursive
• analysis::alias::mfp::transfer::transfer_aggregate
• analysis::alias::mfp::transfer::transfer_assign
• analysis::alias::mfp::transfer::transfer_call
• analysis::alias::mfp::transfer::transfer_ref
• analysis::alias::resolve_any_field_origin
• analysis::alias::resolve_field_origin_inner
• analysis::alias::resolve_self_field_origin
• analysis::api_dependency::fuzzable::has_non_exhaustive_attr
• analysis::api_dependency::fuzzable::is_fuzzable_std_ty
• analysis::api_dependency::fuzzable::is_fuzzable_ty
• analysis::api_dependency::fuzzable::is_non_fuzzable_std_ty
• analysis::api_dependency::fuzzable::ty_contains_region
• analysis::api_dependency::graph::resolve::add_return_type_if_reachable
• analysis::api_dependency::graph::resolve::partion_generic_api
• analysis::api_dependency::graph::resolve::select_minimal_set_cover
• analysis::api_dependency::graph::std_tys::std_string
• analysis::api_dependency::graph::std_tys::std_vec
• analysis::api_dependency::graph::ty_wrapper::desc_ty_str
• analysis::api_dependency::graph::ty_wrapper::eq_ty
• analysis::api_dependency::graph::ty_wrapper::hash_ty
• analysis::api_dependency::graph::ty_wrapper::traverse_ty_with_lifetime
• analysis::api_dependency::is_def_id_public
• analysis::api_dependency::is_fuzzable_ty
• analysis::api_dependency::mono::get_impls
• analysis::api_dependency::mono::get_mono_complexity
• analysis::api_dependency::mono::get_mono_set
• analysis::api_dependency::mono::get_unbound_generic_candidates
• analysis::api_dependency::mono::is_args_fit_trait_bound
• analysis::api_dependency::mono::is_fn_solvable
• analysis::api_dependency::mono::resolve_mono_apis
• analysis::api_dependency::mono::resolve_var
• analysis::api_dependency::mono::solve_unbound_type_generics
• analysis::api_dependency::mono::unify_trait
• analysis::api_dependency::mono::unify_ty
• analysis::api_dependency::utils::fn_requires_monomorphization
• analysis::api_dependency::utils::fn_sig_with_generic_args
• analysis::api_dependency::utils::is_def_id_public
• analysis::api_dependency::utils::is_fuzzable_api
• analysis::api_dependency::utils::is_fuzzable_ty
• analysis::api_dependency::utils::is_ty_eq
• analysis::api_dependency::utils::is_ty_unstable
• analysis::api_dependency::utils::ty_complexity
• analysis::api_dependency::visit::has_const_generics
• analysis::api_dependency::visit::is_drop_impl
• analysis::dataflow::debug::escaped_string
• analysis::dataflow::graph::build_dataflow_graph
• analysis::dataflow::graph::build_dataflow_graph_from_body
• analysis::heap_ownership::default::copy_ty_context
• analysis::heap_ownership::default::is_display_verbose
• analysis::path::format_path_annotated
• analysis::path::graph::build_function_info
• analysis::path::graph::check_postfix_segment
• analysis::path::graph::decode_aggregate_field
• analysis::path::graph::encode_aggregate_field
• analysis::path::graph::extract_segment
• analysis::path::graph::first_field_projection
• analysis::path::graph::resolve_switch_target
• analysis::points_to::builder::from_body
• analysis::points_to::builder::register_field_slots
• analysis::safety_flow::chain::dfs_find_unsafe_chains
• analysis::safety_flow::chain::extract_unsafe_callee
• analysis::safety_flow::chain::find_unsafe_callees_in_function
• analysis::safety_flow::chain::get_all_std_unsafe_chains
• analysis::safety_flow::chain::print_unsafe_chains
• analysis::safety_flow::chain::try_get_mir
• analysis::safety_flow::hir_visitor::create_adt_impl_map
• analysis::safety_flow::root::function_has_struct_invariant
• analysis::safety_flow::root::function_has_trait_ensurance
• analysis::safety_flow::root::has_struct_invariant
• analysis::safety_flow::root::hir_contains_unsafe
• analysis::safety_flow::root::scan_mir
• analysis::safety_flow::safetyflow_graph::def_ids_to_label
• analysis::safety_flow::safetyflow_graph::shape_for_fn_kind
• analysis::scan::visitor::is_api_public
• analysis::ssa_transform::lvalue_check
• analysis::ssa_transform::mir_to_dot
• analysis::ssa_transform::print_diff
• analysis::ssa_transform::print_mir_graph
• check::opt::check_utils::node_matches_any_call
• check::opt::check_utils::node_matches_call
• check::opt::checking::bounds_checking::bounds_extend::report_extend_bug
• check::opt::checking::bounds_checking::bounds_len::extract_upperbound_node_if_ops_range
• check::opt::checking::bounds_checking::bounds_len::find_downside_index_node
• check::opt::checking::bounds_checking::bounds_len::find_indexed_node_from_index
• check::opt::checking::bounds_checking::bounds_len::find_upside_len_node
• check::opt::checking::bounds_checking::bounds_len::report_upperbound_bug
• check::opt::checking::bounds_checking::bounds_loop_push::report_loop_push_bug
• check::opt::checking::encoding_checking::array_encoding::extract_ancestor_set_if_is_str_from
• check::opt::checking::encoding_checking::array_encoding::is_valid_index_edge
• check::opt::checking::encoding_checking::report_encoding_bug
• check::opt::checking::encoding_checking::string_lowercase::report_string_ascii_bug
• check::opt::checking::encoding_checking::string_push::extract_value_if_is_string_push
• check::opt::checking::encoding_checking::string_push::find_upside_string_new
• check::opt::checking::encoding_checking::string_push::report_string_push_bug
• check::opt::checking::encoding_checking::value_is_from_const
• check::opt::checking::encoding_checking::vec_encoding::extract_vec_if_is_string_from
• check::opt::checking::encoding_checking::vec_encoding::find_downside_push_node
• check::opt::checking::encoding_checking::vec_encoding::find_upside_vec_new_node
• check::opt::data_collection::initialization::local_set::report_local_set
• check::opt::data_collection::initialization::vec_init::report_vec_init
• check::opt::data_collection::reallocation::flatten_collect::report_flatten_collect
• check::opt::data_collection::reallocation::unreserved_hash::find_downside_hash_insert_node
• check::opt::data_collection::reallocation::unreserved_hash::report_unreserved_hash_bug
• check::opt::data_collection::reallocation::unreserved_vec::find_upside_reservation
• check::opt::data_collection::reallocation::unreserved_vec::report_unreserved_vec_bug
• check::opt::data_collection::suboptimal::participant::report_participant
• check::opt::data_collection::suboptimal::slice_contains::report_slice_contains_bug
• check::opt::data_collection::suboptimal::vec_remove::is_0_usize
• check::opt::data_collection::suboptimal::vec_remove::report_vec_remove_bug
• check::opt::memory_cloning::used_as_immutable::find_downside_use_as_param
• check::opt::memory_cloning::used_as_immutable::report_used_as_immutable
• check::rcanary::ranalyzer::intra_visitor::has_projection
• check::rcanary::ranalyzer::intra_visitor::heap_layout_to_rustbv
• check::rcanary::ranalyzer::intra_visitor::help_debug_goal_stmt
• check::rcanary::ranalyzer::intra_visitor::help_debug_goal_term
• check::rcanary::ranalyzer::intra_visitor::is_place_containing_ptr
• check::rcanary::ranalyzer::intra_visitor::new_local_name
• check::rcanary::ranalyzer::intra_visitor::reverse_heap_layout_to_rustbv
• check::rcanary::ranalyzer::intra_visitor::rustbv_merge
• check::rcanary::ranalyzer::intra_visitor::rustbv_to_int
• check::rcanary::ranalyzer::is_z3_goal_verbose
• check::safedrop::bug_records::df_uaf_detail
• check::safedrop::bug_records::dp_detail
• check::safedrop::checks::check_drop_status
• check::safedrop::checks::clear_drop_info
• check::safedrop::checks::clear_father_drop
• check::safedrop::checks::clear_field_drop
• check::safedrop::checks::fetch_drop_from_alias
• check::safedrop::checks::fetch_drop_from_bottom
• check::safedrop::checks::fetch_drop_from_pointee
• check::safedrop::checks::fetch_drop_from_pts_fields
• check::safedrop::checks::fetch_drop_from_top
• check::safedrop::checks::fetch_drop_info
• check::safedrop::checks::get_alias_set
• check::safedrop::checks::make_bug
• check::safedrop::checks::push_drop_bottom_up
• check::safedrop::checks::push_drop_info
• check::safedrop::checks::push_drop_through_move
• check::safedrop::checks::push_drop_top_down
• check::safedrop::checks::rate_confidence
• check::safedrop::checks::sync_drop_record
• check::safedrop::checks::uaf_check
• check::safedrop::corner_case::should_check
• check::safedrop::query_safedrop
• compat::args_get
• compat::attribute_to_string
• compat::get_all_attrs
• compat::predicates_of
• def_id::abs_fns
• def_id::align_to_local_fns
• def_id::arc_as_ptr
• def_id::arc_from_raw
• def_id::arc_from_raw_in
• def_id::arc_into_raw
• def_id::ascii_char_types
• def_id::assume_init_read
• def_id::bit_preserving_nz_fns
• def_id::box_alloc_ctors
• def_id::box_as_mut_ptr
• def_id::box_as_ptr
• def_id::box_assume_init_into_vec_unsafe
• def_id::box_from_raw
• def_id::box_from_raw_in
• def_id::box_into_raw
• def_id::box_types
• def_id::call_mut
• def_id::capacity_fns
• def_id::checked_add_fns
• def_id::checked_mul_fns
• def_id::checked_next_pow2_fns
• def_id::checked_nonzero_iff_fns
• def_id::clamp_fns
• def_id::clone
• def_id::const_ptr_add
• def_id::const_ptr_addr
• def_id::const_ptr_align_offset
• def_id::const_ptr_byte_add
• def_id::const_ptr_byte_offset
• def_id::const_ptr_byte_sub
• def_id::const_ptr_cast
• def_id::const_ptr_cast_array
• def_id::const_ptr_cast_mut
• def_id::const_ptr_is_null
• def_id::const_ptr_offset
• def_id::const_ptr_slice_as_ptr
• def_id::const_ptr_slice_is_empty
• def_id::const_ptr_slice_len
• def_id::const_ptr_sub
• def_id::const_ptr_wrapping_add
• def_id::const_ptr_wrapping_byte_add
• def_id::const_ptr_wrapping_byte_offset
• def_id::const_ptr_wrapping_byte_sub
• def_id::const_ptr_wrapping_offset
• def_id::const_ptr_wrapping_sub
• def_id::contains
• def_id::copy_from
• def_id::copy_from_nonoverlapping
• def_id::copy_to
• def_id::copy_to_nonoverlapping
• def_id::cstr_as_ptr
• def_id::cstr_from_bytes_with_nul_unchecked
• def_id::cstr_from_ptr
• def_id::cstr_is_empty
• def_id::cstring_from_raw
• def_id::cstring_from_vec_with_nul_unchecked
• def_id::cstring_into_raw
• def_id::cstring_types
• def_id::dealloc
• def_id::drop
• def_id::drop_in_place
• def_id::exchange_malloc
• def_id::from_raw_parts_fns
• def_id::from_raw_parts_mut_fns
• def_id::hint_select_unpredictable
• def_id::init
• def_id::init_inner
• def_id::init_methods
• def_id::init_types
• def_id::intrinsics_align_of
• def_id::intrinsics_copy
• def_id::intrinsics_copy_nonoverlapping
• def_id::intrinsics_size_of
• def_id::is_drop_fn
• def_id::is_sync_primitive_short_name
• def_id::iter_position_fns
• def_id::iter_types
• def_id::layout_align_fns
• def_id::len_fns
• def_id::manually_drop
• def_id::max_fns
• def_id::maybe_uninit_as_mut_ptr
• def_id::maybe_uninit_as_ptr
• def_id::maybe_uninit_assume_init
• def_id::maybe_uninit_assume_init_mut
• def_id::maybe_uninit_assume_init_ref
• def_id::maybe_uninit_types
• def_id::maybe_uninit_uninit
• def_id::maybe_uninit_write
• def_id::mem_align_of
• def_id::mem_size_of
• def_id::min_like_fns
• def_id::mut_ptr_add
• def_id::mut_ptr_addr
• def_id::mut_ptr_align_offset
• def_id::mut_ptr_byte_add
• def_id::mut_ptr_byte_offset
• def_id::mut_ptr_byte_sub
• def_id::mut_ptr_cast
• def_id::mut_ptr_cast_array
• def_id::mut_ptr_cast_const
• def_id::mut_ptr_is_null
• def_id::mut_ptr_offset
• def_id::mut_ptr_slice_as_mut_ptr
• def_id::mut_ptr_slice_is_empty
• def_id::mut_ptr_slice_len
• def_id::mut_ptr_sub
• def_id::mut_ptr_wrapping_add
• def_id::mut_ptr_wrapping_byte_add
• def_id::mut_ptr_wrapping_byte_offset
• def_id::mut_ptr_wrapping_byte_sub
• def_id::mut_ptr_wrapping_offset
• def_id::mut_ptr_wrapping_sub
• def_id::neg_fns
• def_id::negative_type_defs
• def_id::negative_type_name
• def_id::nonnull_add
• def_id::nonnull_addr
• def_id::nonnull_align_offset
• def_id::nonnull_as_mut
• def_id::nonnull_as_ptr
• def_id::nonnull_as_ref
• def_id::nonnull_byte_add
• def_id::nonnull_byte_offset
• def_id::nonnull_byte_sub
• def_id::nonnull_cast
• def_id::nonnull_new
• def_id::nonnull_new_unchecked
• def_id::nonnull_offset
• def_id::nonnull_slice_as_mut_ptr
• def_id::nonnull_slice_is_empty
• def_id::nonnull_slice_len
• def_id::nonnull_sub
• def_id::nonnull_types
• def_id::option_expect
• def_id::option_unwrap
• def_id::option_unwrap_unchecked
• def_id::ordering_types
• def_id::overflowing_nz_fns
• def_id::ptr_align_offset
• def_id::ptr_read
• def_id::ptr_read_unaligned
• def_id::ptr_read_volatile
• def_id::ptr_write
• def_id::ptr_write_bytes
• def_id::ptr_write_unaligned
• def_id::ptr_write_volatile
• def_id::rc_as_ptr
• def_id::rc_from_raw
• def_id::rc_from_raw_in
• def_id::rc_into_raw
• def_id::rc_types
• def_id::replace
• def_id::result_expect
• def_id::result_expect_err
• def_id::result_unwrap
• def_id::result_unwrap_err
• def_id::result_unwrap_unchecked
• def_id::sat_unchecked_add_fns
• def_id::sat_unchecked_mul_fns
• def_id::select_unpredictable
• def_id::slice_as_mut_ptr
• def_id::slice_as_ptr
• def_id::slice_get_unchecked_fns
• def_id::slice_into_vec
• def_id::slice_is_empty
• def_id::slice_len
• def_id::slice_range_fns
• def_id::slice_to_vec
• def_id::sliceindex_get_unchecked_fns
• def_id::split_at_fns
• def_id::str_as_bytes
• def_id::str_as_mut_ptr
• def_id::str_as_ptr
• def_id::str_is_empty
• def_id::str_len
• def_id::string_is_empty
• def_id::string_len
• def_id::strlen_fns
• def_id::sync_primitive_types
• def_id::take
• def_id::to_internal
• def_id::vec_as_mut_ptr
• def_id::vec_as_ptr
• def_id::vec_clear
• def_id::vec_from_elem
• def_id::vec_insert
• def_id::vec_into_boxed_slice
• def_id::vec_is_empty
• def_id::vec_len
• def_id::vec_ownership_transfer_fns
• def_id::vec_push
• def_id::vec_remove
• def_id::vec_reserve
• def_id::vec_reserve_exact
• def_id::vec_set_len
• def_id::vec_shrink_to
• def_id::vec_shrink_to_fit
• def_id::vec_truncate
• def_id::vec_types
• def_id::with_capacity_fns
• graphs::cfg::record_member_nodes
• graphs::cfg::record_root_exits
• graphs::cfg::rerun_scc_in_isolation
• graphs::cfg::scc_handler
• help::styled_cargo_rapx_usage
• help::styled_rapx_usage
• help::styled_str
• helpers::def_path::def_path_def_ids
• helpers::def_path::def_path_last_def_id
• helpers::def_path::def_path_res
• helpers::def_path::def_path_res_with_base
• helpers::def_path::find_crates
• helpers::def_path::find_primitive_impls
• helpers::def_path::item_children_by_name
• helpers::def_path::local_item_children_by_name
• helpers::def_path::non_local_item_children_by_name
• helpers::def_path::path_str_def_id
• helpers::def_use::call_args_uses_at
• helpers::def_use::operand_uses
• helpers::def_use::place_projection_uses
• helpers::def_use::place_uses
• helpers::def_use::rvalue_operands
• helpers::def_use::terminator_use_def
• helpers::def_use::trace_place_origin
• helpers::draw_dot::render_dot_file
• helpers::draw_dot::render_dot_graphs
• helpers::draw_dot::render_dot_string
• helpers::fn_info::append_fn_with_types
• helpers::fn_info::assoc_fns_of_self
• helpers::fn_info::check_visibility
• helpers::fn_info::get_adt_def_id_by_adt_method
• helpers::fn_info::get_adt_via_method
• helpers::fn_info::get_all_mutable_methods
• helpers::fn_info::get_all_std_fns_by_rustc_public
• helpers::fn_info::get_cons
• helpers::fn_info::get_mutated_fields
• helpers::fn_info::get_muts
• helpers::fn_info::get_ptr_deref_dummy_def_id
• helpers::fn_info::get_type
• helpers::fn_info::is_externally_reachable
• helpers::fn_info::is_mut_self_method
• helpers::fn_info::is_self_ty
• helpers::fn_info::parse_expr_into_number
• helpers::fn_info::public_field_indices
• helpers::fn_info::returns_wrapped_self
• helpers::fn_info::self_adt_def
• helpers::mir_scan::box_deref_transmute_locals
• helpers::mir_scan::check_safety
• helpers::mir_scan::collect_global_local_pairs
• helpers::mir_scan::collect_raw_ptr_deref_info
• helpers::mir_scan::collect_static_mut_access_info
• helpers::mir_scan::collect_unsafe_callsites
• helpers::mir_scan::get_rawptr_deref
• helpers::mir_scan::get_unsafe_callees
• helpers::mir_scan::has_atomic_call
• helpers::mir_scan::has_raw_ptr_write
• helpers::mir_scan::is_box_deref_cast
• helpers::mir_scan::place_has_raw_deref
• helpers::mir_scan::ptr_operand_for_deref_place
• helpers::mir_utils::aggregate_op_is_nonzero
• helpers::mir_utils::alloc_id_bytes
• helpers::mir_utils::arg_of_local
• helpers::mir_utils::blocks_reachable_after_call
• helpers::mir_utils::call_destination
• helpers::mir_utils::call_name
• helpers::mir_utils::callee_param_index_for_local
• helpers::mir_utils::catch_panic
• helpers::mir_utils::collect_aggregate_const_bytes
• helpers::mir_utils::collect_all_const_bytes_worklist
• helpers::mir_utils::collect_as_ptr_const_bytes
• helpers::mir_utils::collect_return_block_indices
• helpers::mir_utils::const_bytes_for_local
• helpers::mir_utils::const_bytes_from_call_dest
• helpers::mir_utils::const_int_from_debug
• helpers::mir_utils::const_operand_bytes
• helpers::mir_utils::const_value_bytes
• helpers::mir_utils::dep_callee_def_id
• helpers::mir_utils::dep_callee_resolved_def_id
• helpers::mir_utils::destination_stride
• helpers::mir_utils::eval_array_len
• helpers::mir_utils::eval_const_scalar_int
• helpers::mir_utils::extract_local
• helpers::mir_utils::field_offset_in_bytes
• helpers::mir_utils::field_ty
• helpers::mir_utils::fn_always_returns_nonzero
• helpers::mir_utils::fn_def_first_type_arg
• helpers::mir_utils::follow_parents
• helpers::mir_utils::generic_param_impl_layouts
• helpers::mir_utils::has_crate
• helpers::mir_utils::has_rapx_attr
• helpers::mir_utils::has_rapx_verify_attr
• helpers::mir_utils::is_as_ptr_or_as_method
• helpers::mir_utils::is_const_def_kind
• helpers::mir_utils::is_constant_zero
• helpers::mir_utils::is_diverging_call
• helpers::mir_utils::is_drop_in_place
• helpers::mir_utils::is_eq_call
• helpers::mir_utils::is_index_method
• helpers::mir_utils::is_iter_ptr_adj
• helpers::mir_utils::is_post_inc_start
• helpers::mir_utils::is_pre_dec_end
• helpers::mir_utils::is_range_type
• helpers::mir_utils::is_raw_ptr_wrapper
• helpers::mir_utils::is_return_block
• helpers::mir_utils::is_std_crate_def_id
• helpers::mir_utils::is_trait_unsafe
• helpers::mir_utils::is_u8_array_or_slice
• helpers::mir_utils::layout_of_ty
• helpers::mir_utils::max_align_of_generic_param
• helpers::mir_utils::min_align_of_generic_param
• helpers::mir_utils::offset_of_container
• helpers::mir_utils::offset_of_ty_from_func
• helpers::mir_utils::operand_const_u64
• helpers::mir_utils::operand_mir_place
• helpers::mir_utils::operand_place
• helpers::mir_utils::operand_scalar_int
• helpers::mir_utils::pointee_alignment
• helpers::mir_utils::pointee_ty
• helpers::mir_utils::range_kind
• helpers::mir_utils::resolve_callee_impl
• helpers::mir_utils::resolve_const_item_value
• helpers::mir_utils::resolve_impl_self_ty_def_id
• helpers::mir_utils::resolve_through_casts
• helpers::mir_utils::rvalue_any_place_matching
• helpers::mir_utils::rvalue_const_bytes
• helpers::mir_utils::rvalue_is_nonzero
• helpers::mir_utils::rvalue_runtime_checks_value
• helpers::mir_utils::rvalue_source_place
• helpers::mir_utils::size_of_generic_param
• helpers::mir_utils::switch_is_debug_assert
• helpers::mir_utils::switch_targets_unreachable
• helpers::mir_utils::trace_const_bytes_from_operand
• helpers::mir_utils::ty_has_param_const
• helpers::mir_utils::ty_has_type_param
• helpers::mir_utils::type_contains_raw_ptr
• helpers::mir_utils::type_contains_reference
• helpers::mir_utils::type_layout
• helpers::name::access_ident_recursive
• helpers::name::extract_pat_ident
• helpers::name::find_declared_generic_param
• helpers::name::find_generic_in_ty
• helpers::name::find_generic_param
• helpers::name::get_cleaned_def_path_name
• helpers::name::get_known_std_names
• helpers::name::get_std_api_signature_json
• helpers::name::get_struct_name
• helpers::name::get_struct_self_ty
• helpers::name::match_primitive_type
• helpers::name::match_std_type
• helpers::name::match_ty_with_ident
• helpers::name::parse_local_signature
• helpers::name::parse_outside_signature
• helpers::name::parse_signature
• helpers::name::parse_trait_fn_sig
• helpers::name::public_def_path
• helpers::name::public_ty_path
• helpers::name::resolve_field_name
• helpers::name::short_fn_name
• helpers::path::get_path_resolver
• helpers::path::join_path_with_double_colon
• helpers::show_mir::display_mir
• helpers::show_mir::generate_mir_cfg_dot
• limit::path_limit
• limit::set_path_limit
• preprocess::doc_attr
• preprocess::dummy_fns::create_dummy_fns
• preprocess::dummy_fns::make_dummy_block
• preprocess::dummy_fns::make_dummy_fn
• preprocess::dummy_fns::make_dummy_fn_sig
• preprocess::set_attrs
• preprocess::ssa_preprocess::create_ssa_struct
• preprocess::ssa_preprocess::create_struct
• preprocess::stability_attr
• start_analyzer
• utils::fs::rap_create_file
• utils::log::init_log
• utils::log::parse_rapx_log
• utils::log::rap_error_and_exit
• utils::source::get_adt_name
• utils::source::get_filename
• utils::source::get_fn_name
• utils::source::get_fn_name_byid
• utils::source::get_module_name
• utils::source::get_name
• utils::source::strip_generic_args
• utils::span::are_spans_in_same_file
• utils::span::get_basic_block_span
• utils::span::get_variable_name
• utils::span::relative_pos_range
• utils::span::span_to_filename
• utils::span::span_to_first_line
• utils::span::span_to_line_number
• utils::span::span_to_source_code
• utils::span::span_to_trimmed_span
• verify::api_classify::any_fn
• verify::api_classify::any_of
• verify::api_classify::is_abs
• verify::api_classify::is_align_offset
• verify::api_classify::is_align_to_local
• verify::api_classify::is_as_ptr
• verify::api_classify::is_as_ptr_valid
• verify::api_classify::is_benign_origin_use
• verify::api_classify::is_bit_preserving_nz
• verify::api_classify::is_box_alloc_ctor
• verify::api_classify::is_byte_ptr_add
• verify::api_classify::is_byte_ptr_arith
• verify::api_classify::is_byte_ptr_sub
• verify::api_classify::is_capacity
• verify::api_classify::is_checked_add
• verify::api_classify::is_checked_mul
• verify::api_classify::is_checked_next_pow2
• verify::api_classify::is_checked_nonzero_iff
• verify::api_classify::is_clamp
• verify::api_classify::is_container_as_ptr
• verify::api_classify::is_cstr_from_ptr
• verify::api_classify::is_cstr_unchecked_constructor
• verify::api_classify::is_drop_in_place
• verify::api_classify::is_element_ptr_add
• verify::api_classify::is_element_ptr_sub
• verify::api_classify::is_exchange_malloc
• verify::api_classify::is_from_raw_parts
• verify::api_classify::is_from_raw_parts_mut
• verify::api_classify::is_into_boxed_slice
• verify::api_classify::is_iter_position
• verify::api_classify::is_layout_align
• verify::api_classify::is_layout_constant
• verify::api_classify::is_len
• verify::api_classify::is_manually_drop_drop
• verify::api_classify::is_max
• verify::api_classify::is_maybe_uninit_assume_init
• verify::api_classify::is_maybe_uninit_ty
• verify::api_classify::is_maybe_uninit_type
• verify::api_classify::is_maybe_uninit_uninit
• verify::api_classify::is_maybe_uninit_write
• verify::api_classify::is_mem_copy_or_write
• verify::api_classify::is_mem_replace
• verify::api_classify::is_min_like
• verify::api_classify::is_neg
• verify::api_classify::is_nonnull_as_mut
• verify::api_classify::is_nonnull_as_ref_as_mut
• verify::api_classify::is_nonnull_checked_new
• verify::api_classify::is_nonnull_new_unchecked
• verify::api_classify::is_overflowing_abs_neg
• verify::api_classify::is_ownership_reconstruction
• verify::api_classify::is_ownership_return
• verify::api_classify::is_ownership_transfer
• verify::api_classify::is_pointer_add
• verify::api_classify::is_pointer_sub
• verify::api_classify::is_ptr_read
• verify::api_classify::is_ptr_write
• verify::api_classify::is_raw_ptr_cast
• verify::api_classify::is_sat_unchecked_add
• verify::api_classify::is_sat_unchecked_mul
• verify::api_classify::is_select_unpredictable
• verify::api_classify::is_slice_get_unchecked
• verify::api_classify::is_slice_range
• verify::api_classify::is_slice_to_vec
• verify::api_classify::is_sliceindex_get_unchecked
• verify::api_classify::is_split_at
• verify::api_classify::is_std_box
• verify::api_classify::is_std_cstring
• verify::api_classify::is_std_drop
• verify::api_classify::is_std_iter_or_itermut
• verify::api_classify::is_std_nonnull
• verify::api_classify::is_std_ordering
• verify::api_classify::is_std_vec
• verify::api_classify::is_str_as_bytes
• verify::api_classify::is_strlen
• verify::api_classify::is_unwrap
• verify::api_classify::is_vec_alloc_constructor
• verify::api_classify::is_vec_from_box
• verify::api_classify::is_vec_invalidating_method
• verify::api_classify::is_vec_ownership_transfer
• verify::api_classify::is_vec_push_or_reserve
• verify::api_classify::is_vec_with_capacity
• verify::call_summary::builtin_models::dest_is_pointer
• verify::call_summary::builtin_models::eff_alias_arg0
• verify::call_summary::builtin_models::eff_alias_ptr
• verify::call_summary::builtin_models::eff_align_offset
• verify::call_summary::builtin_models::eff_align_to
• verify::call_summary::builtin_models::eff_box_alloc
• verify::call_summary::builtin_models::eff_box_from_vec
• verify::call_summary::builtin_models::eff_cmp_min
• verify::call_summary::builtin_models::eff_drop_memory
• verify::call_summary::builtin_models::eff_exchange_malloc
• verify::call_summary::builtin_models::eff_from_raw_parts
• verify::call_summary::builtin_models::eff_layout_align
• verify::call_summary::builtin_models::eff_layout_const
• verify::call_summary::builtin_models::eff_len
• verify::call_summary::builtin_models::eff_mem_replace
• verify::call_summary::builtin_models::eff_new_allocation
• verify::call_summary::builtin_models::eff_new_allocation_from_cap
• verify::call_summary::builtin_models::eff_new_unchecked
• verify::call_summary::builtin_models::eff_none
• verify::call_summary::builtin_models::eff_option_scan_index
• verify::call_summary::builtin_models::eff_overflowing_nz
• verify::call_summary::builtin_models::eff_ownership_recon
• verify::call_summary::builtin_models::eff_ptr_add
• verify::call_summary::builtin_models::eff_ptr_add_byte
• verify::call_summary::builtin_models::eff_ptr_arith
• verify::call_summary::builtin_models::eff_ptr_sub
• verify::call_summary::builtin_models::eff_ptr_sub_byte
• verify::call_summary::builtin_models::eff_return_abs
• verify::call_summary::builtin_models::eff_return_add
• verify::call_summary::builtin_models::eff_return_clamp
• verify::call_summary::builtin_models::eff_return_max
• verify::call_summary::builtin_models::eff_return_mul
• verify::call_summary::builtin_models::eff_return_neg
• verify::call_summary::builtin_models::eff_return_nonzero_iff
• verify::call_summary::builtin_models::eff_return_option_some_add
• verify::call_summary::builtin_models::eff_return_option_some_mul
• verify::call_summary::builtin_models::eff_return_option_some_nonzero
• verify::call_summary::builtin_models::eff_return_option_some_nonzero_iff
• verify::call_summary::builtin_models::eff_scan_length
• verify::call_summary::builtin_models::eff_select_unpredictable
• verify::call_summary::builtin_models::eff_slice_range
• verify::call_summary::builtin_models::eff_sliceindex_get_unchecked
• verify::call_summary::builtin_models::eff_split_at
• verify::call_summary::builtin_models::eff_vec_from_box
• verify::call_summary::builtin_models::eff_write_mem
• verify::call_summary::builtin_models::is_modeled
• verify::call_summary::builtin_models::layout_call_ty
• verify::call_summary::builtin_models::layout_constant_effect
• verify::call_summary::builtin_models::lookup_effect
• verify::call_summary::dependency_summary
• verify::call_summary::effect_summary
• verify::call_summary::from_raw_parts_elem_size
• verify::call_summary::from_raw_parts_elem_ty
• verify::call_summary::interprocedural::block_dominates
• verify::call_summary::interprocedural::body_reads_slice_len
• verify::call_summary::interprocedural::call_result_reaches_return
• verify::call_summary::interprocedural::callee_calls_other_local
• verify::call_summary::interprocedural::callee_contains_pointer_arithmetic
• verify::call_summary::interprocedural::context_key
• verify::call_summary::interprocedural::copy_root
• verify::call_summary::interprocedural::detect_index_disjoint_validator
• verify::call_summary::interprocedural::detect_pre_dec_end_offset
• verify::call_summary::interprocedural::iter_ctor_reads_slice_len
• verify::call_summary::interprocedural::local_must_write_args
• verify::call_summary::interprocedural::local_return_dependencies
• verify::call_summary::interprocedural::must_write_args_rec
• verify::call_summary::interprocedural::named_index_disjoint_validator
• verify::call_summary::interprocedural::nested_call_context
• verify::call_summary::interprocedural::operand_is_ptr_metadata
• verify::call_summary::interprocedural::path_ends_in_return
• verify::call_summary::interprocedural::path_infeasible_under_context
• verify::call_summary::interprocedural::pointer_arith_wrapper_probe
• verify::call_summary::interprocedural::resolve_wrapper_effect
• verify::call_summary::interprocedural::single_call_wrapper_target
• verify::call_summary::interprocedural::switch_discriminant_concrete
• verify::call_summary::interprocedural::trace_to_callee_arg
• verify::call_summary::interprocedural::try_branch_effect
• verify::call_summary::interprocedural::try_decode_length_return_effect
• verify::call_summary::interprocedural::try_field_load_effect
• verify::call_summary::interprocedural::try_from_raw_parts_wrapper_effect
• verify::call_summary::interprocedural::try_iter_constructor_effect
• verify::call_summary::interprocedural::try_pointer_arith_wrapper_effect
• verify::call_summary::interprocedural::try_ptr_field_return_effect
• verify::call_summary::interprocedural::try_slice_bounded_return_effect
• verify::call_summary::interprocedural::tuple_field_len_kind
• verify::call_summary::interprocedural::write_args_on_path
• verify::call_summary::is_maybe_dangling
• verify::call_summary::transparent_deref_peel
• verify::call_summary::vec_elem_ty
• verify::contract::attr::is_expected_syn_rapx_attr
• verify::contract::attr::parse_property_arg
• verify::contract::attr::parse_property_head
• verify::contract::attr::parse_rapx_attr
• verify::contract::attr::strip_lifetime_ticks
• verify::contract::attr::type_to_arg_expr
• verify::contract::compound::builtin_compounds
• verify::contract::compound::builtin_compounds_map
• verify::contract::compound::builtin_subsumptions_map
• verify::contract::compound::collect_compound_refs
• verify::contract::compound::compound_param_ty_matches_arg_kind
• verify::contract::compound::compound_refs
• verify::contract::compound::expand_compound
• verify::contract::compound::expand_compound_body
• verify::contract::compound::extract_def_property_string
• verify::contract::compound::find_compound
• verify::contract::compound::find_compound_cycle
• verify::contract::compound::find_cycle_in
• verify::contract::compound::flatten_subsumption_body
• verify::contract::compound::is_def_property_attr
• verify::contract::compound::parse_compounds
• verify::contract::compound::parse_equation_params
• verify::contract::compound::parse_one_compound_block
• verify::contract::compound::register_compound_properties
• verify::contract::compound::register_compounds_from_source
• verify::contract::compound::render_expr_src
• verify::contract::compound::resolve_arg_string
• verify::contract::compound::resolve_subsumption_args
• verify::contract::compound::subsumption_closure
• verify::contract::compound::unknown_property
• verify::contract::compound::user_compounds_map
• verify::contract::json::any_entry_to_property
• verify::contract::json::entry_to_property
• verify::contract::json::get_std_contracts_from_json
• verify::contract::json::get_std_type_invariants
• verify::contract::json::is_contract_token_char
• verify::contract::json::load_std_contracts_json
• verify::contract::json::load_trait_ensures_json
• verify::contract::json::normalize_json_contract_arg
• verify::contract::json::query_json_contracts
• verify::contract::json::query_trait_ensures
• verify::contract::json::resolve_entry_group
• verify::contract::json::resolve_json_args
• verify::contract::json::resolve_json_param_name
• verify::contract::json::resolve_trait_method
• verify::contract::json::scan_while
• verify::contract::json::std_contracts_has_entry
• verify::contract::pest_conv::conv_additive
• verify::contract::pest_conv::conv_arg_expr
• verify::contract::pest_conv::conv_base
• verify::contract::pest_conv::conv_bit_and
• verify::contract::pest_conv::conv_bit_or
• verify::contract::pest_conv::conv_bit_xor
• verify::contract::pest_conv::conv_call
• verify::contract::pest_conv::conv_compound_and
• verify::contract::pest_conv::conv_compound_call
• verify::contract::pest_conv::conv_compound_leaf
• verify::contract::pest_conv::conv_compound_or
• verify::contract::pest_conv::conv_const_path
• verify::contract::pest_conv::conv_expr
• verify::contract::pest_conv::conv_if
• verify::contract::pest_conv::conv_left_assoc
• verify::contract::pest_conv::conv_multiplicative
• verify::contract::pest_conv::conv_place_bridge
• verify::contract::pest_conv::conv_predicate
• verify::contract::pest_conv::conv_primary
• verify::contract::pest_conv::conv_size_of_call
• verify::contract::pest_conv::conv_unary
• verify::contract::pest_conv::only_child
• verify::contract::pest_conv::op_from_str
• verify::contract::pest_conv::parse_compound_body
• verify::contract::pest_conv::parse_expr_pest
• verify::contract::pest_conv::parse_predicate_pest
• verify::contract::pest_conv::relop_from_str
• verify::contract::pest_conv::singleton_or_wrap
• verify::contract::place::detect_array_for_each
• verify::contract::place::field_name_from_arg
• verify::contract::place::field_name_from_place
• verify::contract::place::parse_contract_place
• verify::contract::place::parse_expr_into_local_and_ty
• verify::contract::place::parse_named_place
• verify::contract::place::resolve_next_field
• verify::contract::place::resolve_place_from_ident
• verify::contract::place::resolve_projection_from_base_ident
• verify::contract::place::resolve_projection_from_struct_ident
• verify::contract::place::strip_for_each
• verify::contract::place::walk_fields
• verify::contract::render::display_expr_user_friendly
• verify::contract::render::local_snippet
• verify::contract::resolve::build_interval_predicates
• verify::contract::resolve::expr_to_pest
• verify::contract::resolve::int_type_min_max
• verify::contract::resolve::outermost_type_ident
• verify::contract::resolve::parse_builtin_const
• verify::contract::resolve::parse_const_param
• verify::contract::resolve::parse_contract_expr
• verify::contract::resolve::parse_interval_predicates
• verify::contract::resolve::parse_numeric_predicate
• verify::contract::resolve::parse_string_interval
• verify::contract::resolve::parse_target_arg
• verify::contract::resolve::parse_type
• verify::contract::resolve::parse_valid_num
• verify::contract::resolve::resolve_ty_ident
• verify::contract::resolve::resolve_type_name
• verify::contract::resolve::unwrap_array_expr
• verify::contract::spec::find_spec
• verify::contract::spec::kind_meaning
• verify::contract::spec::ps
• verify::contract::spec::tag_name_for_kind
• verify::def_use::argument_index_of_place
• verify::def_use::bind_callsite_roots
• verify::def_use::bind_operand_place
• verify::def_use::is_target_argument_index
• verify::display::dedup_compound_props
• verify::display::emit_property_rows
• verify::display::emit_results_and_verdict
• verify::display::emit_results_counts_and_checkpoints
• verify::display::emit_verify_summary
• verify::display::fmt_contract_expanded
• verify::display::fmt_fn_path_with_bounds
• verify::display::fmt_fn_path_with_generics
• verify::display::fmt_fn_with_params
• verify::display::fmt_index_access
• verify::display::fmt_meaning_template
• verify::display::insert_bounds_into_path
• verify::driver::property_field_indices
• verify::driver::remap_constructor_contract
• verify::driver::targets_return_value
• verify::loop_sensitivity::block_reaches_component
• verify::loop_sensitivity::ceil_div_i128
• verify::loop_sensitivity::collect_assigned_locals
• verify::loop_sensitivity::collect_atoms
• verify::loop_sensitivity::collect_entry_lower_bounds
• verify::loop_sensitivity::collect_loop_guard_upper_bounds
• verify::loop_sensitivity::collect_operand_sources
• verify::loop_sensitivity::collect_rvalue_sources
• verify::loop_sensitivity::comparison_fact
• verify::loop_sensitivity::component_has_internal_branch
• verify::loop_sensitivity::component_reaches_checkpoint
• verify::loop_sensitivity::estimate_branch_sensitive_backedges
• verify::loop_sensitivity::estimate_dataflow_backedges
• verify::loop_sensitivity::estimate_inbound_witness
• verify::loop_sensitivity::estimate_valid_num_witness
• verify::loop_sensitivity::expr_const_i128
• verify::loop_sensitivity::expr_is_place
• verify::loop_sensitivity::first_field_projection
• verify::loop_sensitivity::graph_reaches_any
• verify::loop_sensitivity::increment_source_and_step
• verify::loop_sensitivity::local_is_argument
• verify::loop_sensitivity::loop_components
• verify::loop_sensitivity::lower_bound_from_branch
• verify::loop_sensitivity::max_state_distance_from
• verify::loop_sensitivity::numeric_term_from_operand
• verify::loop_sensitivity::numeric_term_lower_bound
• verify::loop_sensitivity::operand_const_i128
• verify::loop_sensitivity::place_is_indirect_write
• verify::loop_sensitivity::plain_copy_source
• verify::loop_sensitivity::repeat_for_backedges
• verify::loop_sensitivity::repeat_for_witness_iteration
• verify::loop_sensitivity::resolve_local_copy
• verify::loop_sensitivity::resolve_numeric_term
• verify::loop_sensitivity::rvalue_const_i128
• verify::loop_sensitivity::rvalue_projection_source
• verify::loop_sensitivity::simple_upper_bound_violation_value
• verify::loop_sensitivity::switch_successors
• verify::loop_sensitivity::valid_num_violation_value
• verify::loop_sensitivity::witness_iteration_for_threshold
• verify::path_extractor::group_by_callee
• verify::property_checker::auto_trait::atomic_update_check
• verify::property_checker::auto_trait::contain_no_type_check
• verify::property_checker::auto_trait::field_invariant_check
• verify::property_checker::auto_trait::find_raw_ptr
• verify::property_checker::auto_trait::find_unsynchronized_mutation
• verify::property_checker::auto_trait::has_atomic_ptr_updates
• verify::property_checker::auto_trait::has_raw_ptr_writes
• verify::property_checker::auto_trait::no_internal_mut_check
• verify::property_checker::auto_trait::no_raw_ptr_check
• verify::property_checker::auto_trait::param_bound_is_satisfied
• verify::property_checker::auto_trait::ref_send_check
• verify::property_checker::auto_trait::type_implements_clone
• verify::property_checker::auto_trait::type_structurally_contains
• verify::property_checker::auto_trait::uni_internal_mut_check
• verify::property_checker::cstr::body_parents
• verify::property_checker::cstr::first_arg_local
• verify::property_checker::util::local_param_operand
• verify::property_checker::util::maybe_uninit_inner
• verify::property_checker::util::smart_pointer_pointee
• verify::slicer::call_visit::call_context_from_args
• verify::slicer::call_visit::visit
• verify::slicer::visitor::collect_flow_uses
• verify::slicer::visitor::collect_statement_uses
• verify::slicer::visitor::needs_invalidation_tracking
• verify::slicer::visitor::statement_can_refine
• verify::slicer::visitor::terminator_is_path_condition
• verify::target::bind_alive_regions
• verify::target::build_marker_trait_obligations
• verify::target::build_raw_ptr_deref_checks
• verify::target::build_static_mut_checks
• verify::target::build_type_atom
• verify::target::call_arg_to_outer_param
• verify::target::collect_properties_from_named_attrs
• verify::target::extract_tamed_field
• verify::target::get_contract_from_annotation
• verify::target::get_struct_invariants_from_annotation
• verify::target::get_trait_contracts_from_annotation
• verify::target::get_trait_method_requires
• verify::target::is_drop_impl
• verify::target::is_rapx_named_attr
• verify::target::marker_trait_kind
• verify::target::rebind_expr
• verify::target::rebind_place
• verify::target::rebind_property_arg
• verify::target::rebind_property_to_args
• verify::target::rebind_ty
• verify::target::resolve_chain_contracts
• verify::type_invariants::build_type_invariants_from_params
• verify::type_invariants::collect_type_invariants
• verify::type_invariants::instantiate_entry
• verify::type_invariants::instantiate_type_invariant
• verify::type_invariants::is_numeric_field_access
• verify::type_invariants::replace_expr_ty
• verify::type_invariants::replace_pred_ty
• verify::type_invariants::replace_ty_args
• verify::type_invariants::type_path_key
• verify::vm::alias::check_alias_vm
• verify::vm::alias::check_escaped_field
• verify::vm::alias::check_ownership_transfer_alias
• verify::vm::alias::check_read_memory_alias
• verify::vm::alias::check_view_alias
• verify::vm::alias::escape_region_violation
• verify::vm::alias::find_struct_field_origin_for_param
• verify::vm::alias::flow_xor_violation
• verify::vm::alias::fn_has_alias_requires
• verify::vm::alias::infer_self_field_from_type
• verify::vm::alias::is_self_field_shared_ref
• verify::vm::alias::property_contains_alias
• verify::vm::alias::resolve_escaped_field_origin
• verify::vm::alias::resolve_origin_place_mir
• verify::vm::alias::self_adt
• verify::vm::alias::shared_view_escape_region_violation
• verify::vm::alias_hazard::alias_producer
• verify::vm::alias_hazard::alias_proved_for_param_local
• verify::vm::alias_hazard::alias_proved_for_param_local_from_origin
• verify::vm::alias_hazard::any_struct_field_origin
• verify::vm::alias_hazard::callsite_arg_origins
• verify::vm::alias_hazard::check_fn_against_field
• verify::vm::alias_hazard::destination_flows_to_return
• verify::vm::alias_hazard::escaped_self_field_violation
• verify::vm::alias_hazard::expand_hazard_alias_locals
• verify::vm::alias_hazard::expand_origin_aliases
• verify::vm::alias_hazard::find_as_ptr_receivers
• verify::vm::alias_hazard::free_fns_for_struct
• verify::vm::alias_hazard::hazard_used_after_block
• verify::vm::alias_hazard::hazard_used_after_statement
• verify::vm::alias_hazard::impls_for_struct
• verify::vm::alias_hazard::is_origin_a_reference
• verify::vm::alias_hazard::is_ptr_add_offset_eq
• verify::vm::alias_hazard::is_ptr_from_ptr_add
• verify::vm::alias_hazard::kill_strongly_updated_origins
• verify::vm::alias_hazard::live_locals_at
• verify::vm::alias_hazard::local_callsites
• verify::vm::alias_hazard::local_hazard_violation
• verify::vm::alias_hazard::local_hazard_violation_with
• verify::vm::alias_hazard::local_traces_to_self_field
• verify::vm::alias_hazard::method_exposes_self_field
• verify::vm::alias_hazard::method_writes_self_field
• verify::vm::alias_hazard::ownership_transfer_violation
• verify::vm::alias_hazard::param_index_of_origin
• verify::vm::alias_hazard::place_is_raw_access_to_any_origin
• verify::vm::alias_hazard::place_is_raw_access_to_live_origin
• verify::vm::alias_hazard::place_is_raw_access_to_origin
• verify::vm::alias_hazard::place_key_is_prefix_of
• verify::vm::alias_hazard::place_raw_accesses_self_field
• verify::vm::alias_hazard::places_holding_transferred_pointer
• verify::vm::alias_hazard::pre_existing_view_on_origin
• verify::vm::alias_hazard::private_fn_callsite_delegation
• verify::vm::alias_hazard::public_raw_field
• verify::vm::alias_hazard::raw_access_conflicts
• verify::vm::alias_hazard::resolve_mir_place_tree
• verify::vm::alias_hazard::resolve_param_origin
• verify::vm::alias_hazard::resolve_place_key_tree
• verify::vm::alias_hazard::resolve_via_tree
• verify::vm::alias_hazard::reverse_postorder_blocks
• verify::vm::alias_hazard::rvalue_copies_live_origin_value
• verify::vm::alias_hazard::rvalue_mentions_any_local
• verify::vm::alias_hazard::rvalue_mentions_local
• verify::vm::alias_hazard::rvalue_mentions_origin
• verify::vm::alias_hazard::rvalue_reads_any_origin
• verify::vm::alias_hazard::rvalue_reads_like_view
• verify::vm::alias_hazard::self_borrow_mutability
• verify::vm::alias_hazard::self_field_key
• verify::vm::alias_hazard::self_field_origin
• verify::vm::alias_hazard::splice_holder_fields
• verify::vm::alias_hazard::statement_uses_any_local
• verify::vm::alias_hazard::struct_ref_param_locals
• verify::vm::alias_hazard::terminator_invalidates_vec_owner
• verify::vm::alias_hazard::terminator_is_benign_origin_use
• verify::vm::alias_hazard::terminator_returns_ownership
• verify::vm::alias_hazard::terminator_uses_any_local
• verify::vm::alias_hazard::terminator_uses_live_origin
• verify::vm::alias_hazard::terminator_uses_origin
• verify::vm::alias_hazard::terminator_writes_origin
• verify::vm::alias_tree::classify
• verify::vm::alias_tree::field_projection
• verify::vm::exec::contains_hazard
• verify::vm::exec::pow2_factor
• verify::vm::exec::rebind_expr_place
• verify::vm::exec::rebind_property_place
• verify::vm::exec::resolve_u64_from_place_key
• verify::vm::memory::peel_slice_elem
• verify::vm::memory::utf8_validity_dfa
• verify::vm::region::fn_arg_ty
• verify::vm::region::fn_return_region
• verify::vm::region::free_region_outlives
• verify::vm::region::liberate_fn_sig
• verify::vm::region::region_outlives
• verify::vm::region::region_outlives_implied
• verify::vm::region::resolve_region_name

Type Aliases

• analysis::alias::FnAliasMap
• analysis::alias::default::MopFnAliasMap
• analysis::api_dependency::graph::InnerGraph
• analysis::callgraph::FnCallMap
• analysis::callgraph::default::CallMap
• analysis::dataflow::Arg2Ret
• analysis::dataflow::Arg2RetMap
• analysis::dataflow::DataflowGraphMap
• analysis::dataflow::Graph
• analysis::dataflow::GraphEdge
• analysis::dataflow::GraphNode
• analysis::dataflow::types::EdgeIdx
• analysis::dataflow::types::GraphEdges
• analysis::dataflow::types::GraphNodes
• analysis::heap_ownership::HeapOwnershipResultMap
• analysis::range::PathConstraint
• analysis::range::PathConstraintMap
• analysis::range::RAResult
• analysis::range::RAResultMap
• analysis::range::RAVecResultMap
• analysis::range::domain::domain::DefMap
• analysis::range::domain::domain::GenOprs
• analysis::range::domain::domain::SymbMap
• analysis::range::domain::domain::UseMap
• analysis::range::domain::domain::ValuesBranchMap
• analysis::range::domain::domain::VarNodes
• analysis::safety_flow::fn_collector::FnMap
• analysis::safety_flow::hir_visitor::AdtImplMap
• check::rcanary::ranalyzer::Edges
• check::rcanary::ranalyzer::MirGraph
• check::rcanary::ranalyzer::ToPo
• check::rcanary::ranalyzer::intra_visitor::Aggre
• check::rcanary::ranalyzer::intra_visitor::Disc
• compat::FxHashMap
• compat::FxHashSet
• compat::GenericPredicatesC
• verify::call_summary::interprocedural::MustWriteMemo
• verify::target::FnContracts
• verify::target::StructInvariants
• verify::vm::alias_tree::TagId

Statics

• RAPX_DEFAULT_ARGS
• analysis::api_dependency::graph::transform::ALL_TRANSFORMKIND
• analysis::range::STR_MAX
• analysis::range::STR_MIN
• check::opt::checking::bounds_checking::bounds_extend::DEFPATHS
• check::opt::checking::bounds_checking::bounds_len::DEFPATHS
• check::opt::checking::bounds_checking::bounds_loop_push::DEFPATHS
• check::opt::checking::encoding_checking::array_encoding::DEFPATHS
• check::opt::checking::encoding_checking::string_lowercase::DEFPATHS
• check::opt::checking::encoding_checking::string_push::DEFPATHS
• check::opt::checking::encoding_checking::vec_encoding::DEFPATHS
• check::opt::data_collection::initialization::local_set::DEFPATHS
• check::opt::data_collection::initialization::vec_init::DEFPATHS
• check::opt::data_collection::reallocation::flatten_collect::DEFPATHS
• check::opt::data_collection::reallocation::unreserved_hash::DEFPATHS
• check::opt::data_collection::reallocation::unreserved_vec::DEFPATHS
• check::opt::data_collection::suboptimal::participant::DEFPATHS
• check::opt::data_collection::suboptimal::slice_contains::DEFPATHS
• check::opt::data_collection::suboptimal::vec_remove::DEFPATHS
• check::opt::memory_cloning::used_as_immutable::DEFPATHS
• def_id::INIT
• def_id::METHODS
• def_id::TYPES
• limit::PATH_LIMIT_OVERRIDE
• verify::call_summary::builtin_models::REGISTRY
• verify::contract::spec::SPECS

Constants

• analysis::api_dependency::graph::resolve::RESOLVE_DEBUG
• analysis::path::graph::AGGREGATE_FIELD_MULT
• analysis::path::graph::AGGREGATE_FIELD_SENTINEL
• cli::DEFAULT_POSTFIX_REPEAT
• cli::analyze::DEFAULT_POSTFIX_REPEAT
• def_id::INTRINSICS
• def_id::NEGATIVE_TYPE_NAMES
• help::RAPX_AFTER_HELP
• help::RAPX_STYLING
• help::RAPX_VERSION
• helpers::show_mir::EXPLAIN
• helpers::show_mir::NEXT_LINE
• helpers::show_mir::PADDING
• limit::ALIAS_VISIT_LIMIT
• limit::DEFAULT_LOOP_CARRIED_BACKEDGES
• limit::DEFAULT_NUMERIC_WITNESS_ITERATION
• limit::FIELD_LOAD_EFFECT_BLOCK_LIMIT
• limit::FROM_RAW_PARTS_WRAPPER_BLOCK_LIMIT
• limit::FUZZABLE_MAX_DEPTH
• limit::LOCAL_INLINE_BLOCK_LIMIT
• limit::MAX_AUTO_REPEAT
• limit::MAX_DEREF_DEPTH
• limit::MAX_FIELD_DEPTH
• limit::MAX_INLINE_DEPTH
• limit::MAX_STEP_SET_SIZE
• limit::MAX_TY_COMPLX
• limit::MAX_VALUES_PER_PATH
• limit::MIN_DATAFLOW_REPEAT
• limit::PATH_LIMIT
• limit::POINTER_ARITH_WRAPPER_BLOCK_LIMIT
• limit::SAFEDROP_VISIT_LIMIT
• limit::SCC_MAX_DEPTH
• limit::SCC_MAX_PATH_LEN
• limit::SCC_MAX_SEEN_PATHS
• limit::SCC_PATH_CACHE_LIMIT
• limit::SLICE_BOUNDED_RETURN_BLOCK_LIMIT
• limit::WHOLE_CFG_PATH_DEPTH_LIMIT
• verify::contract::pest_grammar::_PEST_GRAMMAR_ContractParser
• verify::type_invariants::SLICE_ELEM_PLACEHOLDER