Class TypeBasedHeapModel

  • All Implemented Interfaces:
    HeapModel, InstanceKeyFactory, PointerKeyFactory

    public class TypeBasedHeapModel
    extends Object
    implements HeapModel
    A trivial field-based heap model, which only uses the information of which types (classes) are live. Note that this heap model is based on ssa value numbers for locals, since we will build a pointer flow graph based on this heap model when resolving reflection. This is an inefficient prototype.