Packages

Package	Description
it.unive.lisa
it.unive.lisa.analysis
it.unive.lisa.analysis.dataflow
it.unive.lisa.analysis.heap
it.unive.lisa.analysis.impl.numeric
it.unive.lisa.analysis.impl.types
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.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.datastructures.graph
it.unive.lisa.util.file
it.unive.lisa.util.workset