Package it.unive.lisa.analysis.combination
-
Class Summary Class Description CartesianProduct<C extends CartesianProduct<C,T1,T2,E,I>,T1 extends it.unive.lisa.analysis.SemanticDomain<T1,E,I> & it.unive.lisa.analysis.Lattice<T1>,T2 extends it.unive.lisa.analysis.SemanticDomain<T2,E,I> & it.unive.lisa.analysis.Lattice<T2>,E extends it.unive.lisa.symbolic.SymbolicExpression,I extends it.unive.lisa.symbolic.value.Identifier> A generic Cartesian product abstract domain between two non-communicatingSemanticDomain
s (i.e., no exchange of information between the abstract domains), assigning the sameIdentifier
s and handling instances of the sameSymbolicExpression
s.NonRelationalValueCartesianProduct<C extends NonRelationalValueCartesianProduct<C,T1,T2>,T1 extends it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T1>,T2 extends it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T2>> A generic Cartesian product abstract domain between two non-communicatingNonRelationalValueDomain
s (i.e., no exchange of information between the abstract domains), assigning the sameIdentifier
s and handling instances of the sameSymbolicExpression
s.ValueCartesianProduct<T1 extends it.unive.lisa.analysis.value.ValueDomain<T1>,T2 extends it.unive.lisa.analysis.value.ValueDomain<T2>> A Cartesian product between two non-communicatingValueDomain
s (i.e., no exchange of information between the abstract domains) assigningIdentifier
s and handlingValueExpression
s.