List of all items

Structs

• RapCallback
• analysis::alias_analysis::AliasPair
• analysis::alias_analysis::FnAliasMapWrapper
• analysis::alias_analysis::FnAliasPairs
• analysis::alias_analysis::default::AliasAnalyzer
• analysis::alias_analysis::default::MopAliasPair
• analysis::alias_analysis::default::MopFnAliasPairs
• analysis::alias_analysis::default::assign::Assignment
• analysis::alias_analysis::default::block::AliasBlockFacts
• analysis::alias_analysis::default::block::ConstValue
• analysis::alias_analysis::default::graph::AliasGraph
• analysis::alias_analysis::default::value::FatherInfo
• analysis::alias_analysis::default::value::Value
• analysis::alias_analysis::mfp::MfpAliasAnalyzer
• analysis::alias_analysis::mfp::intraproc::AliasDomain
• analysis::alias_analysis::mfp::intraproc::FnAliasAnalyzer
• analysis::alias_analysis::mfp::intraproc::PlaceInfo
• 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::callgraph::FnCallDisplay
• analysis::callgraph::default::CallGraph
• analysis::callgraph::default::CallGraphAnalyzer
• analysis::callgraph::visitor::CallGraphVisitor
• analysis::dataflow::Arg2RetMapWrapper
• analysis::dataflow::Arg2RetWrapper
• analysis::dataflow::DataFlowGraph
• analysis::dataflow::DataFlowGraphMapWrapper
• analysis::dataflow::DataFlowGraphWrapper
• analysis::dataflow::default::DataflowAnalyzer
• analysis::dataflow::types::DataflowEdge
• analysis::dataflow::types::DataflowGraph
• analysis::dataflow::types::DataflowNode
• analysis::ownedheap_analysis::OHAResultMapWrapper
• analysis::ownedheap_analysis::default::DefaultOwnership
• analysis::ownedheap_analysis::default::Encoder
• analysis::ownedheap_analysis::default::FindPtr
• analysis::ownedheap_analysis::default::IndexedTy
• analysis::ownedheap_analysis::default::OwnedHeapAnalyzer
• analysis::ownedheap_analysis::default::OwnershipLayoutResult
• analysis::ownedheap_analysis::default::TyWithIndex
• analysis::path_analysis::PathMapWrapper
• analysis::path_analysis::PathNode
• analysis::path_analysis::PathTree
• analysis::path_analysis::PathTreeIter
• analysis::path_analysis::default::PathAnalyzer
• analysis::path_analysis::graph::BlockConstantInfo
• analysis::path_analysis::graph::ComparisonSource
• analysis::path_analysis::graph::ConstraintHash
• analysis::path_analysis::graph::DiscriminantInfo
• analysis::path_analysis::graph::PathEnumerator
• analysis::path_analysis::graph::PathGraph
• analysis::path_analysis::graph::SccKey
• analysis::path_analysis::graph::SccPath
• analysis::range_analysis::PathConstraintMapWrapper
• analysis::range_analysis::PathConstraintWrapper
• analysis::range_analysis::RAResultMapWrapper
• analysis::range_analysis::RAResultWrapper
• analysis::range_analysis::RAVecResultMapWrapper
• analysis::range_analysis::Range
• analysis::range_analysis::default::RangeAnalyzer
• analysis::range_analysis::domain::ConstraintGraph::ConstraintGraph
• analysis::range_analysis::domain::ConstraintGraph::Nuutila
• analysis::range_analysis::domain::SymbolicExpr::BasicInterval
• analysis::range_analysis::domain::SymbolicExpr::SymbInterval
• analysis::range_analysis::domain::domain::AggregateOp
• analysis::range_analysis::domain::domain::BinaryOp
• analysis::range_analysis::domain::domain::CallOp
• analysis::range_analysis::domain::domain::ControlDep
• analysis::range_analysis::domain::domain::EssaOp
• analysis::range_analysis::domain::domain::PhiOp
• analysis::range_analysis::domain::domain::RefOp
• analysis::range_analysis::domain::domain::UnaryOp
• analysis::range_analysis::domain::domain::UseOp
• analysis::range_analysis::domain::domain::ValueBranchMap
• analysis::range_analysis::domain::domain::VarNode
• analysis::range_analysis::domain::range::Meet
• analysis::safetyflow_analysis::SafetyFlowAnalysis
• analysis::safetyflow_analysis::fn_collector::FnCollector
• analysis::safetyflow_analysis::hir_visitor::ContainsLit
• analysis::safetyflow_analysis::hir_visitor::ContainsUnsafe
• analysis::safetyflow_analysis::root::UnsafeRoot
• analysis::safetyflow_analysis::safetyflow_graph::SafetyFlowGraph
• analysis::safetyflow_analysis::safetyflow_unit::BasicUnitCounts
• analysis::safetyflow_analysis::safetyflow_unit::SafetyFlowUnit
• analysis::scan::ScanAnalysis
• analysis::ssa_transform::PassRunner
• analysis::ssa_transform::Replacer::Replacer
• analysis::ssa_transform::SSATrans
• analysis::ssa_transform::SSATransformer::PhiPlaceholder
• analysis::ssa_transform::SSATransformer::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_len::BoundsLenCheck
• check::opt::checking::bounds_checking::bounds_loop_push::BoundsLoopPushCheck
• check::opt::checking::bounds_checking::bounds_loop_push::LoopFinder
• check::opt::checking::bounds_checking::bounds_loop_push::PushFinder
• check::opt::checking::encoding_checking::EncodingCheck
• check::opt::checking::encoding_checking::array_encoding::ArrayEncodingCheck
• check::opt::checking::encoding_checking::string_lowercase::StringLowercaseCheck
• check::opt::checking::encoding_checking::string_push::StringPushCheck
• check::opt::checking::encoding_checking::vec_encoding::VecEncodingCheck
• check::opt::data_collection::initialization::InitializationCheck
• check::opt::data_collection::initialization::local_set::LocalSetCheck
• check::opt::data_collection::initialization::vec_init::VecInitCheck
• check::opt::data_collection::reallocation::ReservationCheck
• check::opt::data_collection::reallocation::flatten_collect::FlattenCollectCheck
• check::opt::data_collection::reallocation::unreserved_hash::UnreservedHashCheck
• check::opt::data_collection::reallocation::unreserved_vec::LoopFinder
• check::opt::data_collection::reallocation::unreserved_vec::PushFinder
• check::opt::data_collection::reallocation::unreserved_vec::UnreservedVecCheck
• check::opt::data_collection::suboptimal::SuboptimalCheck
• check::opt::data_collection::suboptimal::participant::ParticipantCheck
• check::opt::data_collection::suboptimal::slice_contains::SliceContainsCheck
• check::opt::data_collection::suboptimal::vec_remove::VecRemoveCheck
• check::opt::iterator::next_iterator::NextIteratorCheck
• check::opt::memory_cloning::hash_key_cloning::HashKeyCloningCheck
• check::opt::memory_cloning::used_as_immutable::UsedAsImmutableCheck
• 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::IntraFlowContext
• check::rcanary::ranalyzer::NodeOrder
• 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
• cli::AdgArgs
• cli::CheckArgs
• cli::RapxArgs
• cli::VerifyArgs
• compat::Spanned
• graphs::cfg::CfgBlock
• graphs::cfg::ControlFlowGraph
• graphs::scc::SccExit
• graphs::scc::SccInfo
• graphs::scc::SccRegion
• graphs::scc::SccRegionExit
• helpers::def_path::DefPath
• 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::attribute::assets_parser::PropertyEntry
• verify::attribute::assets_parser::TypeInvariantEntry
• verify::attribute::attr_parser::ParsedProperty
• verify::attribute::attr_parser::ParsedRapxAttr
• verify::call_summary::CallDependencySummary
• verify::call_summary::CallEffectSummary
• verify::def_use::DefUse
• verify::def_use::PlaceKey
• verify::def_use::RelevantPlaces
• verify::driver::CheckpointCheckView
• verify::driver::VerifyDriver
• verify::driver::VerifyRun
• verify::driver::VerifyVisitDump
• verify::engine::InvariantCheckResult
• verify::engine::VerifyEngine
• verify::generic::GenericTypeCandidates
• verify::path_extractor::CallGroup
• verify::path_extractor::Path
• verify::path_extractor::PathExtractor
• verify::report::PropertyCheckResult
• verify::report::VerificationReport
• verify::report::VisitDiagnostics
• verify::slicer::BackwardSlicer
• verify::slicer::types::RelevantMirItems
• verify::smt_check::SmtCheckResult
• verify::smt_check::SmtChecker
• verify::smt_check::SmtQuery
• verify::target::FunctionTarget
• verify::target::PrepareTargets
• verify::target::StructTarget
• verify::target::TraitEnsurance
• verify::target::VerifyTargetCollector
• verify::verifier::CallSummary
• verify::verifier::ForwardVerifier
• verify::verifier::ForwardVisitResult
• verify::verifier::ValueDefinition

Enums

• analysis::alias_analysis::default::assign::AssignType
• analysis::alias_analysis::default::types::ValueKind
• analysis::alias_analysis::mfp::intraproc::PlaceId
• analysis::api_dependency::graph::dep_edge::DepEdge
• analysis::api_dependency::graph::dep_node::DepNode
• 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::ownedheap_analysis::OwnedHeap
• analysis::range_analysis::RangeType
• analysis::range_analysis::domain::SymbolicExpr::BoundMode
• analysis::range_analysis::domain::SymbolicExpr::IntervalType
• analysis::range_analysis::domain::SymbolicExpr::SymbExpr
• analysis::range_analysis::domain::domain::AggregateOperand
• analysis::range_analysis::domain::domain::BasicOpKind
• analysis::safetyflow_analysis::TargetCrate
• analysis::safetyflow_analysis::root::UnsafeOpKind
• analysis::safetyflow_analysis::safetyflow_graph::SafetyFlowEdge
• analysis::safetyflow_analysis::safetyflow_graph::SafetyFlowNode
• check::rcanary::ranalyzer::IcxSliceDisplay
• 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
• helpers::fn_info::FnKind
• helpers::mir_scan::CheckpointKind
• verify::call_summary::CallEffect
• verify::def_use::PlaceBaseKey
• verify::path_extractor::PathStep
• verify::primitive::PrimitiveCall
• verify::report::CheckResult
• verify::slicer::types::BackwardItem
• verify::slicer::types::ForgetReason
• verify::slicer::types::KeepReason
• verify::smt_check::SmtObligation
• verify::verifier::AbstractValue
• verify::verifier::ForwardStep
• verify::verifier::StateFact

Traits

• analysis::Analysis
• analysis::alias_analysis::AliasAnalysis
• analysis::callgraph::CallGraphAnalysis
• analysis::dataflow::DataflowAnalysis
• analysis::ownedheap_analysis::OwnedHeapAnalysis
• analysis::range_analysis::RangeAnalysis
• analysis::range_analysis::domain::SymbolicExpr::IntervalTypeTrait
• analysis::range_analysis::domain::domain::ConstConvert
• analysis::range_analysis::domain::domain::IntervalArithmetic
• analysis::range_analysis::domain::domain::Operation
• check::opt::OptCheck
• check::rcanary::IcxMut
• check::rcanary::IcxSliceMut
• check::rcanary::Rcx
• check::rcanary::RcxMut
• check::rcanary::Tcx
• graphs::scc::Scc
• helpers::show_mir::Display

Macros

• rap_debug
• rap_error
• rap_info
• rap_trace
• rap_warn

Functions

• analysis::alias_analysis::default::alias::is_no_alias_intrinsic
• analysis::alias_analysis::default::types::is_not_drop
• analysis::alias_analysis::default::types::kind
• analysis::alias_analysis::mfp::interproc::extract_summary
• analysis::alias_analysis::mfp::transfer::mir_place_to_place_id
• analysis::alias_analysis::mfp::transfer::operand_to_place_id
• analysis::alias_analysis::mfp::transfer::sync_fields
• analysis::alias_analysis::mfp::transfer::transfer_aggregate
• analysis::alias_analysis::mfp::transfer::transfer_assign
• analysis::alias_analysis::mfp::transfer::transfer_call
• analysis::alias_analysis::mfp::transfer::transfer_ref
• analysis::api_dependency::is_def_id_public
• analysis::api_dependency::is_fuzzable_ty
• analysis::dataflow::graph::build_dataflow_graph
• analysis::ownedheap_analysis::default::is_display_verbose
• analysis::path_analysis::format_path_annotated
• analysis::safetyflow_analysis::chain::get_all_std_unsafe_chains
• analysis::safetyflow_analysis::chain::print_unsafe_chains
• analysis::safetyflow_analysis::hir_visitor::create_adt_impl_map
• analysis::safetyflow_analysis::root::function_has_struct_invariant
• analysis::safetyflow_analysis::root::function_has_trait_ensurance
• analysis::safetyflow_analysis::root::has_struct_invariant
• analysis::safetyflow_analysis::root::hir_contains_unsafe
• analysis::safetyflow_analysis::root::scan_mir
• analysis::ssa_transform::lvalue_check
• analysis::ssa_transform::print_diff
• analysis::ssa_transform::print_mir_graph
• check::rcanary::ranalyzer::is_icx_slice_verbose
• check::rcanary::ranalyzer::is_z3_goal_verbose
• check::safedrop::corner_case::should_check
• check::safedrop::query_safedrop
• def_id::assume_init_drop_opt
• def_id::call_mut_opt
• def_id::clone_opt
• def_id::contains
• def_id::copy_from_nonoverlapping_opt
• def_id::copy_from_opt
• def_id::copy_to_nonoverlapping_opt
• def_id::copy_to_opt
• def_id::dealloc_opt
• def_id::drop_in_place_opt
• def_id::drop_opt
• def_id::init
• def_id::is_drop_fn
• def_id::manually_drop_opt
• def_id::read_via_copy_opt
• def_id::replace_opt
• def_id::take_opt
• def_id::to_internal
• def_id::write_via_copy_opt
• graphs::scc::collect_scc_components
• graphs::scc::find_scc_regions
• help::styled_cargo_rapx_usage
• help::styled_rapx_usage
• help::styled_str
• helpers::def_path::path_str_def_id
• helpers::draw_dot::render_dot_graphs
• helpers::draw_dot::render_dot_string
• helpers::fn_info::append_fn_with_types
• 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_impls_for_struct
• helpers::fn_info::get_mutated_fields
• helpers::fn_info::get_muts
• helpers::fn_info::get_pointee
• helpers::fn_info::get_ptr_deref_dummy_def_id
• helpers::fn_info::get_public_fields
• helpers::fn_info::get_type
• helpers::fn_info::has_mut_self_param
• helpers::fn_info::is_ptr
• helpers::fn_info::parse_expr_into_number
• 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::place_has_raw_deref
• helpers::name::access_ident_recursive
• 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_ty_with_ident
• helpers::name::parse_local_signature
• helpers::name::parse_outside_signature
• helpers::name::parse_signature
• helpers::path::get_path_resolver
• helpers::show_mir::display_mir
• helpers::show_mir::generate_mir_cfg_dot
• start_analyzer
• utils::fs::rap_create_file
• utils::log::init_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::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::attribute::assets_parser::get_std_contracts_from_assets
• verify::attribute::assets_parser::get_std_type_invariants
• verify::attribute::attr_parser::parse_rapx_attr
• verify::call_summary::call_args_preserve_layout
• verify::call_summary::call_name
• verify::call_summary::callee_def_id
• verify::call_summary::dependency_summary
• verify::call_summary::effect_summary
• verify::call_summary::is_as_mut_ptr_call
• verify::call_summary::is_as_ptr_call
• verify::call_summary::is_layout_constant_call
• verify::call_summary::is_len_call
• verify::call_summary::is_maybe_uninit_uninit_call
• verify::call_summary::is_ownership_reconstruction
• verify::call_summary::is_pointer_add_call
• verify::call_summary::is_pointer_offset_call
• verify::call_summary::is_pointer_read_call
• verify::call_summary::is_pointer_sub_call
• verify::call_summary::is_pointer_write_call
• verify::call_summary::ty_is_layout_safe_arg
• verify::def_use::bind_callsite_roots
• verify::def_use::call_args_uses_at
• verify::def_use::operand_uses
• verify::def_use::place_projection_uses
• verify::def_use::place_uses
• verify::def_use::rvalue_operands
• verify::def_use::terminator_use_def

Type Aliases

• analysis::alias_analysis::FnAliasMap
• analysis::alias_analysis::default::MopFnAliasMap
• 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::ownedheap_analysis::OHAResultMap
• analysis::range_analysis::PathConstraint
• analysis::range_analysis::PathConstraintMap
• analysis::range_analysis::RAResult
• analysis::range_analysis::RAResultMap
• analysis::range_analysis::RAVecResultMap
• analysis::range_analysis::domain::domain::DefMap
• analysis::range_analysis::domain::domain::GenOprs
• analysis::range_analysis::domain::domain::SymbMap
• analysis::range_analysis::domain::domain::UseMap
• analysis::range_analysis::domain::domain::ValuesBranchMap
• analysis::range_analysis::domain::domain::VarNodes
• analysis::safetyflow_analysis::fn_collector::FnMap
• analysis::safetyflow_analysis::hir_visitor::AdtImplMap
• check::rcanary::ranalyzer::Edges
• check::rcanary::ranalyzer::MirGraph
• check::rcanary::ranalyzer::ToPo
• compat::FxHashMap
• compat::FxHashSet
• verify::target::FnContracts
• verify::target::StructInvariants

Statics

• RAPX_DEFAULT_ARGS

Constants

• analysis::alias_analysis::default::VISIT_LIMIT
• check::safedrop::safedrop::VISIT_LIMIT
• cli::DEFAULT_POSTFIX_REPEAT
• help::RAPX_AFTER_HELP
• help::RAPX_STYLING
• help::RAPX_VERSION