it.unive.lisa.analysis.string (lisa-analyses 0.1b8 API)

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.

Suffix
The suffix string abstract domain.

Class	Description
CharInclusion	The suffix string abstract domain.
Prefix	The prefix string abstract domain.
Suffix	The suffix string abstract domain.

Package it.unive.lisa.analysis.string