Package it.unive.lisa.analysis

Interface SemanticOracle

All Superinterfaces:

MemoryOracle, TypeOracle, ValueOracle

All Known Subinterfaces:

AbstractState<A>

public interface SemanticOracle
extends MemoryOracle, ValueOracle, TypeOracle

An oracle that can be queried for semantic information the program under analysis. Instances of this class can be used for inter-domain communication.

Method Summary

Methods inherited from interface it.unive.lisa.analysis.heap.MemoryOracle

alias, areMutuallyReachable, isReachableFrom, reachableFrom, rewrite, rewrite

Methods inherited from interface it.unive.lisa.analysis.type.TypeOracle

getDynamicTypeOf, getRuntimeTypesOf