Hierarchy For Package it.unive.lisa.analysis.heap.pointbased

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.heap.pointbased.AllocationSiteBasedAnalysis<A> (implements it.unive.lisa.analysis.heap.BaseHeapDomain<H>)
    • it.unive.lisa.analysis.heap.pointbased.FieldSensitivePointBasedHeap
    • it.unive.lisa.analysis.heap.pointbased.PointBasedHeap
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
    • it.unive.lisa.analysis.heap.pointbased.AllocationSiteBasedAnalysis.Rewriter
      • it.unive.lisa.analysis.heap.pointbased.FieldSensitivePointBasedHeap.Rewriter
  • it.unive.lisa.analysis.lattices.SetLattice<S,E> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.heap.pointbased.AllocationSites (implements it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T>)
  • it.unive.lisa.symbolic.SymbolicExpression (implements it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.symbolic.value.ValueExpression
      • it.unive.lisa.symbolic.value.Identifier
        • it.unive.lisa.symbolic.value.HeapLocation
          • it.unive.lisa.analysis.heap.pointbased.AllocationSite
            • it.unive.lisa.analysis.heap.pointbased.HeapAllocationSite
            • it.unive.lisa.analysis.heap.pointbased.StackAllocationSite