Package it.unive.lisa.checks.semantic

Interface Summary

Interface	Description
SemanticCheck	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>,H extends HeapDomain<H>,V extends ValueDomain<V>>	An extension of CheckTool that also contains the results of the fixpoint computation.