Package it.unive.lisa.analysis.string

Interface Summary

Interface	Description
ContainsCharProvider	Interface for a string analysis that exposes the ContainsCharProvider.containsChar(char) method.

Class Summary

Class	Description
CharInclusion	The suffix string abstract domain.
Prefix	The prefix string abstract domain.
StringConstantPropagation	The string constant propagation abstract domain, tracking if a certain string value has constant value or not.
SubstringDomain	The substring relational abstract domain, tracking relation between string expressions.
SubstringDomainWithConstants	The substring relational abstract domain (see SubstringDomain) enriched with string constant propagation.
Suffix	The suffix string abstract domain.