Package it.unive.lisa.analysis.heap

Interface Summary

Interface	Description
HeapDomain<D extends HeapDomain<D>>	A semantic domain that can evaluate the semantic of statements that operate on heap locations, and not on concrete values.
HeapSemanticOperation	A semantic operation on the heap state of the program, that provides a substitution of the available identifiers.

Class Summary

Class	Description
BaseHeapDomain<H extends BaseHeapDomain<H>>	A base implementation of the HeapDomain interface, handling base cases of BaseHeapDomain.smallStepSemantics(SymbolicExpression, ProgramPoint).
BaseHeapDomain.Rewriter	An ExpressionVisitor that rewrites SymbolicExpressions to ValueExpressions.
HeapSemanticOperation.HeapReplacement	A replacement between Identifiers caused by a change in the heap abstraction.