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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.analysis.heap.HeapSemanticOperation.HeapReplacement

Interface Hierarchy

• it.unive.lisa.analysis.heap.HeapSemanticOperation
  • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.heap.MemoryOracle, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
    • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (also extends it.unive.lisa.analysis.BaseLattice<L>)
• it.unive.lisa.analysis.heap.MemoryOracle
  • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
    • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (also extends it.unive.lisa.analysis.BaseLattice<L>)
• it.unive.lisa.analysis.ScopedObject<T>
  • it.unive.lisa.analysis.SemanticDomain<D,E,I> (also extends it.unive.lisa.util.representation.StructuredObject)
    • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.heap.MemoryOracle)
      • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (also extends it.unive.lisa.analysis.BaseLattice<L>)
• it.unive.lisa.util.representation.StructuredObject
  • it.unive.lisa.analysis.Lattice<L>
    • it.unive.lisa.analysis.BaseLattice<L>
      • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (also extends it.unive.lisa.analysis.heap.HeapDomain<D>)
    • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.heap.MemoryOracle, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
      • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (also extends it.unive.lisa.analysis.BaseLattice<L>)
  • it.unive.lisa.analysis.SemanticDomain<D,E,I> (also extends it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.heap.MemoryOracle)
      • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (also extends it.unive.lisa.analysis.BaseLattice<L>)