jar

io.github.lisa-analyzer : lisa-core

Maven & Gradle

Nov 10, 2022
52 stars

LiSA (lisa-core) · A library for static analysis

Table Of Contents

Latest Version

Download io.github.lisa-analyzer : lisa-core JAR file - Latest Versions:

All Versions

Download io.github.lisa-analyzer : lisa-core JAR file - All Versions:

Version Vulnerabilities Size Updated
0.1b7
0.1b6

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-core-0.1b7.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unive.lisa.analysis.heap

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

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

it.unive.lisa.analysis.combination

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

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

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

it.unive.lisa

├─ 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.analysis.dataflow

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

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

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

it.unive.lisa.analysis.types

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

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

it.unive.lisa.interprocedural.callgraph

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

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

it.unive.lisa.analysis.numeric

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

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

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

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

it.unive.lisa.analysis.nonInterference

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

it.unive.lisa.interprocedural

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

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

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

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

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

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

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

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

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

it.unive.lisa.analysis.heap.pointbased

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

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

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

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