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 it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	An auxiliary analysis runner for executing LiSA analysis.

Enum Summary

Enum	Description
LiSAConfiguration.GraphType	The type of graphs that can be dumped by LiSA.