Package it.unive.lisa

Class Summary

Class	Description
DefaultConfiguration	A default LiSAConfiguration that already has a CallGraph and InterproceduralAnalysis set.
LiSAFactory	An utility class for instantiating analysis components, that is, modular pieces of the analysis that have several implementations.
LiSAFactory.ConfigurableComponent	An analysis component that can be configured, that is, it has more than one implementation that can be modularly integrated into the analysis.