View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- 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]