Package it.unive.lisa.checks.semantic

Interface Summary

Interface	Description
SemanticCheck<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>>	A Check that is able to exploit both the syntactic structure of the program and the semantic information produced with the fixpoint iteration.

Class Summary

Class	Description
CheckToolWithAnalysisResults<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>>	An extension of CheckTool that also contains the results of the fixpoint computation.