jar

com.github.unive-ssv : lisa

Maven & Gradle

Aug 25, 2021
0 stars

LiSA · A library for static analysis

Table Of Contents

Latest Version

Download com.github.unive-ssv : lisa JAR file - Latest Versions:

All Versions

Download com.github.unive-ssv : lisa JAR file - All Versions:

Version Vulnerabilities Size Updated
0.1b1
0.1a4
0.1a3
0.1a2

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window lisa-0.1b1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unive.lisa.program.cfg

├─ it.unive.lisa.program.cfg.CFG.class - [JAR]

├─ it.unive.lisa.program.cfg.CFGDescriptor.class - [JAR]

├─ it.unive.lisa.program.cfg.CodeLocation.class - [JAR]

├─ it.unive.lisa.program.cfg.CodeMember.class - [JAR]

├─ it.unive.lisa.program.cfg.NativeCFG.class - [JAR]

├─ it.unive.lisa.program.cfg.Parameter.class - [JAR]

├─ it.unive.lisa.program.cfg.ProgramPoint.class - [JAR]

├─ it.unive.lisa.program.cfg.VariableTableEntry.class - [JAR]

it.unive.lisa.analysis

├─ it.unive.lisa.analysis.AbstractState.class - [JAR]

├─ it.unive.lisa.analysis.AnalysisState.class - [JAR]

├─ it.unive.lisa.analysis.BaseLattice.class - [JAR]

├─ it.unive.lisa.analysis.CFGWithAnalysisResults.class - [JAR]

├─ it.unive.lisa.analysis.Lattice.class - [JAR]

├─ it.unive.lisa.analysis.ScopeToken.class - [JAR]

├─ it.unive.lisa.analysis.SemanticDomain.class - [JAR]

├─ it.unive.lisa.analysis.SemanticEvaluator.class - [JAR]

├─ it.unive.lisa.analysis.SemanticException.class - [JAR]

├─ it.unive.lisa.analysis.SemanticExceptionWrapper.class - [JAR]

├─ it.unive.lisa.analysis.SimpleAbstractState.class - [JAR]

├─ it.unive.lisa.analysis.StatementStore.class - [JAR]

it.unive.lisa.analysis.types

├─ it.unive.lisa.analysis.types.InferredTypes.class - [JAR]

it.unive.lisa.program.annotations.matcher

├─ it.unive.lisa.program.annotations.matcher.AnnotationMatcher.class - [JAR]

├─ it.unive.lisa.program.annotations.matcher.BasicAnnotationMatcher.class - [JAR]

it.unive.lisa.program.cfg.edge

├─ it.unive.lisa.program.cfg.edge.Edge.class - [JAR]

├─ it.unive.lisa.program.cfg.edge.FalseEdge.class - [JAR]

├─ it.unive.lisa.program.cfg.edge.SequentialEdge.class - [JAR]

├─ it.unive.lisa.program.cfg.edge.TrueEdge.class - [JAR]

it.unive.lisa.checks

├─ it.unive.lisa.checks.Check.class - [JAR]

├─ it.unive.lisa.checks.ChecksExecutor.class - [JAR]

it.unive.lisa.interprocedural.impl

├─ it.unive.lisa.interprocedural.impl.CFGResults.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.CallGraphBasedAnalysis.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.ContextBasedAnalysis.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.ContextInsensitiveToken.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.ContextSensitivityToken.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.FixpointResults.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.ModularWorstCaseAnalysis.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.RecursionFreeToken.class - [JAR]

├─ it.unive.lisa.interprocedural.impl.SingleScopeToken.class - [JAR]

it.unive.lisa.symbolic.heap

├─ it.unive.lisa.symbolic.heap.AccessChild.class - [JAR]

├─ it.unive.lisa.symbolic.heap.HeapAllocation.class - [JAR]

├─ it.unive.lisa.symbolic.heap.HeapDereference.class - [JAR]

├─ it.unive.lisa.symbolic.heap.HeapExpression.class - [JAR]

├─ it.unive.lisa.symbolic.heap.HeapReference.class - [JAR]

it.unive.lisa.analysis.impl.dataflow

├─ it.unive.lisa.analysis.impl.dataflow.AvailableExpressions.class - [JAR]

├─ it.unive.lisa.analysis.impl.dataflow.ConstantPropagation.class - [JAR]

├─ it.unive.lisa.analysis.impl.dataflow.ReachingDefinitions.class - [JAR]

it.unive.lisa.interprocedural

├─ it.unive.lisa.interprocedural.InterproceduralAnalysis.class - [JAR]

├─ it.unive.lisa.interprocedural.InterproceduralAnalysisException.class - [JAR]

it.unive.lisa.program.cfg.statement

├─ it.unive.lisa.program.cfg.statement.AccessGlobal.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.AccessInstanceGlobal.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Assignment.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.BinaryExpression.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.BinaryNativeCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.CFGCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Call.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Expression.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.HybridCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Literal.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.MetaVariableCreator.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.NativeCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.NoOp.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.NullLiteral.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.OpenCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.PluggableStatement.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Ret.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Return.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Statement.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.TernaryNativeCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.Throw.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.UnaryNativeCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.UnaryStatement.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.UnresolvedCall.class - [JAR]

├─ it.unive.lisa.program.cfg.statement.VariableRef.class - [JAR]

it.unive.lisa.analysis.dataflow

├─ it.unive.lisa.analysis.dataflow.DataflowDomain.class - [JAR]

├─ it.unive.lisa.analysis.dataflow.DataflowElement.class - [JAR]

├─ it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain.class - [JAR]

├─ it.unive.lisa.analysis.dataflow.PossibleForwardDataflowDomain.class - [JAR]

it.unive.lisa.checks.warnings

├─ it.unive.lisa.checks.warnings.CFGDescriptorWarning.class - [JAR]

├─ it.unive.lisa.checks.warnings.CFGWarning.class - [JAR]

├─ it.unive.lisa.checks.warnings.ExpressionWarning.class - [JAR]

├─ it.unive.lisa.checks.warnings.GlobalWarning.class - [JAR]

├─ it.unive.lisa.checks.warnings.StatementWarning.class - [JAR]

├─ it.unive.lisa.checks.warnings.UnitWarning.class - [JAR]

├─ it.unive.lisa.checks.warnings.Warning.class - [JAR]

├─ it.unive.lisa.checks.warnings.WarningWithLocation.class - [JAR]

it.unive.lisa.program.annotations.values

├─ it.unive.lisa.program.annotations.values.AnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.ArrayAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.BasicAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.BoolAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.ByteAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.CharAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.CompilationUnitAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.DoubleAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.EnumAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.FloatAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.IntAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.LongAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.ShortAnnotationValue.class - [JAR]

├─ it.unive.lisa.program.annotations.values.StringAnnotationValue.class - [JAR]

it.unive.lisa.interprocedural.callgraph.impl

├─ it.unive.lisa.interprocedural.callgraph.impl.CHACallGraph.class - [JAR]

├─ it.unive.lisa.interprocedural.callgraph.impl.RTACallGraph.class - [JAR]

it.unive.lisa.analysis.impl.nonInterference

├─ it.unive.lisa.analysis.impl.nonInterference.NonInterference.class - [JAR]

it.unive.lisa.util.numeric

├─ it.unive.lisa.util.numeric.IntInterval.class - [JAR]

├─ it.unive.lisa.util.numeric.MathNumber.class - [JAR]

it.unive.lisa.program.cfg.controlFlow

├─ it.unive.lisa.program.cfg.controlFlow.ControlFlowExtractor.class - [JAR]

├─ it.unive.lisa.program.cfg.controlFlow.ControlFlowStructure.class - [JAR]

├─ it.unive.lisa.program.cfg.controlFlow.IfThenElse.class - [JAR]

├─ it.unive.lisa.program.cfg.controlFlow.Loop.class - [JAR]

it.unive.lisa.checks.syntactic

├─ it.unive.lisa.checks.syntactic.CheckTool.class - [JAR]

├─ it.unive.lisa.checks.syntactic.SyntacticCheck.class - [JAR]

it.unive.lisa.util.collections.externalSet

├─ it.unive.lisa.util.collections.externalSet.BitExternalSet.class - [JAR]

├─ it.unive.lisa.util.collections.externalSet.ExternalSet.class - [JAR]

├─ it.unive.lisa.util.collections.externalSet.ExternalSetCache.class - [JAR]

├─ it.unive.lisa.util.collections.externalSet.UniversalExternalSet.class - [JAR]

it.unive.lisa.util.datastructures.graph.algorithms

├─ it.unive.lisa.util.datastructures.graph.algorithms.Dominators.class - [JAR]

├─ it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint.class - [JAR]

├─ it.unive.lisa.util.datastructures.graph.algorithms.FixpointException.class - [JAR]

it.unive.lisa.program

├─ it.unive.lisa.program.CodeElement.class - [JAR]

├─ it.unive.lisa.program.CompilationUnit.class - [JAR]

├─ it.unive.lisa.program.Global.class - [JAR]

├─ it.unive.lisa.program.Program.class - [JAR]

├─ it.unive.lisa.program.ProgramValidationException.class - [JAR]

├─ it.unive.lisa.program.SourceCodeLocation.class - [JAR]

├─ it.unive.lisa.program.SyntheticLocation.class - [JAR]

├─ it.unive.lisa.program.Unit.class - [JAR]

it.unive.lisa.util.datastructures.graph

├─ it.unive.lisa.util.datastructures.graph.AdjacencyMatrix.class - [JAR]

├─ it.unive.lisa.util.datastructures.graph.Edge.class - [JAR]

├─ it.unive.lisa.util.datastructures.graph.Graph.class - [JAR]

├─ it.unive.lisa.util.datastructures.graph.GraphVisitor.class - [JAR]

├─ it.unive.lisa.util.datastructures.graph.Node.class - [JAR]

it.unive.lisa.analysis.nonrelational.inference

├─ it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.inference.InferenceSystem.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.inference.InferredValue.class - [JAR]

it.unive.lisa.util.file

├─ it.unive.lisa.util.file.FileManager.class - [JAR]

it.unive.lisa.analysis.value

├─ it.unive.lisa.analysis.value.ValueDomain.class - [JAR]

it.unive.lisa.analysis.combination

├─ it.unive.lisa.analysis.combination.CartesianProduct.class - [JAR]

├─ it.unive.lisa.analysis.combination.ValueCartesianProduct.class - [JAR]

it.unive.lisa

├─ it.unive.lisa.AnalysisException.class - [JAR]

├─ it.unive.lisa.AnalysisExecutionException.class - [JAR]

├─ it.unive.lisa.AnalysisSetupException.class - [JAR]

├─ it.unive.lisa.DefaultImplementation.class - [JAR]

├─ it.unive.lisa.DefaultParameters.class - [JAR]

├─ it.unive.lisa.LiSA.class - [JAR]

├─ it.unive.lisa.LiSAConfiguration.class - [JAR]

├─ it.unive.lisa.LiSAFactory.class - [JAR]

├─ it.unive.lisa.LiSARunner.class - [JAR]

it.unive.lisa.util.collections.workset

├─ it.unive.lisa.util.collections.workset.ConcurrentFIFOWorkingSet.class - [JAR]

├─ it.unive.lisa.util.collections.workset.ConcurrentLIFOWorkingSet.class - [JAR]

├─ it.unive.lisa.util.collections.workset.FIFOWorkingSet.class - [JAR]

├─ it.unive.lisa.util.collections.workset.LIFOWorkingSet.class - [JAR]

├─ it.unive.lisa.util.collections.workset.VisitOnceWorkingSet.class - [JAR]

├─ it.unive.lisa.util.collections.workset.WorkingSet.class - [JAR]

it.unive.lisa.analysis.representation

├─ it.unive.lisa.analysis.representation.DomainRepresentation.class - [JAR]

├─ it.unive.lisa.analysis.representation.MapRepresentation.class - [JAR]

├─ it.unive.lisa.analysis.representation.PairRepresentation.class - [JAR]

├─ it.unive.lisa.analysis.representation.SetRepresentation.class - [JAR]

├─ it.unive.lisa.analysis.representation.StringRepresentation.class - [JAR]

it.unive.lisa.symbolic.value

├─ it.unive.lisa.symbolic.value.BinaryExpression.class - [JAR]

├─ it.unive.lisa.symbolic.value.BinaryOperator.class - [JAR]

├─ it.unive.lisa.symbolic.value.Constant.class - [JAR]

├─ it.unive.lisa.symbolic.value.HeapLocation.class - [JAR]

├─ it.unive.lisa.symbolic.value.Identifier.class - [JAR]

├─ it.unive.lisa.symbolic.value.MemoryPointer.class - [JAR]

├─ it.unive.lisa.symbolic.value.NullConstant.class - [JAR]

├─ it.unive.lisa.symbolic.value.Operator.class - [JAR]

├─ it.unive.lisa.symbolic.value.OutOfScopeIdentifier.class - [JAR]

├─ it.unive.lisa.symbolic.value.PushAny.class - [JAR]

├─ it.unive.lisa.symbolic.value.Skip.class - [JAR]

├─ it.unive.lisa.symbolic.value.TernaryExpression.class - [JAR]

├─ it.unive.lisa.symbolic.value.TernaryOperator.class - [JAR]

├─ it.unive.lisa.symbolic.value.UnaryExpression.class - [JAR]

├─ it.unive.lisa.symbolic.value.UnaryOperator.class - [JAR]

├─ it.unive.lisa.symbolic.value.ValueExpression.class - [JAR]

├─ it.unive.lisa.symbolic.value.Variable.class - [JAR]

it.unive.lisa.analysis.impl.heap

├─ it.unive.lisa.analysis.impl.heap.MonolithicHeap.class - [JAR]

├─ it.unive.lisa.analysis.impl.heap.TypeBasedHeap.class - [JAR]

it.unive.lisa.outputs

├─ it.unive.lisa.outputs.DotCFG.class - [JAR]

├─ it.unive.lisa.outputs.DotGraph.class - [JAR]

├─ it.unive.lisa.outputs.JsonReport.class - [JAR]

it.unive.lisa.analysis.heap

├─ it.unive.lisa.analysis.heap.BaseHeapDomain.class - [JAR]

├─ it.unive.lisa.analysis.heap.HeapDomain.class - [JAR]

├─ it.unive.lisa.analysis.heap.HeapSemanticOperation.class - [JAR]

it.unive.lisa.analysis.nonrelational.value

├─ it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.value.ValueEnvironment.class - [JAR]

it.unive.lisa.caches

├─ it.unive.lisa.caches.Caches.class - [JAR]

it.unive.lisa.symbolic

├─ it.unive.lisa.symbolic.ExpressionVisitor.class - [JAR]

├─ it.unive.lisa.symbolic.SymbolicExpression.class - [JAR]

it.unive.lisa.interprocedural.callgraph

├─ it.unive.lisa.interprocedural.callgraph.BaseCallGraph.class - [JAR]

├─ it.unive.lisa.interprocedural.callgraph.CallGraph.class - [JAR]

├─ it.unive.lisa.interprocedural.callgraph.CallGraphConstructionException.class - [JAR]

├─ it.unive.lisa.interprocedural.callgraph.CallGraphEdge.class - [JAR]

├─ it.unive.lisa.interprocedural.callgraph.CallGraphNode.class - [JAR]

├─ it.unive.lisa.interprocedural.callgraph.CallResolutionException.class - [JAR]

it.unive.lisa.outputs.compare

├─ it.unive.lisa.outputs.compare.JsonReportComparer.class - [JAR]

it.unive.lisa.program.annotations

├─ it.unive.lisa.program.annotations.Annotation.class - [JAR]

├─ it.unive.lisa.program.annotations.AnnotationMember.class - [JAR]

├─ it.unive.lisa.program.annotations.Annotations.class - [JAR]

it.unive.lisa.analysis.impl.numeric

├─ it.unive.lisa.analysis.impl.numeric.IntegerConstantPropagation.class - [JAR]

├─ it.unive.lisa.analysis.impl.numeric.Interval.class - [JAR]

├─ it.unive.lisa.analysis.impl.numeric.Parity.class - [JAR]

├─ it.unive.lisa.analysis.impl.numeric.Sign.class - [JAR]

it.unive.lisa.analysis.impl.heap.pointbased

├─ it.unive.lisa.analysis.impl.heap.pointbased.AllocationSite.class - [JAR]

├─ it.unive.lisa.analysis.impl.heap.pointbased.AllocationSites.class - [JAR]

├─ it.unive.lisa.analysis.impl.heap.pointbased.FieldSensitivePointBasedHeap.class - [JAR]

├─ it.unive.lisa.analysis.impl.heap.pointbased.PointBasedHeap.class - [JAR]

it.unive.lisa.analysis.nonrelational.heap

├─ it.unive.lisa.analysis.nonrelational.heap.HeapEnvironment.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain.class - [JAR]

it.unive.lisa.logging

├─ it.unive.lisa.logging.Counter.class - [JAR]

├─ it.unive.lisa.logging.CountingIterable.class - [JAR]

├─ it.unive.lisa.logging.IterationLogger.class - [JAR]

├─ it.unive.lisa.logging.TimeFormat.class - [JAR]

├─ it.unive.lisa.logging.TimerLogger.class - [JAR]

it.unive.lisa.analysis.lattices

├─ it.unive.lisa.analysis.lattices.ExpressionSet.class - [JAR]

├─ it.unive.lisa.analysis.lattices.FunctionalLattice.class - [JAR]

├─ it.unive.lisa.analysis.lattices.InverseSetLattice.class - [JAR]

├─ it.unive.lisa.analysis.lattices.SetLattice.class - [JAR]

it.unive.lisa.symbolic.types

├─ it.unive.lisa.symbolic.types.BoolType.class - [JAR]

├─ it.unive.lisa.symbolic.types.IntType.class - [JAR]

├─ it.unive.lisa.symbolic.types.StringType.class - [JAR]

it.unive.lisa.util.collections

├─ it.unive.lisa.util.collections.CollectionUtilities.class - [JAR]

├─ it.unive.lisa.util.collections.CollectionsDiffBuilder.class - [JAR]

├─ it.unive.lisa.util.collections.IterableArray.class - [JAR]

it.unive.lisa.type

├─ it.unive.lisa.type.ArrayType.class - [JAR]

├─ it.unive.lisa.type.BooleanType.class - [JAR]

├─ it.unive.lisa.type.NullType.class - [JAR]

├─ it.unive.lisa.type.NumericType.class - [JAR]

├─ it.unive.lisa.type.PointerType.class - [JAR]

├─ it.unive.lisa.type.StringType.class - [JAR]

├─ it.unive.lisa.type.Type.class - [JAR]

├─ it.unive.lisa.type.TypeTokenType.class - [JAR]

├─ it.unive.lisa.type.UnitType.class - [JAR]

├─ it.unive.lisa.type.Untyped.class - [JAR]

├─ it.unive.lisa.type.VoidType.class - [JAR]

it.unive.lisa.checks.semantic

├─ it.unive.lisa.checks.semantic.CheckToolWithAnalysisResults.class - [JAR]

├─ it.unive.lisa.checks.semantic.SemanticCheck.class - [JAR]

it.unive.lisa.analysis.nonrelational

├─ it.unive.lisa.analysis.nonrelational.Environment.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.NonRelationalDomain.class - [JAR]

├─ it.unive.lisa.analysis.nonrelational.NonRelationalElement.class - [JAR]

Advertisement