Package it.unive.lisa

Class Summary

Class	Description
LiSA	This is the central class of the LiSA library.
LiSAConfiguration	A holder for the configuration of a LiSA analysis.
LiSAFactory	An utility class for instantiating analysis components, that is, modular pieces of the analysis that have several implementations.
LiSAFactory.ConfigurableComponent<T>	An analysis component that can be configured, that is, it has more than one implementation that can be modularly integrated into the analysis.
LiSARunner<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>	An auxiliary analysis runner for executing LiSA analysis.

Exception Summary

Exception	Description
AnalysisException	A generic Exception that indicates that something has gone wrong during the analysis.
AnalysisExecutionException	A generic RuntimeException that indicates that something has gone wrong during the analysis.
AnalysisSetupException	An AnalysisException that happens during the setup of the analysis.

Annotation Types Summary

Annotation Type	Description
DefaultImplementation	An annotation defining the default implementation for an analysis component.
DefaultParameters	An annotation defining the default parameters to use when automatically creating an instance of the annotated type.