Class StatementStore<A extends AbstractState<A,​H,​V,​T>,​H extends HeapDomain<H>,​V extends ValueDomain<V>,​T extends TypeDomain<T>>

    • Constructor Detail

      • StatementStore

        public StatementStore​(AnalysisState<A,​H,​V,​T> state)
        Builds the store.
        Parameters:
        state - an instance of the underlying lattice