lisa-sdk 0.1 API

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.symbols
it.unive.lisa.analysis.type
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.conf
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.fixpoints
it.unive.lisa.program.cfg.statement
it.unive.lisa.program.cfg.statement.call
it.unive.lisa.program.cfg.statement.evaluation
it.unive.lisa.program.cfg.statement.literal
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.util
it.unive.lisa.util.collections
it.unive.lisa.util.collections.externalSet
it.unive.lisa.util.collections.workset
it.unive.lisa.util.datastructures.automaton
it.unive.lisa.util.datastructures.graph
it.unive.lisa.util.datastructures.graph.algorithms
it.unive.lisa.util.datastructures.graph.code
it.unive.lisa.util.datastructures.regex
it.unive.lisa.util.datastructures.regex.symbolic
it.unive.lisa.util.file
it.unive.lisa.util.numeric
it.unive.lisa.util.representation