All Packages

Package Summary

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.heap.pointbased
it.unive.lisa.analysis.nonInterference
it.unive.lisa.analysis.nonRedundantSet
it.unive.lisa.analysis.numeric
it.unive.lisa.analysis.stability
it.unive.lisa.analysis.string
it.unive.lisa.analysis.string.bricks
it.unive.lisa.analysis.string.fsa
it.unive.lisa.analysis.string.tarsis
it.unive.lisa.analysis.taint
it.unive.lisa.analysis.traces
it.unive.lisa.analysis.types
it.unive.lisa.interprocedural
it.unive.lisa.interprocedural.callgraph
it.unive.lisa.interprocedural.context
it.unive.lisa.interprocedural.context.recursion