List of all items
Structs
- AbstractClassValueProvenanceNodeV0
- AbstractClassValueProvenanceTreeV0
- AbstractPropertyValueCandidateV0
- AbstractPropertyValueNarrowingV0
- AbstractSelectorProjectionV0
- AbstractValueDomainSummaryV0
- AbstractValueFlowAnalysisSummaryV0
- BeliefPropagationIterationV0
- BeliefPropagationMessageV0
- CascadeContextV0
- CascadeMorphismV0
- CascadeRestrictionMapV0
- CascadeValueFamilyMemberV0
- CascadeValueFamilyV0
- ClassValueControlFlowAnalysisV0
- ClassValueControlFlowBlockResultV0
- ClassValueControlFlowBlockV0
- ClassValueControlFlowGraphV0
- ClassValueFlowAnalysisV0
- ClassValueFlowGraphV0
- ClassValueFlowIncrementalAnalysisV0
- ClassValueFlowIncrementalBatchAnalysisV0
- ClassValueFlowIncrementalBatchEntryV0
- ClassValueFlowNodeResultV0
- ClassValueFlowNodeV0
- CompositeClassValueInputV0
- ExternalStringTypeFactsV0
- KLimitedCallSiteFlowAnalysisV0
- KLimitedCallSiteFlowEntryV0
- KLimitedCallSiteFlowInputV0
- Lin01ProvenanceSemiringV0
- LinearProvenancePathV0
- LinearProvenanceTermV0
- LinearProvenanceV0
- NaturalCountProvenanceSemiringV0
- OneCfaCallSiteDerivationStepV0
- OneCfaCallSiteDerivationV0
- OneCfaCallSiteFlowAnalysisV0
- OneCfaCallSiteFlowEntryV0
- OneCfaCallSiteFlowInputV0
- OneCfaCalleeFlowSummaryV0
- ProvenanceSemiringLawReportV0
- ReducedClassValueCharInclusionAxisV0
- ReducedClassValueDerivationStepV0
- ReducedClassValueDerivationV0
- ReducedClassValuePrefixAxisV0
- ReducedClassValueProductDomainV0
- ReducedClassValueProductIterationStepV0
- ReducedClassValueProductIterationV0
- ReducedClassValueProductV0
- ReducedClassValueSuffixAxisV0
- SecurityLabelProvenanceSemiringV0
- TropicalProvenanceSemiringV0
- ViterbiProvenanceSemiringV0
Enums
- AbstractClassValueProvenanceV0
- AbstractClassValueV0
- AbstractPropertyValueV0
- ClassValueFlowTransferV0
- SecurityLabelV0
- SelectorProjectionCertaintyV0
- TropicalCostV0
Traits
Functions
- abstract_class_value_from_facts
- abstract_class_value_is_subset
- abstract_class_value_kind
- analyze_class_value_control_flow_graph
- analyze_class_value_flow
- analyze_class_value_flow_incremental
- analyze_class_value_flow_incremental_batch_with_reuse
- analyze_class_value_flow_incremental_with_database
- analyze_class_value_flow_incremental_with_reuse
- analyze_k_limited_call_site_flows
- analyze_one_cfa_call_site_flows
- bottom_class_value
- cascade_context_refinement_morphism_v0
- cascade_family_context_values
- cascade_value_for_context
- char_inclusion_class_value
- class_value_flow_incremental_input
- composite_class_value
- concatenate_abstract_class_values
- concatenate_reduced_class_value_products
- derive_cascade_restriction_maps_v0
- derive_selector_projection_certainty
- enumerate_finite_class_values
- exact_class_value
- expression_value_domain_kind_from_facts
- external_string_type_facts_from_abstract_class_value
- finite_set_class_value
- finite_values_from_facts
- intersect_abstract_class_values
- intersect_reduced_class_value_products
- iterate_reduced_class_value_product_constraints
- join_abstract_class_values
- join_reduced_class_value_products
- m4_alpha_provenance_semiring_law_reports_v0
- narrow_abstract_property_value_for_pseudo_state
- prefix_class_value
- prefix_suffix_class_value
- project_abstract_value_selectors
- reduce_class_value_product
- reduced_abstract_class_value_from_facts
- reduced_class_value_derivation_from_facts
- reduced_class_value_product_is_subset
- reduced_class_value_product_matches_string
- reduced_value_domain_kind_from_facts
- resolve_abstract_value_selectors
- selector_certainty_from_facts
- selector_certainty_shape_kind_from_facts
- selector_certainty_shape_label_from_facts
- suffix_class_value
- summarize_abstract_class_value_provenance_tree
- summarize_belief_propagation_iteration_v0
- summarize_cascade_value_family_v0
- summarize_omena_abstract_value_domain
- summarize_omena_abstract_value_flow_analysis
- summarize_reduced_class_value_product
- summarize_reduced_product_domain
- top_class_value
- value_certainty_from_facts
- value_certainty_shape_kind_from_facts
- value_certainty_shape_label_from_facts
- verify_provenance_semiring_laws_on_fixtures