Packages

Package	Description
it.unive.lisa
it.unive.lisa.analysis
it.unive.lisa.analysis.heap
it.unive.lisa.analysis.impl.types
it.unive.lisa.analysis.nonrelational
it.unive.lisa.caches
it.unive.lisa.callgraph
it.unive.lisa.callgraph.impl.intraproc
it.unive.lisa.cfg
it.unive.lisa.cfg.edge
it.unive.lisa.cfg.statement
it.unive.lisa.cfg.type
it.unive.lisa.checks
it.unive.lisa.checks.syntactic
it.unive.lisa.checks.warnings
it.unive.lisa.logging
it.unive.lisa.outputs
it.unive.lisa.outputs.compare
it.unive.lisa.symbolic
it.unive.lisa.symbolic.heap
it.unive.lisa.symbolic.types
it.unive.lisa.symbolic.value
it.unive.lisa.util.collections
it.unive.lisa.util.file
it.unive.lisa.util.workset