Interface BackwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends BackwardTransferFunction<V,S>>

Type Parameters:
V - the abstract value type to be tracked by the analysis
S - the store type used in the analysis
T - the backward transfer function type that is used to approximate run-time behavior
All Superinterfaces:
Analysis<V,S,T>
All Known Implementing Classes:
BackwardAnalysisImpl

public interface BackwardAnalysis<V extends AbstractValue<V>,S extends Store<S>,T extends BackwardTransferFunction<V,S>> extends Analysis<V,S,T>
This interface defines a backward analysis, given a control flow graph and a backward transfer function.
  • Method Details

    • getEntryStore

      @Nullable S getEntryStore()
      Get the output store at the entry block of a given control flow graph. For a backward analysis, the output store contains the analyzed flow information from the exit block to the entry block.
      Returns:
      the output store at the entry block of a given control flow graph