Class Hierarchy
- java.lang.Object
- it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
- it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
- it.unive.lisa.analysis.heap.BaseHeapDomain<H> (implements it.unive.lisa.analysis.heap.HeapDomain<D>)
- 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.SemanticDomain<D,E,I>)
- it.unive.lisa.analysis.Lattice<L>
- it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
- it.unive.lisa.analysis.SemanticDomain<D,E,I>
- it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>)