All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download lisa-analyses JAR 0.1 with all dependencies


A library for static analysis

Files of the artifact lisa-analyses version 0.1 from the group io.github.lisa-analyzer.

Test

Artifact lisa-analyses
Group io.github.lisa-analyzer
Version 0.1
Last update 01. August 2024
Tags: library static analysis
Organization not specified
URL https://lisa-analyzer.github.io/
License MIT License
Dependencies amount 1
Dependencies lisa-sdk,
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of lisa-analyses Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of lisa-analyses version 0.1

META-INF
META-INF.META-INF.MANIFEST.MF
it.unive.lisa
it.unive.lisa.it.unive.lisa.DefaultConfiguration
it.unive.lisa.it.unive.lisa.LiSAFactory
it.unive.lisa.analysis
it.unive.lisa.analysis.it.unive.lisa.analysis.SimpleAbstractState
it.unive.lisa.analysis.combination
it.unive.lisa.analysis.combination.it.unive.lisa.analysis.combination.CartesianProduct
it.unive.lisa.analysis.combination.it.unive.lisa.analysis.combination.NonRelationalValueCartesianProduct
it.unive.lisa.analysis.combination.it.unive.lisa.analysis.combination.ValueCartesianProduct
it.unive.lisa.analysis.dataflow
it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.AvailableExpressions
it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.ConstantPropagation
it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.Liveness
it.unive.lisa.analysis.dataflow.it.unive.lisa.analysis.dataflow.ReachingDefinitions
it.unive.lisa.analysis.heap
it.unive.lisa.analysis.heap.it.unive.lisa.analysis.heap.MonolithicHeap
it.unive.lisa.analysis.heap.it.unive.lisa.analysis.heap.TypeBasedHeap
it.unive.lisa.analysis.heap.pointbased
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.AllocationSite
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.AllocationSiteBasedAnalysis
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.AllocationSites
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.FieldSensitivePointBasedHeap
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.HeapAllocationSite
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.PointBasedHeap
it.unive.lisa.analysis.heap.pointbased.it.unive.lisa.analysis.heap.pointbased.StackAllocationSite
it.unive.lisa.analysis.nonInterference
it.unive.lisa.analysis.nonInterference.it.unive.lisa.analysis.nonInterference.NonInterference
it.unive.lisa.analysis.nonRedundantSet
it.unive.lisa.analysis.nonRedundantSet.it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowerset
it.unive.lisa.analysis.nonRedundantSet.it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowersetOfBaseNonRelationalValueDomain
it.unive.lisa.analysis.nonRedundantSet.it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowersetOfInterval
it.unive.lisa.analysis.nonRedundantSet.it.unive.lisa.analysis.nonRedundantSet.ValueNonRedundantSet
it.unive.lisa.analysis.numeric
it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.IntegerConstantPropagation
it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Interval
it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Parity
it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Pentagon
it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.Sign
it.unive.lisa.analysis.numeric.it.unive.lisa.analysis.numeric.UpperBounds
it.unive.lisa.analysis.stability
it.unive.lisa.analysis.stability.it.unive.lisa.analysis.stability.Stability
it.unive.lisa.analysis.stability.it.unive.lisa.analysis.stability.Trend
it.unive.lisa.analysis.string
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.CharInclusion
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.ContainsCharProvider
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.Prefix
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.StringConstantPropagation
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.SubstringDomain
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.SubstringDomainWithConstants
it.unive.lisa.analysis.string.it.unive.lisa.analysis.string.Suffix
it.unive.lisa.analysis.string.bricks
it.unive.lisa.analysis.string.bricks.it.unive.lisa.analysis.string.bricks.Brick
it.unive.lisa.analysis.string.bricks.it.unive.lisa.analysis.string.bricks.Bricks
it.unive.lisa.analysis.string.fsa
it.unive.lisa.analysis.string.fsa.it.unive.lisa.analysis.string.fsa.FSA
it.unive.lisa.analysis.string.fsa.it.unive.lisa.analysis.string.fsa.SimpleAutomaton
it.unive.lisa.analysis.string.fsa.it.unive.lisa.analysis.string.fsa.StringSymbol
it.unive.lisa.analysis.string.tarsis
it.unive.lisa.analysis.string.tarsis.it.unive.lisa.analysis.string.tarsis.IndexFinder
it.unive.lisa.analysis.string.tarsis.it.unive.lisa.analysis.string.tarsis.RegexAutomaton
it.unive.lisa.analysis.string.tarsis.it.unive.lisa.analysis.string.tarsis.StringReplacer
it.unive.lisa.analysis.string.tarsis.it.unive.lisa.analysis.string.tarsis.StringSearcher
it.unive.lisa.analysis.string.tarsis.it.unive.lisa.analysis.string.tarsis.Tarsis
it.unive.lisa.analysis.taint
it.unive.lisa.analysis.taint.it.unive.lisa.analysis.taint.BaseTaint
it.unive.lisa.analysis.taint.it.unive.lisa.analysis.taint.Taint
it.unive.lisa.analysis.taint.it.unive.lisa.analysis.taint.ThreeLevelsTaint
it.unive.lisa.analysis.traces
it.unive.lisa.analysis.traces.it.unive.lisa.analysis.traces.Branching
it.unive.lisa.analysis.traces.it.unive.lisa.analysis.traces.ExecutionTrace
it.unive.lisa.analysis.traces.it.unive.lisa.analysis.traces.LoopIteration
it.unive.lisa.analysis.traces.it.unive.lisa.analysis.traces.LoopSummary
it.unive.lisa.analysis.traces.it.unive.lisa.analysis.traces.TracePartitioning
it.unive.lisa.analysis.traces.it.unive.lisa.analysis.traces.TraceToken
it.unive.lisa.analysis.types
it.unive.lisa.analysis.types.it.unive.lisa.analysis.types.InferredTypes
it.unive.lisa.analysis.types.it.unive.lisa.analysis.types.StaticTypes
it.unive.lisa.interprocedural
it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.BackwardModularWorstCaseAnalysis
it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.CallGraphBasedAnalysis
it.unive.lisa.interprocedural.it.unive.lisa.interprocedural.ModularWorstCaseAnalysis
it.unive.lisa.interprocedural.callgraph
it.unive.lisa.interprocedural.callgraph.it.unive.lisa.interprocedural.callgraph.CHACallGraph
it.unive.lisa.interprocedural.callgraph.it.unive.lisa.interprocedural.callgraph.RTACallGraph
it.unive.lisa.interprocedural.context
it.unive.lisa.interprocedural.context.it.unive.lisa.interprocedural.context.ContextBasedAnalysis
it.unive.lisa.interprocedural.context.it.unive.lisa.interprocedural.context.ContextInsensitiveToken
it.unive.lisa.interprocedural.context.it.unive.lisa.interprocedural.context.ContextSensitivityToken
it.unive.lisa.interprocedural.context.it.unive.lisa.interprocedural.context.FullStackToken
it.unive.lisa.interprocedural.context.it.unive.lisa.interprocedural.context.KDepthToken
it.unive.lisa.interprocedural.context.it.unive.lisa.interprocedural.context.LastCallToken
it.unive.lisa.interprocedural.context.recursion
it.unive.lisa.interprocedural.context.recursion.it.unive.lisa.interprocedural.context.recursion.BaseCasesFinder
it.unive.lisa.interprocedural.context.recursion.it.unive.lisa.interprocedural.context.recursion.Recursion
it.unive.lisa.interprocedural.context.recursion.it.unive.lisa.interprocedural.context.recursion.RecursionSolver




© 2015 - 2025 Weber Informatics LLC | Privacy Policy