Packages

Package	Description
it.unive.lisa
it.unive.lisa.analysis
it.unive.lisa.analysis.combination
it.unive.lisa.analysis.dataflow
it.unive.lisa.analysis.dataflow.impl
it.unive.lisa.analysis.heap
it.unive.lisa.analysis.impl.heap
it.unive.lisa.analysis.impl.heap.pointbased
it.unive.lisa.analysis.impl.numeric
it.unive.lisa.analysis.impl.types
it.unive.lisa.analysis.inference
it.unive.lisa.analysis.lattices
it.unive.lisa.analysis.nonrelational
it.unive.lisa.analysis.nonrelational.heap
it.unive.lisa.analysis.nonrelational.value
it.unive.lisa.analysis.value
it.unive.lisa.caches
it.unive.lisa.callgraph
it.unive.lisa.callgraph.impl.intraproc
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.program
it.unive.lisa.program.cfg
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.datastructures.graph
it.unive.lisa.util.file
it.unive.lisa.util.workset