Module bytecode::compositional_analysis

source ·

Structs

  • SummaryCache
    Provides access to procedure summaries that have already been computed

Traits

  • CompositionalAnalysis
    Trait that lifts an intraprocedural analysis into a bottom-up, compositional interprocedural analysis. Here, the type Summary represents a transformation of the final data flow analysis state.