Robust/src/Analysis/Disjoint/HeapAnalysis.java

   1 package Analysis.Disjoint;
   2 import IR.Flat.FlatNew;
   3
   4 public interface HeapAnalysis {
   5   public EffectsAnalysis getEffectsAnalysis();
   6   public Alloc getAllocationSiteFromFlatNew(FlatNew node);
   7 }
   8