Package it.unive.lisa.cfg
-
Interface Summary Interface Description CFG.SemanticFunction<H extends HeapDomain<H>,V extends ValueDomain<V>> A functional interface that can be used for compute the semantics ofStatement
s, producingAnalysisState
s. -
Class Summary Class Description AdjacencyMatrix CFG CFGDescriptor A descriptor of a CFG, containing the debug informations (source file, line, column) as well as metadata.Parameter A reference to a CFG parameter identified by its name and its type, containing the information about the source file, line and column where a parameter appears. -
Exception Summary Exception Description FixpointException An exception raised during the fixpoint computation.