Structs§
- Abstract
Class Value Provenance Node V0 - Abstract
Class Value Provenance Tree V0 - Abstract
Property Value Candidate V0 - Abstract
Property Value Narrowing V0 - Abstract
Selector Projection V0 - Abstract
Value Domain Summary V0 - Abstract
Value Flow Analysis Summary V0 - Belief
Propagation Iteration V0 - V0 algorithm-view substrate over the reduced-product class-value iterator.
- Belief
Propagation Message V0 - Cascade
Context V0 - Cascade
Morphism V0 - Cascade
Restriction MapV0 - Cascade
Value Family Member V0 - Cascade
Value Family V0 - Research-staged cascade-family substrate for M6 positioning.
- Class
Value Control Flow Analysis V0 - Class
Value Control Flow Block Result V0 - Class
Value Control Flow Block V0 - Class
Value Control Flow Graph V0 - Class
Value Flow Analysis V0 - Class
Value Flow Graph V0 - Class
Value Flow Incremental Analysis V0 - Class
Value Flow Incremental Batch Analysis V0 - Class
Value Flow Incremental Batch Entry V0 - Class
Value Flow Node Result V0 - Class
Value Flow Node V0 - Composite
Class Value Input V0 - External
String Type Facts V0 - KLimited
Call Site Flow Analysis V0 - KLimited
Call Site Flow Entry V0 - KLimited
Call Site Flow Input V0 - Lin01
Provenance Semiring V0 - Linear
Provenance Path V0 - Linear
Provenance Term V0 - Linear
Provenance V0 - V0 freeze-candidate provenance contract over the existing label vector.
- Natural
Count Provenance Semiring V0 - OneCfa
Call Site Derivation Step V0 - OneCfa
Call Site Derivation V0 - OneCfa
Call Site Flow Analysis V0 - OneCfa
Call Site Flow Entry V0 - OneCfa
Call Site Flow Input V0 - OneCfa
Callee Flow Summary V0 - Provenance
Semiring LawReport V0 - Reduced
Class Value Char Inclusion Axis V0 - Reduced
Class Value Derivation Step V0 - Reduced
Class Value Derivation V0 - Reduced
Class Value Prefix Axis V0 - Reduced
Class Value Product Domain V0 - Reduced
Class Value Product Iteration Step V0 - Reduced
Class Value Product Iteration V0 - Reduced
Class Value Product V0 - Reduced
Class Value Suffix Axis V0 - Security
Label Provenance Semiring V0 - Tropical
Provenance Semiring V0 - Viterbi
Provenance Semiring V0
Enums§
- Abstract
Class Value Provenance V0 - Abstract
Class Value V0 - Abstract
Property Value V0 - Class
Value Flow Transfer V0 - Security
Label V0 - Selector
Projection Certainty V0 - Tropical
Cost V0
Constants§
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 - Lower an abstract class value back into the external-string-type facts that
the flow analyser consumes as an
AssignFactstransfer. - 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