List of all items

Structs

• analysis::CodeGraph
• analysis::CondensationJson
• analysis::CondensationResult
• analysis::Cycle
• analysis::CycleInfo
• analysis::CycleReport
• analysis::DeadSymbol
• analysis::DeadSymbolJson
• analysis::EnhancedBlastZone
• analysis::EnhancedCycles
• analysis::EnhancedDeadCode
• analysis::ExecutionPath
• analysis::ExecutionPathJson
• analysis::LoopInfo
• analysis::MagellanBridge
• analysis::PathEnumerationJson
• analysis::PathEnumerationResult
• analysis::PathImpactSummary
• analysis::PathStatisticsJson
• analysis::SliceStats
• analysis::SliceWrapper
• analysis::SupernodeJson
• analysis::SymbolInfo
• analysis::SymbolInfoJson
• cfg::BasicBlock
• cfg::ast::CFGBuilder
• cfg::diff::BlockChange
• cfg::diff::BlockDiff
• cfg::diff::CfgDiff
• cfg::diff::EdgeDiff
• cfg::dominance_frontiers::DominanceFrontiers
• cfg::dominators::DominatorTree
• cfg::dominators::Dominators
• cfg::export::BlockCoverage
• cfg::export::BlockExport
• cfg::export::CFGExport
• cfg::export::CoordinateStatistics
• cfg::export::EdgeExport
• cfg::hotpaths::HotPath
• cfg::hotpaths::HotpathsOptions
• cfg::icfg::Icfg
• cfg::icfg::IcfgEdgeJson
• cfg::icfg::IcfgJson
• cfg::icfg::IcfgNode
• cfg::icfg::IcfgNodeJson
• cfg::icfg::IcfgOptions
• cfg::loops::NaturalLoop
• cfg::paths::EnumerationContext
• cfg::paths::EnumerationStats
• cfg::paths::IncrementalPathsResult
• cfg::paths::Path
• cfg::paths::PathEnumerationResult
• cfg::paths::PathLimits
• cfg::patterns::IfElsePattern
• cfg::patterns::MatchPattern
• cfg::post_dominators::PostDominatorTree
• cfg::post_dominators::PostDominators
• cfg::reachability::BlockImpact
• cfg::reachability::PathImpact
• cfg::reachability::ReachabilityCache
• cfg::source::SourceLocation
• cfg::summary::PathSummarizer
• cli::BlastZoneArgs
• cli::CfgArgs
• cli::Cli
• cli::CoverageArgs
• cli::CyclesArgs
• cli::DiffArgs
• cli::DominatorsArgs
• cli::FrontiersArgs
• cli::HotpathsArgs
• cli::HotspotsArgs
• cli::IcfgArgs
• cli::LoopsArgs
• cli::MigrateArgs
• cli::PathsArgs
• cli::PatternsArgs
• cli::SliceArgs
• cli::StatusArgs
• cli::UnreachableArgs
• cli::VerifyArgs
• mir::charon_llbc::BlockData
• mir::charon_llbc::Body
• mir::charon_llbc::Crate
• mir::charon_llbc::File
• mir::charon_llbc::FunDecl
• mir::charon_llbc::FunSignature
• mir::charon_llbc::Generics
• mir::charon_llbc::Loc
• mir::charon_llbc::Local
• mir::charon_llbc::Meta
• mir::charon_llbc::Span
• mir::charon_llbc::SwitchTarget
• mir::charon_llbc::UllbcBody
• output::JsonError
• output::JsonResponse
• router::BlastZone
• router::BranchPattern
• router::CallCycle
• router::CallGraph
• router::CallGraphEdge
• router::CallGraphNode
• router::CfgBlockInfo
• router::DatabaseStatus
• router::DominanceFrontiers
• router::DominatorTree
• router::ExecutionPath
• router::HotPath
• router::Hotspot
• router::IcfgEdge
• router::IcfgNode
• router::InterProceduralCfg
• router::NaturalLoop
• router::PathVerification
• router::SliceResult
• router::UnreachableCode
• router::sqlite::SqliteRouter
• storage::CfgBlockData
• storage::DatabaseStatus
• storage::MirageDb
• storage::paths::PathCache
• storage::sqlite_backend::SqliteStorage

Enums

• analysis::CycleKind
• cfg::BlockKind
• cfg::Terminator
• cfg::diff::ChangeType
• cfg::edge::EdgeType
• cfg::icfg::IcfgEdge
• cfg::icfg::IcfgNodeType
• cfg::paths::LimitsHit
• cfg::paths::PathKind
• cfg::patterns::BranchType
• cli::BackendFormat
• cli::CfgFormat
• cli::Commands
• cli::CycleTypeArg
• cli::IcfgFormat
• cli::OutputFormat
• cli::SliceDirectionArg
• mir::charon_llbc::BinOp
• mir::charon_llbc::FnPtr
• mir::charon_llbc::IntegerTy
• mir::charon_llbc::Operand
• mir::charon_llbc::Place
• mir::charon_llbc::RefKind
• mir::charon_llbc::Rvalue
• mir::charon_llbc::Statement
• mir::charon_llbc::Terminator
• mir::charon_llbc::Ty
• mir::charon_llbc::UnOp
• router::SliceDirection
• storage::Backend
• storage::BackendFormat

Traits

• router::BackendRouter
• storage::StorageTrait

Functions

• cfg::analysis::find_entry
• cfg::analysis::find_exits
• cfg::analysis::get_block_kind
• cfg::analysis::in_degree
• cfg::analysis::is_branch_point
• cfg::analysis::is_exit_block
• cfg::analysis::is_merge_point
• cfg::analysis::out_degree
• cfg::ast::ast_to_cfg
• cfg::build_edges_from_cfg_edges
• cfg::build_edges_from_terminators
• cfg::coordinates::calculate_branch_distance
• cfg::coordinates::calculate_dominator_depth
• cfg::coordinates::calculate_loop_nesting_depth
• cfg::diff::blocks_to_petgraph
• cfg::diff::compute_cfg_diff
• cfg::dominance_frontiers::compute_dominance_frontiers
• cfg::dominators::compute_dominator_tree
• cfg::dominators::immediate_dominator_id
• cfg::edge::classify_terminator
• cfg::export::calculate_coordinate_statistics
• cfg::export::export_dot
• cfg::export::export_dot_with_coords
• cfg::export::export_human_with_coords
• cfg::export::export_json
• cfg::git_utils::get_changed_functions
• cfg::git_utils::get_changed_rust_files
• cfg::hotpaths::compute_hot_paths
• cfg::icfg::build_icfg
• cfg::icfg::to_dot
• cfg::loops::apply_loop_nesting_depths
• cfg::loops::detect_natural_loops
• cfg::loops::detect_natural_loops_with_depths
• cfg::loops::find_loop_headers
• cfg::loops::find_nested_loops
• cfg::loops::is_loop_header
• cfg::loops::loops_containing
• cfg::paths::check_path_explosion
• cfg::paths::classify_path
• cfg::paths::classify_path_precomputed
• cfg::paths::enumerate_paths
• cfg::paths::enumerate_paths_cached
• cfg::paths::enumerate_paths_cached_with_context
• cfg::paths::enumerate_paths_incremental
• cfg::paths::enumerate_paths_iterative
• cfg::paths::enumerate_paths_with_context
• cfg::paths::enumerate_paths_with_metadata
• cfg::paths::estimate_path_count
• cfg::paths::get_or_enumerate_paths
• cfg::paths::hash_path
• cfg::paths::is_feasible_path
• cfg::paths::is_feasible_path_precomputed
• cfg::patterns::classify_branch
• cfg::patterns::detect_all_patterns
• cfg::patterns::detect_if_else_patterns
• cfg::patterns::detect_match_patterns
• cfg::post_dominators::compute_post_dominator_tree
• cfg::post_dominators::immediate_post_dominator_id
• cfg::reachability::can_reach
• cfg::reachability::can_reach_cached
• cfg::reachability::compute_path_impact
• cfg::reachability::find_reachable
• cfg::reachability::find_reachable_from_block
• cfg::reachability::find_unreachable
• cfg::reachability::is_reachable_from_entry
• cfg::reachability::unreachable_block_ids
• cfg::summary::summarize_path
• cli::cmds::blast_zone
• cli::cmds::cfg
• cli::cmds::coverage
• cli::cmds::cycles
• cli::cmds::diff
• cli::cmds::dominators
• cli::cmds::frontiers
• cli::cmds::hotpaths
• cli::cmds::hotspots
• cli::cmds::icfg
• cli::cmds::loops
• cli::cmds::migrate
• cli::cmds::paths
• cli::cmds::patterns
• cli::cmds::slice
• cli::cmds::status
• cli::cmds::unreachable
• cli::cmds::verify
• cli::resolve_db_path
• mir::extract_rust_cfg
• mir::translator::translate_function
• output::cmd
• output::error
• output::exit_database
• output::exit_file_not_found
• output::exit_usage
• output::header
• output::info
• output::is_terminal
• output::success
• output::warn
• platform::check_platform_support
• storage::compute_path_impact_from_db
• storage::create_minimal_database
• storage::create_schema
• storage::function_exists
• storage::get_changed_functions
• storage::get_function_file
• storage::get_function_file_db
• storage::get_function_hash
• storage::get_function_hash_db
• storage::get_function_name
• storage::get_function_name_db
• storage::get_path_elements
• storage::hash_changed
• storage::load_cfg_from_db
• storage::load_cfg_from_db_with_conn
• storage::migrate_schema
• storage::paths::get_cached_paths
• storage::paths::invalidate_function_paths
• storage::paths::store_paths
• storage::paths::store_paths_batch
• storage::paths::update_function_paths_if_changed
• storage::resolve_function_name
• storage::resolve_function_name_with_conn
• storage::resolve_function_name_with_file
• storage::store_cfg

Type Aliases

• cfg::BlockId
• cfg::Cfg
• router::Router

Constants

• output::BLUE
• output::BOLD
• output::CYAN
• output::EXIT_DATABASE
• output::EXIT_ERROR
• output::EXIT_FILE_NOT_FOUND
• output::EXIT_NOT_FOUND
• output::EXIT_SUCCESS
• output::EXIT_USAGE
• output::EXIT_VALIDATION
• output::E_BLOCK_NOT_FOUND
• output::E_CFG_ERROR
• output::E_DATABASE_NOT_FOUND
• output::E_FUNCTION_NOT_FOUND
• output::E_INVALID_INPUT
• output::E_PATH_EXPLOSION
• output::E_PATH_NOT_FOUND
• output::GREEN
• output::MAGENTA
• output::NC
• output::RED
• output::R_HINT_INDEX
• output::R_HINT_LIST_FUNCTIONS
• output::R_HINT_MAX_LENGTH
• output::R_HINT_VERIFY_PATH
• output::YELLOW
• platform::IS_UNIX
• platform::IS_WINDOWS
• storage::MIN_MAGELLAN_SCHEMA_VERSION
• storage::MIRAGE_SCHEMA_VERSION
• storage::REQUIRED_MAGELLAN_SCHEMA_VERSION
• storage::REQUIRED_SQLITEGRAPH_SCHEMA_VERSION
• storage::TEST_MAGELLAN_SCHEMA_VERSION