Packages 
Package Description
it.unive.lisa  
it.unive.lisa.analysis  
it.unive.lisa.analysis.combination  
it.unive.lisa.analysis.dataflow  
it.unive.lisa.analysis.heap  
it.unive.lisa.analysis.impl.dataflow  
it.unive.lisa.analysis.impl.heap  
it.unive.lisa.analysis.impl.heap.pointbased  
it.unive.lisa.analysis.impl.nonInterference  
it.unive.lisa.analysis.impl.numeric  
it.unive.lisa.analysis.lattices  
it.unive.lisa.analysis.nonrelational  
it.unive.lisa.analysis.nonrelational.heap  
it.unive.lisa.analysis.nonrelational.inference  
it.unive.lisa.analysis.nonrelational.value  
it.unive.lisa.analysis.representation  
it.unive.lisa.analysis.types  
it.unive.lisa.analysis.value  
it.unive.lisa.caches  
it.unive.lisa.checks  
it.unive.lisa.checks.semantic  
it.unive.lisa.checks.syntactic  
it.unive.lisa.checks.warnings  
it.unive.lisa.interprocedural  
it.unive.lisa.interprocedural.callgraph  
it.unive.lisa.interprocedural.callgraph.impl  
it.unive.lisa.interprocedural.impl  
it.unive.lisa.logging  
it.unive.lisa.outputs  
it.unive.lisa.outputs.compare  
it.unive.lisa.program  
it.unive.lisa.program.annotations  
it.unive.lisa.program.annotations.matcher  
it.unive.lisa.program.annotations.values  
it.unive.lisa.program.cfg  
it.unive.lisa.program.cfg.controlFlow  
it.unive.lisa.program.cfg.edge  
it.unive.lisa.program.cfg.statement  
it.unive.lisa.symbolic  
it.unive.lisa.symbolic.heap  
it.unive.lisa.symbolic.types  
it.unive.lisa.symbolic.value  
it.unive.lisa.type  
it.unive.lisa.util.collections  
it.unive.lisa.util.collections.externalSet  
it.unive.lisa.util.collections.workset  
it.unive.lisa.util.datastructures.graph  
it.unive.lisa.util.datastructures.graph.algorithms  
it.unive.lisa.util.file  
it.unive.lisa.util.numeric