Package it.unive.lisa.analysis.heap

Interface Summary

Interface	Description
BaseHeapDomain<H extends BaseHeapDomain<H>>	A base implementation of the HeapDomain interface, handling base cases of BaseHeapDomain.smallStepSemantics(SymbolicExpression, ProgramPoint, SemanticOracle).
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.
MemoryOracle	An oracle that can be queried for information about the static and dynamic memory of the program.

Class Summary

Class	Description
BaseHeapDomain.Rewriter	An ExpressionVisitor that rewrites SymbolicExpressions to ValueExpressions.
HeapSemanticOperation.HeapReplacement	A replacement between Identifiers caused by a change in the heap abstraction.