List of all items

Structs

• DynamicPrimitiveSoundness
• DynamicSoundnessViolation
• PrimitiveSoundness
• SoundnessViolation
• callgraph::Callgraph
• callgraph::CallgraphBuildScratch
• control_dependence::ControlDependence
• cross_language::CrossLanguage
• def_use::DefUse
• dominators::Dominators
• escape::Escape
• escapes::Escapes
• fixed_point_batch::FixedPointBatch
• fixed_point_execution_plan::FixedPointExecutionPlan
• fixed_point_execution_plan_cache::FixedPointExecutionPlanCache
• fixed_point_execution_plan_cache::FixedPointExecutionPlanCacheStats
• fixed_point_graph::FixedPointAnalysisPlan
• fixed_point_graph::FixedPointForwardGraph
• fixed_point_resident::FixedPointResidentGraph
• fixed_point_resident_batch::FixedPointResidentBatch
• fixed_point_resident_batch::FixedPointResidentBatchStats
• fixed_point_resident_cache::FixedPointResidentGraphCache
• fixed_point_resident_cache::FixedPointResidentGraphCacheStats
• fixed_point_resident_frontier::FixedPointResidentFrontierScratch
• fixed_point_resident_plan::FixedPointBorrowedResidentPlan
• fixed_point_resident_plan::FixedPointResidentPlan
• fixed_point_resident_plan::PlanBuilder
• fixed_point_scratch::FixedPointScratch
• fixed_point_scratch::FrontierDensityTelemetry
• fixed_point_scratch::ScratchPool
• graph_layout::CsrGraph
• graph_layout::CsrGraphNormalizationScratch
• graph_layout::LinearDomain
• graph_layout::NormalizedCsrGraph
• ifds::Ifds
• ifds_gpu::IfdsBorrowedSolveScratch
• ifds_gpu::IfdsGpu
• ifds_gpu::IfdsPrepareScratch
• ifds_gpu::IfdsShape
• ifds_gpu::IfdsSolveScratch
• ifds_gpu::PreparedIfdsCsr
• ifds_gpu::ResidentIfdsHostScratch
• ifds_gpu::ResidentIfdsParallelHostScratch
• ifds_gpu::ResidentIfdsParallelScratch
• ifds_gpu::ResidentIfdsScratch
• ifds_gpu::ResidentPreparedIfdsCsr
• ifds_resident_batch::ResidentIfdsBatch
• ifds_resident_batch::ResidentIfdsBatchStats
• ifds_resident_cache::ResidentIfdsCsrCache
• ifds_resident_cache::ResidentIfdsCsrCacheStats
• ifds_resident_direct_batch::DirectResidentIfdsBatch
• ifds_resident_direct_batch::DirectResidentIfdsBatchStats
• ifds_resident_direct_batch::DirectResidentIfdsGraph
• ifds_resident_direct_batch::DirectResidentIfdsGraphKey
• ifds_resident_direct_prepare_scratch::DirectResidentIfdsPrepareScratch
• ifds_vyre_resident::VyreResidentIfds
• live::LiveFamily
• live::Liveness
• live_at::LiveAt
• loop_sum::LoopSum
• loop_sum::LoopSummarizeScratch
• may_alias::MayAlias
• must_init::MustInit
• points_to::PointsTo
• points_to::PointsToFamily
• post_dominates::PostDominates
• range::Range
• range::RangePropagateScratch
• range_check::RangeCheck
• reachability_witness::ExtractedPath
• reachability_witness::ExtractedStatement
• reachability_witness::NodeAttr
• reachability_witness::PathExtractionRequest
• reachability_witness::PathSeed
• reachability_witness::PreparedWitnessBatchStats
• reachability_witness::PreparedWitnessGraph
• reaching::ReachingDefs
• reaching::ReachingFamily
• reaching_def::ReachingDef
• relation_interchange::ReconstructedRelationWitness
• relation_interchange::RelationCallString
• relation_interchange::RelationEdge
• relation_interchange::RelationEndpoint
• relation_interchange::RelationFact
• relation_interchange::RelationInterchange
• relation_interchange::RelationOutputWitness
• resident_cache_identity::ResidentGraphCacheIdentity
• resident_cache_identity::ResidentGraphCacheMissEvidence
• scc_query::SccQuery
• slice::BackwardSlice
• slice::SliceFamily
• soundness::DataflowEvidence
• soundness::DynamicPrimitiveSoundness
• soundness::DynamicSoundnessViolation
• soundness::PrimitiveSoundness
• soundness::SoundnessViolation
• ssa::Block
• ssa::Cfg
• ssa::Ssa
• ssa::SsaForm
• summary::SummarizeFunctionScratch
• summary::Summary
• test_harness::csr_factory::CsrFactory
• test_harness::csr_factory::CsrGraphFixture
• test_harness::dominator_fixture::CfgFixture
• test_harness::dominator_fixture::DominatorFixture
• test_harness::fake_backend::AllocRecord
• test_harness::fake_backend::DispatchRecord
• test_harness::fake_backend::FakeResidentBackend
• test_harness::fake_backend::FreeRecord
• test_harness::fake_backend::UploadRecord
• test_harness::ifds_builder::IfdsProblemBuilder
• test_harness::ifds_builder::IfdsProblemFixture
• value_set::ValueSet

Enums

• PrecisionContract
• Soundness
• fixed_point_graph::FixedPointAnalysisKind
• fixed_point_scratch::FrontierExecutionMode
• reachability_witness::ExplodedDecodeError
• reachability_witness::PathError
• reachability_witness::PrepareWitnessGraphError
• relation_interchange::RelationInterchangeError
• resident_cache_identity::ResidentGraphCacheDomain
• resident_cache_identity::ResidentGraphCacheMissReason
• soundness::PrecisionContract
• soundness::Soundness
• test_harness::fake_backend::InjectedFailure

Traits

• SoundnessTagged
• fixed_point_resident_plan::GraphRef
• ifds_gpu::IfdsResidentDispatch
• soundness::SoundnessTagged

Macros

• define_analysis_family

Functions

• callgraph::callgraph_build
• callgraph::callgraph_build_borrowed_into_result_with_scratch_via
• callgraph::callgraph_build_borrowed_into_via
• callgraph::callgraph_build_borrowed_via
• callgraph::callgraph_build_borrowed_with_scratch_via
• callgraph::callgraph_build_via
• callgraph::callgraph_build_with_count
• control_dependence::control_dependence
• cross_language::cross_language
• def_use::def_use_query
• def_use::try_def_use_chain
• def_use::try_def_use_chain_bitset
• dispatch_decode::unpack::unpack_u32_from
• dominators::dominates
• escape::escape_analyze
• escape::escape_analyze_with_count
• escapes::escapes
• fixed_point_execution_plan::plan_from_parts
• fixed_point_execution_plan::plan_prepared_graph
• fixed_point_scratch::count_changed_domain_bits
• fixed_point_scratch::count_set_domain_bits
• graph_layout::stable_csr_layout_hash
• ifds::ifds_reach_closure_borrowed_into_result_with_scratch_via
• ifds::ifds_reach_closure_borrowed_into_via
• ifds::ifds_reach_closure_borrowed_into_with_scratch_via
• ifds::ifds_reach_closure_borrowed_via
• ifds::ifds_reach_closure_via
• ifds::ifds_reach_step
• ifds::ifds_reach_step_exploded
• ifds_gpu::allocate_resident_ifds_parallel_scratch
• ifds_gpu::allocate_resident_ifds_parallel_scratch_with_capacities
• ifds_gpu::allocate_resident_ifds_parallel_scratch_with_iterations
• ifds_gpu::allocate_resident_ifds_scratch
• ifds_gpu::allocate_resident_ifds_scratch_with_seed_capacity
• ifds_gpu::free_resident_ifds_parallel_scratch
• ifds_gpu::free_resident_ifds_scratch
• ifds_gpu::free_resident_prepared_ifds_csr
• ifds_gpu::ifds_gpu
• ifds_gpu::ifds_gpu_step
• ifds_gpu::prepare_ifds_csr_borrowed_via
• ifds_gpu::prepare_ifds_csr_borrowed_with_scratch_via
• ifds_gpu::prepare_ifds_csr_resident_via
• ifds_gpu::solve_borrowed_many_via
• ifds_gpu::solve_borrowed_many_with_scratch_via
• ifds_gpu::solve_borrowed_via
• ifds_gpu::solve_borrowed_with_scratch_via
• ifds_gpu::solve_prepared_borrowed_into_via
• ifds_gpu::solve_prepared_borrowed_many_with_scratch_into_via
• ifds_gpu::solve_prepared_borrowed_many_with_scratch_via
• ifds_gpu::solve_prepared_borrowed_via
• ifds_gpu::solve_prepared_borrowed_with_adapter_scratch_via
• ifds_gpu::solve_prepared_borrowed_with_scratch_into_via
• ifds_gpu::solve_prepared_borrowed_with_scratch_via
• ifds_gpu::solve_resident_prepared_many_parallel_via
• ifds_gpu::solve_resident_prepared_many_parallel_with_scratch_and_host_into_via
• ifds_gpu::solve_resident_prepared_many_parallel_with_scratch_and_host_via
• ifds_gpu::solve_resident_prepared_many_parallel_with_scratch_via
• ifds_gpu::solve_resident_prepared_many_via
• ifds_gpu::solve_resident_prepared_many_with_scratch_and_host_into_via
• ifds_gpu::solve_resident_prepared_many_with_scratch_into_via
• ifds_gpu::solve_resident_prepared_many_with_scratch_via
• ifds_gpu::solve_resident_prepared_via
• ifds_gpu::solve_via
• ifds_gpu::upload_prepared_ifds_csr_resident
• ifds_gpu::validate_ifds_problem
• ifds_resident_direct_prepare::prepare_ifds_csr_resident_direct_via
• ifds_resident_direct_prepare::prepare_ifds_csr_resident_direct_with_scratch_via
• live::live_closure_borrowed_into_result_with_scratch_via
• live::live_closure_borrowed_into_via
• live::live_closure_borrowed_into_with_scratch_via
• live::live_closure_borrowed_via
• live::live_closure_plan_borrowed_into_result_with_scratch_via
• live::live_closure_plan_borrowed_into_with_scratch_via
• live::live_closure_prepared_borrowed_into_result_with_scratch_via
• live::live_closure_prepared_borrowed_into_with_scratch_via
• live::live_closure_resident_plan_with_backend_scratch
• live::live_closure_resident_plan_with_backend_scratch_into
• live::live_closure_resident_plan_with_reusable_frontier_scratch
• live::live_closure_resident_plan_with_reusable_frontier_scratch_into
• live::live_closure_resident_plan_with_reusable_frontier_scratch_sequence_window
• live::live_closure_resident_plan_with_reusable_frontier_scratch_sequence_window_into
• live::live_closure_resident_plan_with_scratch
• live::live_closure_resident_plan_with_scratch_into
• live::live_closure_via
• live::live_step
• live::prepare_live_graph
• live::prepare_live_graph_into
• live::prepare_live_graph_into_with_scratch
• live::prepare_live_graph_with_scratch
• live::prepare_live_plan
• live::prepare_live_plan_into
• live::prepare_live_plan_into_with_scratch
• live::prepare_live_plan_with_scratch
• live_at::live_at
• loop_sum::loop_summarize
• loop_sum::loop_summarize_borrowed_into_result_with_scratch_via
• loop_sum::loop_summarize_borrowed_into_via
• loop_sum::loop_summarize_borrowed_via
• loop_sum::loop_summarize_borrowed_with_scratch_via
• loop_sum::loop_summarize_via
• loop_sum::try_loop_summarize_with_count
• may_alias::may_alias
• must_init::must_init
• points_to::andersen_points_to
• points_to::andersen_points_to_with_shape
• points_to::prepare_points_to_subset_graph
• points_to::prepare_points_to_subset_graph_into
• points_to::prepare_points_to_subset_plan
• points_to::prepare_points_to_subset_plan_into
• points_to::subset_closure_borrowed_into_result_with_scratch_via
• points_to::subset_closure_borrowed_into_via
• points_to::subset_closure_borrowed_into_with_scratch_via
• points_to::subset_closure_borrowed_via
• points_to::subset_closure_plan_borrowed_into_result_with_scratch_via
• points_to::subset_closure_plan_borrowed_into_with_scratch_via
• points_to::subset_closure_prepared_borrowed_into_result_with_scratch_via
• points_to::subset_closure_prepared_borrowed_into_with_scratch_via
• points_to::subset_closure_resident_plan_with_backend_scratch
• points_to::subset_closure_resident_plan_with_backend_scratch_into
• points_to::subset_closure_resident_plan_with_reusable_frontier_scratch
• points_to::subset_closure_resident_plan_with_reusable_frontier_scratch_into
• points_to::subset_closure_resident_plan_with_reusable_frontier_scratch_sequence_window
• points_to::subset_closure_resident_plan_with_reusable_frontier_scratch_sequence_window_into
• points_to::subset_closure_resident_plan_with_scratch
• points_to::subset_closure_resident_plan_with_scratch_into
• points_to::subset_closure_via
• post_dominates::post_dominates
• range::range_propagate
• range::range_propagate_borrowed_into_result_with_scratch_via
• range::range_propagate_borrowed_into_via
• range::range_propagate_borrowed_via
• range::range_propagate_borrowed_with_scratch_via
• range::range_propagate_via
• range::try_range_propagate
• range::try_range_propagate_with_count
• range_check::range_check
• reachability_witness::exploded_reachability_to_statement_mask
• reachability_witness::extract_path
• reachability_witness::extract_path_prepared
• reachability_witness::extract_paths_prepared
• reachability_witness::extract_paths_prepared_into
• reachability_witness::try_prepare_witness_graph
• reaching::prepare_reaching_graph
• reaching::prepare_reaching_graph_into
• reaching::prepare_reaching_graph_into_with_scratch
• reaching::prepare_reaching_graph_with_scratch
• reaching::prepare_reaching_plan
• reaching::prepare_reaching_plan_into
• reaching::prepare_reaching_plan_into_with_scratch
• reaching::prepare_reaching_plan_with_scratch
• reaching::reaching_closure_borrowed_into_result_with_scratch_via
• reaching::reaching_closure_borrowed_into_via
• reaching::reaching_closure_borrowed_into_with_scratch_via
• reaching::reaching_closure_borrowed_via
• reaching::reaching_closure_evidence_via
• reaching::reaching_closure_plan_borrowed_into_result_with_scratch_via
• reaching::reaching_closure_plan_borrowed_into_with_scratch_via
• reaching::reaching_closure_prepared_borrowed_into_result_with_scratch_via
• reaching::reaching_closure_prepared_borrowed_into_with_scratch_via
• reaching::reaching_closure_resident_plan_with_backend_scratch
• reaching::reaching_closure_resident_plan_with_backend_scratch_into
• reaching::reaching_closure_resident_plan_with_reusable_frontier_scratch
• reaching::reaching_closure_resident_plan_with_reusable_frontier_scratch_into
• reaching::reaching_closure_resident_plan_with_reusable_frontier_scratch_sequence_window
• reaching::reaching_closure_resident_plan_with_reusable_frontier_scratch_sequence_window_into
• reaching::reaching_closure_resident_plan_with_scratch
• reaching::reaching_closure_resident_plan_with_scratch_into
• reaching::reaching_closure_via
• reaching::reaching_defs_step
• reaching_def::reaching_def
• reaching_def_summary::fold_summary_partials
• reaching_def_summary::reaching_def_summary
• reaching_def_summary::reaching_def_summary_sharded
• reaching_def_summary::try_fold_summary_partials
• relation_interchange::export_relation_interchange_bytes
• relation_interchange::import_relation_interchange_bytes
• relation_interchange::reconstruct_relation_witness
• relation_interchange::validate_relation_interchange
• scc_query::scc_query
• slice::backward_slice
• slice::backward_slice_with_shape
• slice::prepare_slice_graph
• slice::prepare_slice_graph_into
• slice::prepare_slice_graph_with_scratch
• slice::prepare_slice_plan
• slice::prepare_slice_plan_into
• slice::slice_closure_borrowed_into_result_with_scratch_via
• slice::slice_closure_borrowed_into_via
• slice::slice_closure_borrowed_into_with_scratch_via
• slice::slice_closure_borrowed_via
• slice::slice_closure_plan_borrowed_into_result_with_scratch_via
• slice::slice_closure_plan_borrowed_into_with_scratch_via
• slice::slice_closure_prepared_borrowed_into_result_with_scratch_via
• slice::slice_closure_prepared_borrowed_into_with_scratch_via
• slice::slice_closure_resident_plan_with_backend_scratch
• slice::slice_closure_resident_plan_with_backend_scratch_into
• slice::slice_closure_resident_plan_with_reusable_frontier_scratch
• slice::slice_closure_resident_plan_with_reusable_frontier_scratch_into
• slice::slice_closure_resident_plan_with_reusable_frontier_scratch_sequence_window
• slice::slice_closure_resident_plan_with_reusable_frontier_scratch_sequence_window_into
• slice::slice_closure_resident_plan_with_scratch
• slice::slice_closure_resident_plan_with_scratch_into
• slice::slice_closure_via
• soundness::validate_dynamic_pipeline
• soundness::validate_dynamic_primitive
• soundness::validate_pipeline
• soundness::validate_primitive
• ssa::compute_dominators
• ssa::ssa_phi_placement_step
• ssa::try_compute_dominance_frontiers
• ssa::try_compute_dominators
• ssa::try_compute_dominators_cpu
• ssa::try_place_phi_nodes
• ssa::try_rename_variables
• summary::summarize_function
• summary::summarize_function_borrowed_into_result_with_scratch_via
• summary::summarize_function_borrowed_into_via
• summary::summarize_function_borrowed_via
• summary::summarize_function_borrowed_with_scratch_via
• summary::summarize_function_evidence_via
• summary::summarize_function_via
• summary::summarize_function_with_count
• traversal_step::backward_cfg_step
• traversal_step::forward_cfg_step
• validate_dynamic_pipeline
• validate_dynamic_primitive
• validate_pipeline
• validate_primitive
• value_set::value_set

Constants

• cross_language::EDGE_KIND_ALL
• cross_language::EDGE_KIND_FFI
• ifds_gpu::OP_ID
• reaching_def_summary::DEFAULT_PARTIAL_BINS
• reaching_def_summary::MAX_PARTIAL_BINS
• reaching_def_summary::SUMMARY_WORDS
• relation_interchange::RELATION_INTERCHANGE_SCHEMA_VERSION
• ssa::DOMINATOR_GPU_THRESHOLD
• traversal_step::CFG_EDGE_MASK