jar

com.github.unive-ssv : lisa-core

Maven & Gradle

Feb 22, 2022
1 usages
0 stars

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

Table Of Contents

Latest Version

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

All Versions

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

Version Vulnerabilities Size Updated
0.1b5
0.1b4
0.1b3
0.1b2

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.1b5.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.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]

Advertisement

Dependencies from Group

Feb 22, 2022
2 usages
0 stars
Feb 22, 2022
1 usages
0 stars
Aug 25, 2021
0 stars
Jan 23, 2021
3 stars
Feb 22, 2022
0 stars

Discover Dependencies

Aug 13, 2022
1.6k stars
Aug 13, 2022
1.6k stars
Aug 13, 2022
1.6k stars
Nov 20, 2021
1 usages
0 stars
Nov 20, 2021
0 stars
Jun 25, 2023
77 stars
May 24, 2023
2 usages
0 stars
May 24, 2023
1 usages