Packages

Package	Description
it.unive.lisa
it.unive.lisa.analysis.combination
it.unive.lisa.analysis.dataflow
it.unive.lisa.analysis.heap
it.unive.lisa.analysis.heap.pointbased
it.unive.lisa.analysis.nonInterference
it.unive.lisa.analysis.numeric
it.unive.lisa.analysis.types
it.unive.lisa.interprocedural
it.unive.lisa.interprocedural.callgraph