Structs
Provides access to procedure summaries that have already been computed
Traits
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.