List of all items

Structs

• RapCallback
• analysis::core::alias_analysis::AliasPair
• analysis::core::alias_analysis::FnAliasMapWrapper
• analysis::core::alias_analysis::FnAliasPairs
• analysis::core::alias_analysis::default::AliasAnalyzer
• analysis::core::alias_analysis::default::MopAliasPair
• analysis::core::alias_analysis::default::MopFnAliasPairs
• analysis::core::alias_analysis::default::assign::Assignment
• analysis::core::alias_analysis::default::block::Block
• analysis::core::alias_analysis::default::block::ConstValue
• analysis::core::alias_analysis::default::graph::MopGraph
• analysis::core::alias_analysis::default::mop::DepthLimitGuard
• analysis::core::alias_analysis::default::mop::PathKey
• analysis::core::alias_analysis::default::mop::SccPathCacheKey
• analysis::core::alias_analysis::default::value::FatherInfo
• analysis::core::alias_analysis::default::value::Value
• analysis::core::alias_analysis::mfp::MfpAliasAnalyzer
• analysis::core::alias_analysis::mfp::intraproc::AliasDomain
• analysis::core::alias_analysis::mfp::intraproc::FnAliasAnalyzer
• analysis::core::alias_analysis::mfp::intraproc::PlaceInfo
• analysis::core::api_dependency::ApiDependencyAnalyzer
• analysis::core::api_dependency::Config
• analysis::core::api_dependency::StatsWithCoverage
• analysis::core::api_dependency::VisitConfig
• analysis::core::api_dependency::graph::ApiDependencyGraph
• analysis::core::api_dependency::graph::Statistics
• analysis::core::api_dependency::graph::TyWrapper
• analysis::core::api_dependency::graph::dump::EdgeInfo
• analysis::core::api_dependency::graph::resolve::TypeCandidates
• analysis::core::api_dependency::graph::ty_wrapper::TyWrapper
• analysis::core::api_dependency::mono::Mono
• analysis::core::api_dependency::mono::MonoSet
• analysis::core::api_dependency::visit::Config
• analysis::core::api_dependency::visit::FnVisitor
• analysis::core::callgraph::FnCallDisplay
• analysis::core::callgraph::default::CallGraph
• analysis::core::callgraph::default::CallGraphAnalyzer
• analysis::core::callgraph::visitor::CallGraphVisitor
• analysis::core::dataflow::Arg2RetMapWrapper
• analysis::core::dataflow::Arg2RetWrapper
• analysis::core::dataflow::DataFlowGraph
• analysis::core::dataflow::DataFlowGraphMapWrapper
• analysis::core::dataflow::DataFlowGraphWrapper
• analysis::core::dataflow::GraphEdge
• analysis::core::dataflow::GraphNode
• analysis::core::dataflow::default::DataFlowAnalyzer
• analysis::core::dataflow::graph::Graph
• analysis::core::ownedheap_analysis::OHAResultMapWrapper
• analysis::core::ownedheap_analysis::default::DefaultOwnership
• analysis::core::ownedheap_analysis::default::Encoder
• analysis::core::ownedheap_analysis::default::FindPtr
• analysis::core::ownedheap_analysis::default::HeapPropagation
• analysis::core::ownedheap_analysis::default::IndexedTy
• analysis::core::ownedheap_analysis::default::IsolatedParam
• analysis::core::ownedheap_analysis::default::IsolatedParamFieldSubst
• analysis::core::ownedheap_analysis::default::IsolatedParamPropagation
• analysis::core::ownedheap_analysis::default::OwnedHeapAnalyzer
• analysis::core::ownedheap_analysis::default::OwnershipLayoutResult
• analysis::core::ownedheap_analysis::default::TyWithIndex
• analysis::core::range_analysis::PathConstraintMapWrapper
• analysis::core::range_analysis::PathConstraintWrapper
• analysis::core::range_analysis::RAResultMapWrapper
• analysis::core::range_analysis::RAResultWrapper
• analysis::core::range_analysis::RAVecResultMapWrapper
• analysis::core::range_analysis::Range
• analysis::core::range_analysis::default::RangeAnalyzer
• analysis::core::range_analysis::domain::ConstraintGraph::ConstraintGraph
• analysis::core::range_analysis::domain::ConstraintGraph::Nuutila
• analysis::core::range_analysis::domain::SymbolicExpr::BasicInterval
• analysis::core::range_analysis::domain::SymbolicExpr::SymbInterval
• analysis::core::range_analysis::domain::domain::AggregateOp
• analysis::core::range_analysis::domain::domain::BinaryOp
• analysis::core::range_analysis::domain::domain::CallOp
• analysis::core::range_analysis::domain::domain::ControlDep
• analysis::core::range_analysis::domain::domain::EssaOp
• analysis::core::range_analysis::domain::domain::PhiOp
• analysis::core::range_analysis::domain::domain::RefOp
• analysis::core::range_analysis::domain::domain::UnaryOp
• analysis::core::range_analysis::domain::domain::UseOp
• analysis::core::range_analysis::domain::domain::ValueBranchMap
• analysis::core::range_analysis::domain::domain::VarNode
• analysis::core::range_analysis::domain::range::Meet
• analysis::core::ssa_transform::PassRunner
• analysis::core::ssa_transform::Replacer::Replacer
• analysis::core::ssa_transform::SSATrans
• analysis::core::ssa_transform::SSATransformer::PhiPlaceholder
• analysis::core::ssa_transform::SSATransformer::SSATransformer
• analysis::scan::ScanAnalysis
• analysis::scan::statistic::CrateSafetyInfo
• analysis::scan::statistic::Statistics
• analysis::scan::visitor::FnVisitor
• analysis::upg::UPGAnalysis
• analysis::upg::fn_collector::FnCollector
• analysis::upg::hir_visitor::ContainsLit
• analysis::upg::hir_visitor::ContainsUnsafe
• analysis::upg::upg_graph::UPGraph
• analysis::upg::upg_unit::UPGUnit
• analysis::utils::def_path::DefPath
• analysis::utils::fn_info::AdtInfo
• analysis::utils::fn_info::ContractEntry
• analysis::utils::fn_info::FnInfo
• analysis::utils::path::PathResolver
• analysis::utils::show_mir::ShowMir
• 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::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::array_encoding::DefPaths
• check::opt::checking::encoding_checking::string_lowercase::DefPaths
• check::opt::checking::encoding_checking::string_lowercase::LowercaseFinder
• 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::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::DefPaths
• check::opt::data_collection::suboptimal::participant::ParticipantCheck
• check::opt::data_collection::suboptimal::slice_contains::ContainsFinder
• 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::iterator::next_iterator::DefPaths
• check::opt::iterator::next_iterator::NextFinder
• check::opt::iterator::next_iterator::NextIteratorCheck
• check::opt::memory_cloning::hash_key_cloning::DefPaths
• check::opt::memory_cloning::hash_key_cloning::HashInsertFinder
• check::opt::memory_cloning::hash_key_cloning::HashKeyCloningCheck
• check::opt::memory_cloning::used_as_immutable::DefPaths
• 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::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::senryx::SenryxCheck
• check::senryx::contract::ContractFactSet
• check::senryx::contract::ContractPlace
• check::senryx::contract::NumericPredicate
• check::senryx::dominated_graph::DominatedGraph
• check::senryx::dominated_graph::FunctionSummary
• check::senryx::dominated_graph::InterResultNode
• check::senryx::dominated_graph::States
• check::senryx::dominated_graph::VariableNode
• check::senryx::driver::SenryxCheck
• check::senryx::generic_check::GenericChecker
• check::senryx::symbolic_analysis::ValueDomain
• check::senryx::visitor::BodyVisitor
• check::senryx::visitor::CheckResult
• cli::AdgArgs
• cli::CheckArgs
• cli::RapxArgs
• cli::VerifyArgs
• cli::analyze::AdgArgs
• cli::check::CheckArgs
• cli::verify::VerifyArgs
• def_id::Intrinsics
• utils::scc::SccExit
• utils::scc::SccInfo
• utils::scc::SccTree
• verify::assets_parser::PropertyEntry
• verify::attr_parser::ParsedProperty
• verify::attr_parser::ParsedRapxAttr
• verify::attr_parser::RequireOuterAttribute
• verify::contract::ContractPlace
• verify::contract::NumericPredicate
• verify::contract::Property
• verify::helpers::CFG
• verify::helpers::Callsite
• verify::helpers::CallsiteLocation
• verify::path::LoopExit
• verify::path::LoopId
• verify::path::LoopInfo
• verify::path::Path
• verify::path::PathExtractor
• verify::path::PathResult
• verify::path::SccDetector
• verify::target::FunctionTarget
• verify::target::PrepareTargets
• verify::target::StructTarget
• verify::target::VerifyTargetCollector

Enums

• analysis::core::alias_analysis::default::assign::AssignType
• analysis::core::alias_analysis::default::block::Term
• analysis::core::alias_analysis::default::types::ValueKind
• analysis::core::alias_analysis::mfp::intraproc::PlaceId
• analysis::core::api_dependency::graph::dep_edge::DepEdge
• analysis::core::api_dependency::graph::dep_node::DepNode
• analysis::core::api_dependency::graph::dump::NodeInfo
• analysis::core::api_dependency::graph::transform::TransformKind
• analysis::core::dataflow::AggKind
• analysis::core::dataflow::EdgeOp
• analysis::core::dataflow::NodeOp
• analysis::core::dataflow::graph::DFSStatus
• analysis::core::dataflow::graph::Direction
• analysis::core::ownedheap_analysis::OwnedHeap
• analysis::core::range_analysis::RangeType
• analysis::core::range_analysis::domain::SymbolicExpr::BoundMode
• analysis::core::range_analysis::domain::SymbolicExpr::IntervalType
• analysis::core::range_analysis::domain::SymbolicExpr::SymbExpr
• analysis::core::range_analysis::domain::domain::AggregateOperand
• analysis::core::range_analysis::domain::domain::BasicOpKind
• analysis::upg::TargetCrate
• analysis::upg::upg_graph::UPGEdge
• analysis::upg::upg_graph::UPGNode
• analysis::utils::fn_info::FnKind
• 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::senryx::CheckLevel
• check::senryx::contract::AlignState
• check::senryx::contract::ContractExpr
• check::senryx::contract::ContractProjection
• check::senryx::contract::NumericOp
• check::senryx::contract::NumericUnaryOp
• check::senryx::contract::PlaceBase
• check::senryx::contract::PropertyContract
• check::senryx::contract::RelOp
• check::senryx::driver::CheckLevel
• check::senryx::symbolic_analysis::AnaOperand
• check::senryx::symbolic_analysis::SymbolicDef
• check::senryx::visitor::PlaceTy
• cli::AliasStrategyKind
• cli::AnalysisKind
• cli::Commands
• cli::OptLevel
• cli::analyze::AliasStrategyKind
• cli::analyze::AnalysisKind
• verify::contract::ContractExpr
• verify::contract::ContractProjection
• verify::contract::NumericOp
• verify::contract::NumericUnaryOp
• verify::contract::PlaceBase
• verify::contract::PropertyArg
• verify::contract::PropertyKind
• verify::contract::RelOp
• verify::path::LoopTransfer
• verify::path::PathStart
• verify::path::PathStep

Traits

• analysis::Analysis
• analysis::core::alias_analysis::AliasAnalysis
• analysis::core::alias_analysis::default::graph::SccHelper
• analysis::core::api_dependency::ApiDependencyAnalysis
• analysis::core::callgraph::CallGraphAnalysis
• analysis::core::dataflow::DataFlowAnalysis
• analysis::core::ownedheap_analysis::OwnedHeapAnalysis
• analysis::core::range_analysis::RangeAnalysis
• analysis::core::range_analysis::domain::SymbolicExpr::IntervalTypeTrait
• analysis::core::range_analysis::domain::domain::ConstConvert
• analysis::core::range_analysis::domain::domain::IntervalArithmetic
• analysis::core::range_analysis::domain::domain::Operation
• analysis::utils::show_mir::Display
• check::opt::OptCheck
• check::rcanary::IcxMut
• check::rcanary::IcxSliceMut
• check::rcanary::Rcx
• check::rcanary::RcxMut
• check::rcanary::Tcx
• utils::scc::Scc

Macros

• check::senryx::driver::cond_print
• def_id::intrinsics
• rap_debug
• rap_error
• rap_info
• rap_trace
• rap_warn

Functions

• analysis::core::alias_analysis::aa_place_desc_str
• analysis::core::alias_analysis::default::alias::is_no_alias_intrinsic
• analysis::core::alias_analysis::default::graph::scc_handler
• analysis::core::alias_analysis::default::mop::constraints_key
• analysis::core::alias_analysis::default::mop::enter_depth_limit
• analysis::core::alias_analysis::default::types::is_not_drop
• analysis::core::alias_analysis::default::types::kind
• analysis::core::alias_analysis::mfp::interproc::alias_specificity
• analysis::core::alias_analysis::mfp::interproc::extract_field_path
• analysis::core::alias_analysis::mfp::interproc::extract_fields
• analysis::core::alias_analysis::mfp::interproc::extract_summary
• analysis::core::alias_analysis::mfp::interproc::filter_redundant_aliases
• analysis::core::alias_analysis::mfp::interproc::is_field_prefix
• analysis::core::alias_analysis::mfp::interproc::is_strict_prefix
• analysis::core::alias_analysis::mfp::interproc::join_fn_summaries
• analysis::core::alias_analysis::mfp::intraproc::apply_conservative_alias_for_call
• analysis::core::alias_analysis::mfp::intraproc::apply_function_summary
• analysis::core::alias_analysis::mfp::transfer::mir_place_to_place_id
• analysis::core::alias_analysis::mfp::transfer::operand_to_place_id
• analysis::core::alias_analysis::mfp::transfer::sync_fields
• analysis::core::alias_analysis::mfp::transfer::sync_fields_recursive
• analysis::core::alias_analysis::mfp::transfer::transfer_aggregate
• analysis::core::alias_analysis::mfp::transfer::transfer_assign
• analysis::core::alias_analysis::mfp::transfer::transfer_call
• analysis::core::alias_analysis::mfp::transfer::transfer_field_assign
• analysis::core::alias_analysis::mfp::transfer::transfer_ref
• analysis::core::api_dependency::fuzzable::is_fuzzable_std_ty
• analysis::core::api_dependency::fuzzable::is_fuzzable_ty
• analysis::core::api_dependency::fuzzable::is_non_fuzzable_std_ty
• analysis::core::api_dependency::graph::resolve::add_return_type_if_reachable
• analysis::core::api_dependency::graph::resolve::partion_generic_api
• analysis::core::api_dependency::graph::resolve::select_minimal_set_cover
• analysis::core::api_dependency::graph::std_tys::std_vec
• analysis::core::api_dependency::graph::ty_wrapper::desc_ty_str
• analysis::core::api_dependency::graph::ty_wrapper::eq_ty
• analysis::core::api_dependency::graph::ty_wrapper::hash_ty
• analysis::core::api_dependency::graph::ty_wrapper::traverse_ty_with_lifetime
• analysis::core::api_dependency::is_def_id_public
• analysis::core::api_dependency::is_fuzzable_ty
• analysis::core::api_dependency::mono::add_transform_tys
• analysis::core::api_dependency::mono::eliminate_infer_var
• analysis::core::api_dependency::mono::get_impls
• analysis::core::api_dependency::mono::get_mono_complexity
• analysis::core::api_dependency::mono::get_mono_set
• analysis::core::api_dependency::mono::get_unbound_generic_candidates
• analysis::core::api_dependency::mono::is_args_fit_trait_bound
• analysis::core::api_dependency::mono::is_fn_solvable
• analysis::core::api_dependency::mono::resolve_mono_apis
• analysis::core::api_dependency::mono::solve_unbound_type_generics
• analysis::core::api_dependency::mono::unify_trait
• analysis::core::api_dependency::mono::unify_ty
• analysis::core::api_dependency::utils::fn_requires_monomorphization
• analysis::core::api_dependency::utils::fn_sig_with_generic_args
• analysis::core::api_dependency::utils::is_def_id_public
• analysis::core::api_dependency::utils::is_fuzzable_api
• analysis::core::api_dependency::utils::is_fuzzable_ty
• analysis::core::api_dependency::utils::is_ty_eq
• analysis::core::api_dependency::utils::is_ty_unstable
• analysis::core::api_dependency::utils::ty_complexity
• analysis::core::api_dependency::visit::has_const_generics
• analysis::core::api_dependency::visit::is_drop_impl
• analysis::core::dataflow::debug::escaped_string
• analysis::core::ownedheap_analysis::default::copy_ty_context
• analysis::core::ownedheap_analysis::default::is_display_verbose
• analysis::core::ssa_transform::lvalue_check
• analysis::core::ssa_transform::mir_to_dot
• analysis::core::ssa_transform::print_diff
• analysis::core::ssa_transform::print_mir_graph
• analysis::scan::visitor::is_api_public
• analysis::upg::draw_dot::render_dot_graphs
• analysis::upg::draw_dot::render_dot_string
• analysis::upg::hir_visitor::create_adt_impl_map
• analysis::utils::def_path::def_path_def_ids
• analysis::utils::def_path::def_path_last_def_id
• analysis::utils::def_path::def_path_res
• analysis::utils::def_path::def_path_res_with_base
• analysis::utils::def_path::find_crates
• analysis::utils::def_path::find_primitive_impls
• analysis::utils::def_path::item_children_by_name
• analysis::utils::def_path::local_item_children_by_name
• analysis::utils::def_path::non_local_item_children_by_name
• analysis::utils::def_path::path_str_def_id
• analysis::utils::draw_dot::render_dot_graphs
• analysis::utils::draw_dot::render_dot_string
• analysis::utils::fn_info::access_ident_recursive
• analysis::utils::fn_info::append_fn_with_types
• analysis::utils::fn_info::check_safety
• analysis::utils::fn_info::check_visibility
• analysis::utils::fn_info::collect_global_local_pairs
• analysis::utils::fn_info::dfs_find_unsafe_chains
• analysis::utils::fn_info::display_hashmap
• analysis::utils::fn_info::extract_unsafe_callee
• analysis::utils::fn_info::find_generic_in_ty
• analysis::utils::fn_info::find_generic_param
• analysis::utils::fn_info::find_unsafe_callees_in_function
• analysis::utils::fn_info::generate_contract_from_annotation
• analysis::utils::fn_info::generate_contract_from_annotation_without_field_types
• analysis::utils::fn_info::generate_contract_from_std_annotation_json
• analysis::utils::fn_info::generate_mir_cfg_dot
• analysis::utils::fn_info::get_adt_def_id_by_adt_method
• analysis::utils::fn_info::get_adt_ty
• analysis::utils::fn_info::get_adt_via_method
• analysis::utils::fn_info::get_all_callees
• analysis::utils::fn_info::get_all_mutable_methods
• analysis::utils::fn_info::get_all_std_fns_by_rustc_public
• analysis::utils::fn_info::get_all_std_unsafe_callees
• analysis::utils::fn_info::get_all_std_unsafe_callees_block_id
• analysis::utils::fn_info::get_all_std_unsafe_chains
• analysis::utils::fn_info::get_cleaned_def_path_name
• analysis::utils::fn_info::get_cleaned_def_path_name_ori
• analysis::utils::fn_info::get_cons
• analysis::utils::fn_info::get_impls_for_struct
• analysis::utils::fn_info::get_known_std_names
• analysis::utils::fn_info::get_pointee
• analysis::utils::fn_info::get_ptr_deref_dummy_def_id
• analysis::utils::fn_info::get_public_fields
• analysis::utils::fn_info::get_rawptr_deref
• analysis::utils::fn_info::get_sp
• analysis::utils::fn_info::get_sp_tags_and_args_json
• analysis::utils::fn_info::get_sp_tags_json
• analysis::utils::fn_info::get_std_api_signature_json
• analysis::utils::fn_info::get_std_contracts
• analysis::utils::fn_info::get_struct_name
• analysis::utils::fn_info::get_type
• analysis::utils::fn_info::get_unsafe_callees
• analysis::utils::fn_info::has_mut_self_param
• analysis::utils::fn_info::has_tainted_fields
• analysis::utils::fn_info::is_ptr
• analysis::utils::fn_info::is_re_exported
• analysis::utils::fn_info::is_ref
• analysis::utils::fn_info::is_slice
• analysis::utils::fn_info::is_strict_ty
• analysis::utils::fn_info::is_strict_ty_convert
• analysis::utils::fn_info::is_verify_target_func
• analysis::utils::fn_info::match_primitive_type
• analysis::utils::fn_info::match_std_unsafe_callee
• analysis::utils::fn_info::match_std_unsafe_chains_callee
• analysis::utils::fn_info::match_ty_with_ident
• analysis::utils::fn_info::parse_contract_target
• analysis::utils::fn_info::parse_expr_into_local_and_ty
• analysis::utils::fn_info::parse_expr_into_number
• analysis::utils::fn_info::parse_local_signature
• analysis::utils::fn_info::parse_outside_signature
• analysis::utils::fn_info::parse_signature
• analysis::utils::fn_info::place_has_raw_deref
• analysis::utils::fn_info::print_hashset
• analysis::utils::fn_info::print_unsafe_chains
• analysis::utils::fn_info::reflect_generic
• analysis::utils::fn_info::reverse_op
• analysis::utils::fn_info::search_constructor
• analysis::utils::fn_info::try_get_mir
• analysis::utils::path::get_path_resolver
• analysis::utils::path::join_path_with_ident
• analysis::utils::show_mir::display_mir
• check::opt::checking::bounds_checking::bounds_extend::is_extend_from_slice
• 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::is_collect_node
• check::opt::data_collection::reallocation::flatten_collect::is_flatten_node
• 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::is_hash_new_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::is_vec_new_node
• check::opt::data_collection::reallocation::unreserved_vec::is_vec_push_node
• 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::is_vec_insert_or_remove
• check::opt::data_collection::suboptimal::vec_remove::report_vec_remove_bug
• check::opt::iterator::next_iterator::report_next_iterator_bug
• check::opt::memory_cloning::hash_key_cloning::find_first_param_upside_clone
• check::opt::memory_cloning::hash_key_cloning::find_hash_new_node
• check::opt::memory_cloning::hash_key_cloning::report_hash_key_cloning
• 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_icx_slice_verbose
• check::rcanary::ranalyzer::is_z3_goal_verbose
• check::safedrop::corner_case::should_check
• check::safedrop::query_safedrop
• check::senryx::callsite::get_arg_place
• check::senryx::callsite::has_unsafe_api_contract
• check::senryx::dominated_graph::html_escape
• check::senryx::symbolic_analysis::binop_to_str
• check::senryx::symbolic_analysis::debug_z3_solver_state
• check::senryx::symbolic_analysis::get_operand_bv
• check::senryx::symbolic_analysis::operand_to_str
• check::senryx::symbolic_analysis::verify_with_z3
• 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::init_inner
• 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
• help::styled_cargo_rapx_usage
• help::styled_rapx_usage
• help::styled_str
• 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_can_read_dir
• utils::fs::rap_copy_file
• utils::fs::rap_create_dir
• utils::fs::rap_create_file
• utils::fs::rap_demangle
• utils::fs::rap_read
• utils::fs::rap_remove_dir
• utils::fs::rap_write
• utils::log::are_spans_in_same_file
• utils::log::get_basic_block_span
• utils::log::get_variable_name
• utils::log::init_log
• utils::log::log_level
• utils::log::rap_error_and_exit
• utils::log::relative_pos_range
• utils::log::span_to_filename
• utils::log::span_to_first_line
• utils::log::span_to_line_number
• utils::log::span_to_source_code
• utils::log::span_to_trimmed_span
• utils::source::convert_filename
• utils::source::get_adt_name
• utils::source::get_crate_num
• utils::source::get_filename
• utils::source::get_fn_name
• utils::source::get_fn_name_byid
• utils::source::get_module_name
• utils::source::get_name
• verify::assets_parser::get_std_contracts_from_assets
• verify::assets_parser::get_std_contracts_from_json
• verify::assets_parser::normalize_json_trailing_commas
• verify::attr_parser::is_expected_syn_rapx_attr
• verify::attr_parser::parse_property_expr
• verify::attr_parser::parse_rapx_attr
• verify::helpers::access_ident_recursive
• verify::helpers::check_safety
• verify::helpers::collect_unsafe_callsites
• verify::helpers::find_generic_in_ty
• verify::helpers::find_generic_param
• verify::helpers::get_cleaned_def_path_name
• verify::helpers::get_known_std_names
• verify::helpers::get_std_api_signature_json
• verify::helpers::get_struct_name
• verify::helpers::get_struct_self_ty
• verify::helpers::get_unsafe_callees
• verify::helpers::match_primitive_type
• verify::helpers::match_ty_with_ident
• verify::helpers::parse_expr_into_local_and_ty
• verify::helpers::parse_expr_into_number
• verify::helpers::parse_local_signature
• verify::helpers::parse_outside_signature
• verify::helpers::parse_signature
• verify::helpers::push_unwind_target
• verify::helpers::resolve_next_field
• verify::helpers::resolve_projection_from_base_ident
• verify::helpers::resolve_projection_from_struct_ident
• verify::helpers::terminator_successors
• verify::path::find_loops
• verify::path::has_other_callsite
• verify::target::collect_properties_from_requires_attrs
• verify::target::get_contract_from_annotation
• verify::target::get_contract_from_entry
• verify::target::get_struct_invariants_from_annotation
• verify::target::is_rapx_requires_attr

Type Aliases

• analysis::core::alias_analysis::FnAliasMap
• analysis::core::alias_analysis::default::MopFnAliasMap
• analysis::core::api_dependency::graph::InnerGraph
• analysis::core::callgraph::FnCallMap
• analysis::core::callgraph::default::CallMap
• analysis::core::dataflow::Arg2Ret
• analysis::core::dataflow::Arg2RetMap
• analysis::core::dataflow::DataFlowGraphMap
• analysis::core::dataflow::EdgeIdx
• analysis::core::dataflow::GraphEdges
• analysis::core::dataflow::GraphNodes
• analysis::core::ownedheap_analysis::OHAResultMap
• analysis::core::range_analysis::PathConstraint
• analysis::core::range_analysis::PathConstraintMap
• analysis::core::range_analysis::RAResult
• analysis::core::range_analysis::RAResultMap
• analysis::core::range_analysis::RAVecResultMap
• analysis::core::range_analysis::domain::domain::DefMap
• analysis::core::range_analysis::domain::domain::GenOprs
• analysis::core::range_analysis::domain::domain::SymbMap
• analysis::core::range_analysis::domain::domain::UseMap
• analysis::core::range_analysis::domain::domain::ValuesBranchMap
• analysis::core::range_analysis::domain::domain::VarNodes
• analysis::upg::fn_collector::FnMap
• analysis::upg::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
• verify::target::FnContracts
• verify::target::StructInvariants

Statics

• RAP_DEFAULT_ARGS
• analysis::core::api_dependency::graph::transform::ALL_TRANSFORMKIND
• analysis::core::api_dependency::mono::MAX_STEP_SET_SIZE
• analysis::core::range_analysis::STR_MAX
• analysis::core::range_analysis::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::iterator::next_iterator::DEFPATHS
• check::opt::memory_cloning::hash_key_cloning::DEFPATHS
• check::opt::memory_cloning::used_as_immutable::DEFPATHS
• def_id::INIT

Constants

• analysis::core::alias_analysis::default::VISIT_LIMIT
• analysis::core::alias_analysis::default::mop::CHECK_DEPTH
• analysis::core::alias_analysis::default::mop::CHECK_STACK_LIMIT
• analysis::core::alias_analysis::default::mop::SCC_DFS_DEPTH
• analysis::core::alias_analysis::default::mop::SCC_DFS_STACK_LIMIT
• analysis::core::alias_analysis::default::mop::SCC_PATH_CACHE
• analysis::core::alias_analysis::default::mop::SCC_PATH_CACHE_LIMIT
• analysis::core::api_dependency::fuzzable::MAX_DEPTH
• analysis::core::api_dependency::graph::resolve::MAX_TY_COMPLX
• analysis::utils::show_mir::EXPLAIN
• analysis::utils::show_mir::NEXT_LINE
• analysis::utils::show_mir::PADDING
• check::safedrop::safedrop::VISIT_LIMIT
• def_id::INTRINSICS
• help::CARGO_RAPX_STYLING
• help::RAPX_AFTER_HELP
• help::RAPX_STYLING
• help::RAPX_VERSION