List of all items

Structs

• RapCallback
• analysis::core::alias_analysis::AAFact
• analysis::core::alias_analysis::AAResult
• analysis::core::alias_analysis::AAResultMapWrapper
• analysis::core::alias_analysis::default::AliasAnalyzer
• analysis::core::alias_analysis::default::MopAAFact
• analysis::core::alias_analysis::default::MopAAResult
• 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::value::Value
• analysis::core::api_dependency::ApiDependencyAnalyzer
• analysis::core::api_dependency::Config
• analysis::core::api_dependency::graph::ApiDependencyGraph
• analysis::core::api_dependency::graph::Statistics
• analysis::core::api_dependency::graph::TyWrapper
• analysis::core::callgraph::CallGraph
• analysis::core::callgraph::CallGraphDisplay
• analysis::core::callgraph::default::CallGraphAnalyzer
• analysis::core::callgraph::default::CallGraphInfo
• analysis::core::callgraph::default::Node
• 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::IndexedTy
• 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::domain::AggregateOp
• analysis::core::range_analysis::domain::domain::BasicInterval
• 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::SymbInterval
• 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::graphs::scc::SccExit
• analysis::graphs::scc::SccInfo
• analysis::opt::LEVEL
• 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_len::BoundsLenCheck
• analysis::opt::checking::bounds_checking::bounds_loop_push::BoundsLoopPushCheck
• 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::string_lowercase::StringLowercaseCheck
• analysis::opt::checking::encoding_checking::string_push::StringPushCheck
• analysis::opt::checking::encoding_checking::vec_encoding::VecEncodingCheck
• analysis::opt::data_collection::initialization::InitializationCheck
• analysis::opt::data_collection::initialization::local_set::LocalSetCheck
• analysis::opt::data_collection::initialization::vec_init::VecInitCheck
• analysis::opt::data_collection::reallocation::ReservationCheck
• analysis::opt::data_collection::reallocation::flatten_collect::FlattenCollectCheck
• analysis::opt::data_collection::reallocation::unreserved_hash::UnreservedHashCheck
• analysis::opt::data_collection::reallocation::unreserved_vec::LoopFinder
• analysis::opt::data_collection::reallocation::unreserved_vec::PushFinder
• analysis::opt::data_collection::reallocation::unreserved_vec::UnreservedVecCheck
• analysis::opt::data_collection::suboptimal::SuboptimalCheck
• analysis::opt::data_collection::suboptimal::participant::ParticipantCheck
• analysis::opt::data_collection::suboptimal::slice_contains::SliceContainsCheck
• analysis::opt::data_collection::suboptimal::vec_remove::VecRemoveCheck
• analysis::opt::iterator::next_iterator::NextIteratorCheck
• analysis::opt::memory_cloning::hash_key_cloning::HashKeyCloningCheck
• 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::IntraFlowContext
• analysis::rcanary::ranalyzer::NodeOrder
• analysis::rcanary::ranalyzer::ownership::Taint
• analysis::safedrop::SafeDrop
• analysis::safedrop::bug_records::BugRecords
• analysis::safedrop::bug_records::TyBug
• analysis::safedrop::graph::DropRecord
• analysis::safedrop::graph::SafeDropGraph
• analysis::scan::ScanAnalysis
• analysis::senryx::SenryxCheck
• analysis::senryx::contracts::property::CisRange
• analysis::senryx::contracts::property::ContractualInvariantState
• analysis::senryx::dominated_graph::DominatedGraph
• analysis::senryx::dominated_graph::FunctionSummary
• analysis::senryx::dominated_graph::InterResultNode
• analysis::senryx::dominated_graph::States
• analysis::senryx::dominated_graph::VariableNode
• analysis::senryx::generic_check::GenericChecker
• analysis::senryx::matcher::Sp
• analysis::senryx::matcher::UnsafeApi
• analysis::senryx::symbolic_analysis::ValueDomain
• analysis::senryx::visitor::BodyVisitor
• analysis::senryx::visitor::CheckResult
• analysis::test::Test
• 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::show_mir::ShowMir

Enums

• analysis::core::alias_analysis::default::assign::AssignType
• analysis::core::alias_analysis::default::block::Term
• analysis::core::alias_analysis::default::types::TyKind
• analysis::core::api_dependency::graph::dep_edge::DepEdge
• analysis::core::api_dependency::graph::dep_node::DepNode
• 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::SymbolicExpr
• analysis::core::range_analysis::domain::SymbolicExpr::UnknownReason
• analysis::core::range_analysis::domain::SymbolicExpr::VarorConst
• analysis::core::range_analysis::domain::domain::AggregateOperand
• analysis::core::range_analysis::domain::domain::BasicOpKind
• analysis::core::range_analysis::domain::domain::IntervalType
• analysis::core::range_analysis::domain::domain::SymbExpr
• 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::senryx::CheckLevel
• analysis::senryx::contracts::abstract_state::AlignState
• analysis::senryx::contracts::property::CisRangeItem
• analysis::senryx::contracts::property::PropertyContract
• analysis::senryx::symbolic_analysis::AnaOperand
• analysis::senryx::symbolic_analysis::SymbolicDef
• analysis::senryx::visitor::PlaceTy
• analysis::upg::TargetCrate
• analysis::upg::upg_graph::UPGEdge
• analysis::upg::upg_graph::UPGNode
• analysis::utils::fn_info::FnKind

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::domain::ConstConvert
• analysis::core::range_analysis::domain::domain::IntervalArithmetic
• analysis::core::range_analysis::domain::domain::IntervalTypeTrait
• analysis::core::range_analysis::domain::domain::Operation
• analysis::graphs::scc::Scc
• analysis::opt::OptCheck
• analysis::rcanary::IcxMut
• analysis::rcanary::IcxSliceMut
• analysis::rcanary::Rcx
• analysis::rcanary::RcxMut
• analysis::rcanary::Tcx
• analysis::utils::show_mir::Display

Macros

• rap_debug
• rap_error
• rap_info
• rap_trace
• rap_warn

Functions

• analysis::core::alias_analysis::default::graph::scc_handler
• analysis::core::alias_analysis::default::types::is_not_drop
• analysis::core::alias_analysis::default::types::kind
• analysis::core::api_dependency::graph::dep_node::desc_str
• analysis::core::api_dependency::is_def_id_public
• analysis::core::api_dependency::is_fuzzable_ty
• analysis::core::ownedheap_analysis::default::is_display_verbose
• analysis::core::ssa_transform::lvalue_check
• analysis::core::ssa_transform::print_diff
• analysis::core::ssa_transform::print_mir_graph
• analysis::rcanary::ranalyzer::is_icx_slice_verbose
• analysis::rcanary::ranalyzer::is_z3_goal_verbose
• analysis::safedrop::query_safedrop
• analysis::senryx::matcher::get_arg_place
• analysis::senryx::matcher::parse_unsafe_api
• analysis::senryx::symbolic_analysis::verify_with_z3
• 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::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::convert_alias_to_sets
• analysis::utils::fn_info::display_hashmap
• 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_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_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_cis_local
• 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_signature
• 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::show_mir::display_mir
• def_id::assume_init_drop
• def_id::assume_init_drop_opt
• def_id::call_mut
• def_id::call_mut_opt
• def_id::clone
• def_id::clone_opt
• def_id::copy_from
• def_id::copy_from_nonoverlapping
• def_id::copy_from_nonoverlapping_opt
• def_id::copy_from_opt
• def_id::copy_to
• def_id::copy_to_nonoverlapping
• def_id::copy_to_nonoverlapping_opt
• def_id::copy_to_opt
• def_id::dealloc
• def_id::dealloc_opt
• def_id::drop
• def_id::drop_in_place
• def_id::drop_in_place_opt
• def_id::drop_opt
• def_id::init
• def_id::manually_drop
• def_id::manually_drop_opt
• def_id::to_internal
• preprocess::doc_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::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::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

Type Aliases

• analysis::core::alias_analysis::AAResultMap
• analysis::core::alias_analysis::default::MopAAResultMap
• 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::rcanary::ranalyzer::Edges
• analysis::rcanary::ranalyzer::MirGraph
• analysis::rcanary::ranalyzer::ToPo
• analysis::upg::fn_collector::FnMap
• analysis::upg::hir_visitor::AdtImplMap

Statics

• RAP_DEFAULT_ARGS

Constants

• analysis::core::alias_analysis::default::VISIT_LIMIT
• analysis::safedrop::safedrop::VISIT_LIMIT