Package it.unive.lisa.checks.semantic

Interface SemanticCheck<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>>

Type Parameters:

A - the type of AbstractState contained in the results

H - the type of HeapDomain contained in the results

V - the type of ValueDomain contained in the results

T - the type of TypeDomain contained in the results

All Superinterfaces:

Check<CheckToolWithAnalysisResults<A,H,V,T>>, GraphVisitor<CFG,Statement,Edge,CheckToolWithAnalysisResults<A,H,V,T>>

public interface SemanticCheck<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>>
extends Check<CheckToolWithAnalysisResults<A,H,V,T>>

A Check that is able to exploit both the syntactic structure of the program and the semantic information produced with the fixpoint iteration. Instances of this interface will use a CheckToolWithAnalysisResults as auxiliary tool during the inspection.

Method Summary

Methods inherited from interface it.unive.lisa.checks.Check

afterExecution, beforeExecution, visitGlobal, visitUnit

Methods inherited from interface it.unive.lisa.util.datastructures.graph.GraphVisitor

visit, visit, visit