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