List of all items

Structs

• RapCallback
• analysis::core::alias::FnRetAlias
• analysis::core::alias::RetAlias
• analysis::core::alias::mop::MopAlias
• analysis::core::alias::mop::graph::Assignment
• analysis::core::alias::mop::graph::BlockNode
• analysis::core::alias::mop::graph::MopGraph
• analysis::core::alias::mop::graph::ValueNode
• analysis::core::api_dep::ApiDep
• analysis::core::api_dep::extract::FreeVarFolder
• analysis::core::api_dep::graph::ApiDepGraph
• analysis::core::api_dep::graph::Statistics
• analysis::core::api_dep::graph::lifetime::Lifetime
• analysis::core::api_dep::graph::ty_wrapper::TyWrapper
• analysis::core::api_dep::visitor::FnVisitor
• analysis::core::call_graph::CallGraph
• analysis::core::call_graph::call_graph_helper::CallGraphInfo
• analysis::core::call_graph::call_graph_helper::Node
• analysis::core::call_graph::call_graph_visitor::CallGraphVisitor
• analysis::core::dataflow::DataFlow
• analysis::core::dataflow::graph::Graph
• analysis::core::dataflow::graph::GraphEdge
• analysis::core::dataflow::graph::GraphNode
• analysis::core::heap_item::DefaultOwnership
• analysis::core::heap_item::Encoder
• analysis::core::heap_item::FindPtr
• analysis::core::heap_item::HeapItem
• analysis::core::heap_item::IndexedTy
• analysis::core::heap_item::IsolatedParam
• analysis::core::heap_item::IsolatedParamFieldSubst
• analysis::core::heap_item::IsolatedParamPropagation
• analysis::core::heap_item::IsolatedParameter
• analysis::core::heap_item::OwnerPropagation
• analysis::core::heap_item::TypeAnalysis
• analysis::core::heap_item::ownership::OwnershipLayoutResult
• analysis::core::heap_item::type_visitor::TyWithIndex
• analysis::core::range_analysis::PassRunner::PassRunner
• analysis::core::range_analysis::SSA::Replacer::Replacer
• analysis::core::range_analysis::SSA::SSATransformer::SSATransformer
• analysis::core::range_analysis::SSATrans
• analysis::opt::NO_STD
• analysis::opt::Opt
• analysis::opt::checking::bounds_checking::BoundsCheck
• analysis::opt::checking::bounds_checking::bounds_extend::BoundsExtendCheck
• analysis::opt::checking::bounds_checking::bounds_extend::DefPaths
• analysis::opt::checking::bounds_checking::bounds_len::BoundsLenCheck
• analysis::opt::checking::bounds_checking::bounds_len::DefPaths
• analysis::opt::checking::bounds_checking::bounds_loop_push::BoundsLoopPushCheck
• analysis::opt::checking::bounds_checking::bounds_loop_push::DefPaths
• analysis::opt::checking::bounds_checking::bounds_loop_push::LoopFinder
• analysis::opt::checking::bounds_checking::bounds_loop_push::PushFinder
• analysis::opt::checking::encoding_checking::EncodingCheck
• analysis::opt::checking::encoding_checking::array_encoding::ArrayEncodingCheck
• analysis::opt::checking::encoding_checking::array_encoding::DefPaths
• analysis::opt::checking::encoding_checking::vec_encoding::DefPaths
• analysis::opt::checking::encoding_checking::vec_encoding::VecEncodingCheck
• analysis::opt::data_collection::slice_contains::ContainsFinder
• analysis::opt::data_collection::slice_contains::DefPaths
• analysis::opt::data_collection::slice_contains::SliceContainsCheck
• analysis::opt::data_collection::unreserved_hash::DefPaths
• analysis::opt::data_collection::unreserved_hash::UnreservedHashCheck
• analysis::opt::iterator::next_iterator::DefPaths
• analysis::opt::iterator::next_iterator::NextFinder
• analysis::opt::iterator::next_iterator::NextIteratorCheck
• analysis::opt::memory_cloning::hash_key_cloning::DefPaths
• analysis::opt::memory_cloning::hash_key_cloning::HashInsertFinder
• analysis::opt::memory_cloning::hash_key_cloning::HashKeyCloningCheck
• analysis::opt::memory_cloning::used_as_immutable::DefPaths
• analysis::opt::memory_cloning::used_as_immutable::UsedAsImmutableCheck
• analysis::rcanary::rCanary
• analysis::rcanary::ranalyzer::FlowAnalysis
• analysis::rcanary::ranalyzer::Graph
• analysis::rcanary::ranalyzer::IOPairForGraph
• analysis::rcanary::ranalyzer::IcxSliceFroBlock
• analysis::rcanary::ranalyzer::InOutPair
• analysis::rcanary::ranalyzer::IntraFlowAnalysis
• analysis::rcanary::ranalyzer::IntraFlowContext
• analysis::rcanary::ranalyzer::NodeOrder
• analysis::rcanary::ranalyzer::intra_visitor::ProjectionSupport
• analysis::rcanary::ranalyzer::ownership::Taint
• analysis::safedrop::SafeDrop
• analysis::safedrop::bug_records::BugRecords
• analysis::safedrop::graph::Assignment
• analysis::safedrop::graph::BlockNode
• analysis::safedrop::graph::SafeDropGraph
• analysis::safedrop::graph::ValueNode
• analysis::senryx::SenryxCheck
• analysis::senryx::contracts::abstract_state::AbstractStateItem
• analysis::senryx::contracts::abstract_state::PathInfo
• analysis::senryx::contracts::checker::SliceFromRawPartsChecker
• analysis::senryx::dominated_chain::DominatedGraph
• analysis::senryx::dominated_chain::States
• analysis::senryx::dominated_chain::VariableNode
• analysis::senryx::generic_check::GenericChecker
• analysis::senryx::inter_record::InterAnalysisRecord
• analysis::senryx::matcher::Sp
• analysis::senryx::matcher::UnsafeApi
• analysis::senryx::visitor::BodyVisitor
• analysis::senryx::visitor::CheckResult
• analysis::unsafety_isolation::UnsafetyIsolationCheck
• analysis::unsafety_isolation::generate_dot::UigUnit
• analysis::unsafety_isolation::hir_visitor::ContainsLit
• analysis::unsafety_isolation::hir_visitor::ContainsUnsafe
• analysis::unsafety_isolation::hir_visitor::RelatedFnCollector
• analysis::unsafety_isolation::isolation_graph::IsolationGraphNode
• analysis::utils::def_path::DefPath
• analysis::utils::show_mir::ShowMir

Enums

• RapPhase
• analysis::core::alias::mop::graph::AssignType
• analysis::core::alias::mop::types::TyKind
• analysis::core::api_dep::graph::dep_edge::DepEdge
• analysis::core::api_dep::graph::dep_node::DepNode
• analysis::core::api_dep::graph::dep_node::IntrinsicKind
• analysis::core::api_dep::graph::lifetime::LifetimeKind
• analysis::core::dataflow::graph::AggKind
• analysis::core::dataflow::graph::DFSStatus
• analysis::core::dataflow::graph::Direction
• analysis::core::dataflow::graph::EdgeOp
• analysis::core::dataflow::graph::NodeOp
• analysis::core::heap_item::ownership::RawTypeOwner
• analysis::core::heap_item::ownership::TypeOwner
• analysis::rcanary::ranalyzer::IcxSliceDisplay
• analysis::rcanary::ranalyzer::Z3GoalDisplay
• analysis::rcanary::ranalyzer::intra_visitor::AsgnKind
• analysis::rcanary::ranalyzer::ownership::ContextTypeOwner
• analysis::rcanary::ranalyzer::ownership::IntraVar
• analysis::rcanary::ranalyzer::ownership::OwnerKind
• analysis::safedrop::graph::AssignType
• analysis::safedrop::types::TyKind
• analysis::senryx::CheckLevel
• analysis::senryx::contracts::abstract_state::AlignState
• analysis::senryx::contracts::abstract_state::AllocatedState
• analysis::senryx::contracts::abstract_state::InitState
• analysis::senryx::contracts::abstract_state::Op
• analysis::senryx::contracts::abstract_state::StateType
• analysis::senryx::contracts::abstract_state::VType
• analysis::senryx::contracts::abstract_state::Value
• analysis::senryx::contracts::contract::Contract
• analysis::senryx::visitor::PlaceTy
• analysis::unsafety_isolation::UigInstruction
• analysis::unsafety_isolation::generate_dot::UigEdge
• analysis::unsafety_isolation::generate_dot::UigNode
• analysis::unsafety_isolation::generate_dot::UigOp

Traits

• analysis::opt::OptCheck
• analysis::rcanary::IcxMut
• analysis::rcanary::IcxSliceMut
• analysis::rcanary::Rcx
• analysis::rcanary::RcxMut
• analysis::rcanary::Tcx
• analysis::senryx::contracts::checker::Checker
• analysis::senryx::contracts::state_lattice::Lattice
• analysis::utils::show_mir::Display

Macros

• analysis::senryx::cond_print
• rap_debug
• rap_error
• rap_info
• rap_trace
• rap_warn

Functions

• analysis::core::alias::mop::types::is_not_drop
• analysis::core::alias::mop::types::kind
• analysis::core::api_dep::extract::constraint_str
• analysis::core::api_dep::extract::extract_constraints
• analysis::core::api_dep::extract::region_str
• analysis::core::api_dep::extract::region_vid_str
• analysis::core::api_dep::graph::dep_node::desc_str
• analysis::core::api_dep::graph::ty_wrapper::desc_ty_str
• analysis::core::api_dep::graph::ty_wrapper::eq_ty
• analysis::core::api_dep::graph::ty_wrapper::hash_ty
• analysis::core::api_dep::graph::ty_wrapper::traverse_ty_with_lifetime
• analysis::core::api_dep::visitor::get_bound_var_attr
• analysis::core::dataflow::debug::escaped_string
• analysis::core::heap_item::is_display_verbose
• analysis::core::heap_item::mir_body
• analysis::core::heap_item::type_visitor::copy_ty_context
• analysis::opt::checking::bounds_checking::bounds_extend::is_extend_from_slice
• analysis::opt::checking::bounds_checking::bounds_extend::report_extend_bug
• analysis::opt::checking::bounds_checking::bounds_len::extract_upperbound_node_if_ops_range
• analysis::opt::checking::bounds_checking::bounds_len::find_downside_index_node
• analysis::opt::checking::bounds_checking::bounds_len::find_upside_vec_len_node
• analysis::opt::checking::bounds_checking::bounds_len::report_upperbound_bug
• analysis::opt::checking::bounds_checking::bounds_loop_push::report_loop_push_bug
• analysis::opt::checking::encoding_checking::array_encoding::extract_ancestor_set_if_is_str_from
• analysis::opt::checking::encoding_checking::array_encoding::is_valid_index_edge
• analysis::opt::checking::encoding_checking::report_encoding_bug
• analysis::opt::checking::encoding_checking::value_is_from_const
• analysis::opt::checking::encoding_checking::vec_encoding::extract_vec_if_is_string_from
• analysis::opt::checking::encoding_checking::vec_encoding::find_downside_push_node
• analysis::opt::checking::encoding_checking::vec_encoding::find_upside_vec_new_node
• analysis::opt::data_collection::slice_contains::report_slice_contains_bug
• analysis::opt::data_collection::unreserved_hash::find_downside_hash_insert_node
• analysis::opt::data_collection::unreserved_hash::is_hash_new_node
• analysis::opt::data_collection::unreserved_hash::report_unreserved_hash_bug
• analysis::opt::iterator::next_iterator::report_next_iterator_bug
• analysis::opt::memory_cloning::hash_key_cloning::find_first_param_upside_clone
• analysis::opt::memory_cloning::hash_key_cloning::find_hash_new_node
• analysis::opt::memory_cloning::hash_key_cloning::report_hash_key_cloning
• analysis::opt::memory_cloning::used_as_immutable::find_downside_use_as_param
• analysis::opt::memory_cloning::used_as_immutable::report_used_as_immutable
• analysis::rcanary::ranalyzer::intra_visitor::has_projection
• analysis::rcanary::ranalyzer::intra_visitor::help_debug_goal_stmt
• analysis::rcanary::ranalyzer::intra_visitor::help_debug_goal_term
• analysis::rcanary::ranalyzer::intra_visitor::is_place_containing_ptr
• analysis::rcanary::ranalyzer::intra_visitor::new_local_name
• analysis::rcanary::ranalyzer::intra_visitor::ownership_layout_to_rustbv
• analysis::rcanary::ranalyzer::intra_visitor::reverse_ownership_layout_to_rustbv
• analysis::rcanary::ranalyzer::intra_visitor::rustbv_merge
• analysis::rcanary::ranalyzer::intra_visitor::rustbv_to_int
• analysis::rcanary::ranalyzer::is_icx_slice_verbose
• analysis::rcanary::ranalyzer::is_z3_goal_verbose
• analysis::safedrop::corner_handle::is_corner_adt
• analysis::safedrop::query_safedrop
• analysis::safedrop::types::is_not_drop
• analysis::safedrop::types::kind
• analysis::senryx::contracts::contract::check_contract
• analysis::senryx::contracts::contract::check_is_same_state_type
• analysis::senryx::contracts::contract::handle_state_op
• analysis::senryx::contracts::contract::handle_value_op
• analysis::senryx::matcher::get_arg_place
• analysis::senryx::matcher::match_unsafe_api_and_check_contracts
• analysis::senryx::matcher::parse_unsafe_api
• analysis::senryx::matcher::process_checker
• analysis::unsafety_isolation::draw_dot::render_dot_graphs
• analysis::unsafety_isolation::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::fn_info::check_safety
• analysis::utils::fn_info::check_visibility
• analysis::utils::fn_info::display_hashmap
• analysis::utils::fn_info::generate_node_ty
• analysis::utils::fn_info::get_all_mutable_methods
• 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_callees
• analysis::utils::fn_info::get_cleaned_def_path_name
• analysis::utils::fn_info::get_cons
• analysis::utils::fn_info::get_impls_for_struct
• analysis::utils::fn_info::get_pointee
• analysis::utils::fn_info::get_sp
• analysis::utils::fn_info::get_sp_json
• analysis::utils::fn_info::get_struct_name
• analysis::utils::fn_info::get_type
• analysis::utils::fn_info::has_mut_self_param
• analysis::utils::fn_info::is_ptr
• analysis::utils::fn_info::is_re_exported
• analysis::utils::fn_info::is_ref
• analysis::utils::fn_info::match_std_unsafe_callee
• analysis::utils::fn_info::print_hashset
• analysis::utils::show_mir::display_mir
• 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::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_filename
• utils::source::get_fn_name
• utils::source::get_name

Type Aliases

• Elapsed
• analysis::core::alias::FnMap
• analysis::core::api_dep::graph::InnerGraph
• analysis::core::dataflow::graph::EdgeIdx
• analysis::core::dataflow::graph::GraphEdges
• analysis::core::dataflow::graph::GraphNodes
• analysis::core::heap_item::AdtOwner
• analysis::core::heap_item::OwnerUnit
• analysis::core::heap_item::OwnershipLayout
• analysis::core::heap_item::Parameters
• analysis::core::heap_item::RustBV
• analysis::core::heap_item::TyMap
• analysis::core::heap_item::Unique
• analysis::rcanary::ranalyzer::Edges
• analysis::rcanary::ranalyzer::MirGraph
• analysis::rcanary::ranalyzer::ToPo
• analysis::rcanary::ranalyzer::intra_visitor::Aggre
• analysis::rcanary::ranalyzer::intra_visitor::Disc
• analysis::safedrop::graph::SccOuter
• analysis::unsafety_isolation::generate_dot::NodeType
• analysis::unsafety_isolation::hir_visitor::AdtImplMap
• analysis::unsafety_isolation::hir_visitor::RelatedItemMap

Statics

• RAP_DEFAULT_ARGS
• analysis::opt::checking::bounds_checking::bounds_extend::DEFPATHS
• analysis::opt::checking::bounds_checking::bounds_len::DEFPATHS
• analysis::opt::checking::bounds_checking::bounds_loop_push::DEFPATHS
• analysis::opt::checking::encoding_checking::array_encoding::DEFPATHS
• analysis::opt::checking::encoding_checking::vec_encoding::DEFPATHS
• analysis::opt::data_collection::slice_contains::DEFPATHS
• analysis::opt::data_collection::unreserved_hash::DEFPATHS
• analysis::opt::iterator::next_iterator::DEFPATHS
• analysis::opt::memory_cloning::hash_key_cloning::DEFPATHS
• analysis::opt::memory_cloning::used_as_immutable::DEFPATHS

Constants

• analysis::core::alias::mop::VISIT_LIMIT
• analysis::safedrop::safedrop::VISIT_LIMIT
• analysis::utils::intrinsic_id::ASSUME_INIT_DROP
• analysis::utils::intrinsic_id::BOX_DROP_IN_PLACE
• analysis::utils::intrinsic_id::CALL_MUT
• analysis::utils::intrinsic_id::CLONE
• analysis::utils::intrinsic_id::COPY_FROM
• analysis::utils::intrinsic_id::COPY_FROM_NONOVERLAPPING
• analysis::utils::intrinsic_id::COPY_TO
• analysis::utils::intrinsic_id::COPY_TO_NONOVERLAPPING
• analysis::utils::intrinsic_id::DEALLOC
• analysis::utils::intrinsic_id::DROP
• analysis::utils::intrinsic_id::DROP_IN_PLACE
• analysis::utils::intrinsic_id::MANUALLYDROP
• analysis::utils::intrinsic_id::NEXT
• analysis::utils::show_mir::EXPLAIN
• analysis::utils::show_mir::NEXT_LINE
• analysis::utils::show_mir::PADDING