Package it.unive.lisa.analysis.value

Interface Summary

Interface	Description
ValueDomain<D extends ValueDomain<D>>	A semantic domain that can evaluate the semantic of statements that operate on values, and not on memory locations.
ValueOracle	An oracle that can be queried for information about values being computed during program execution.