Packages

Package	Description
it.unive.lisa
it.unive.lisa.analysis
it.unive.lisa.analysis.dataflow
it.unive.lisa.analysis.heap
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.symbols
it.unive.lisa.analysis.value
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.logging
it.unive.lisa.outputs
it.unive.lisa.outputs.compare
it.unive.lisa.outputs.json
it.unive.lisa.outputs.serializableGraph
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.program.cfg.statement.call
it.unive.lisa.program.cfg.statement.comparison
it.unive.lisa.program.cfg.statement.evaluation
it.unive.lisa.program.cfg.statement.global
it.unive.lisa.program.cfg.statement.literal
it.unive.lisa.program.cfg.statement.logic
it.unive.lisa.program.cfg.statement.numeric
it.unive.lisa.program.cfg.statement.string
it.unive.lisa.program.language
it.unive.lisa.program.language.hierarchytraversal
it.unive.lisa.program.language.parameterassignment
it.unive.lisa.program.language.resolution
it.unive.lisa.program.language.validation
it.unive.lisa.symbolic
it.unive.lisa.symbolic.heap
it.unive.lisa.symbolic.value
it.unive.lisa.symbolic.value.operator
it.unive.lisa.symbolic.value.operator.binary
it.unive.lisa.symbolic.value.operator.ternary
it.unive.lisa.symbolic.value.operator.unary
it.unive.lisa.type
it.unive.lisa.type.common
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.datastructures.graph.code
it.unive.lisa.util.file
it.unive.lisa.util.numeric