Package it.unive.lisa.checks.semantic

Interface SemanticCheck<A extends AbstractState<A>>

Type Parameters:

A - the type of AbstractState contained in the results

All Superinterfaces:

Check<CheckToolWithAnalysisResults<A>>, GraphVisitor<CFG,Statement,Edge,CheckToolWithAnalysisResults<A>>

public interface SemanticCheck<A extends AbstractState<A>>
extends Check<CheckToolWithAnalysisResults<A>>

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