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-analyses-0.1b8.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
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.analysis
├─ it.unive.lisa.analysis.SimpleAbstractState.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.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.nonRedundantSet
├─ it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowerset.class - [JAR]
├─ it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowersetOfBaseNonRelationalValueDomain.class - [JAR]
├─ it.unive.lisa.analysis.nonRedundantSet.NonRedundantPowersetOfInterval.class - [JAR]
├─ it.unive.lisa.analysis.nonRedundantSet.ValueNonRedundantSet.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.HeapAllocationSite.class - [JAR]
├─ it.unive.lisa.analysis.heap.pointbased.PointBasedHeap.class - [JAR]
├─ it.unive.lisa.analysis.heap.pointbased.StackAllocationSite.class - [JAR]
it.unive.lisa.analysis.string.fsa
├─ it.unive.lisa.analysis.string.fsa.FSA.class - [JAR]
├─ it.unive.lisa.analysis.string.fsa.SimpleAutomaton.class - [JAR]
├─ it.unive.lisa.analysis.string.fsa.StringSymbol.class - [JAR]
it.unive.lisa.interprocedural.context
├─ it.unive.lisa.interprocedural.context.ContextBasedAnalysis.class - [JAR]
├─ it.unive.lisa.interprocedural.context.ContextInsensitiveToken.class - [JAR]
├─ it.unive.lisa.interprocedural.context.ContextSensitivityToken.class - [JAR]
├─ it.unive.lisa.interprocedural.context.FullStackToken.class - [JAR]
├─ it.unive.lisa.interprocedural.context.KDepthToken.class - [JAR]
├─ it.unive.lisa.interprocedural.context.LastCallToken.class - [JAR]
it.unive.lisa.interprocedural.context.recursion
├─ it.unive.lisa.interprocedural.context.recursion.BaseCasesFinder.class - [JAR]
├─ it.unive.lisa.interprocedural.context.recursion.Recursion.class - [JAR]
├─ it.unive.lisa.interprocedural.context.recursion.RecursionSolver.class - [JAR]
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.traces
├─ it.unive.lisa.analysis.traces.Branching.class - [JAR]
├─ it.unive.lisa.analysis.traces.ExecutionTrace.class - [JAR]
├─ it.unive.lisa.analysis.traces.LoopIteration.class - [JAR]
├─ it.unive.lisa.analysis.traces.LoopSummary.class - [JAR]
├─ it.unive.lisa.analysis.traces.TracePartitioning.class - [JAR]
├─ it.unive.lisa.analysis.traces.TraceToken.class - [JAR]
it.unive.lisa.analysis.taint
├─ it.unive.lisa.analysis.taint.BaseTaint.class - [JAR]
├─ it.unive.lisa.analysis.taint.Taint.class - [JAR]
├─ it.unive.lisa.analysis.taint.ThreeLevelsTaint.class - [JAR]
it.unive.lisa.analysis.string.tarsis
├─ it.unive.lisa.analysis.string.tarsis.IndexFinder.class - [JAR]
├─ it.unive.lisa.analysis.string.tarsis.RegexAutomaton.class - [JAR]
├─ it.unive.lisa.analysis.string.tarsis.StringReplacer.class - [JAR]
├─ it.unive.lisa.analysis.string.tarsis.StringSearcher.class - [JAR]
├─ it.unive.lisa.analysis.string.tarsis.Tarsis.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.string.bricks
├─ it.unive.lisa.analysis.string.bricks.Brick.class - [JAR]
├─ it.unive.lisa.analysis.string.bricks.Bricks.class - [JAR]
it.unive.lisa.analysis.nonInterference
├─ it.unive.lisa.analysis.nonInterference.NonInterference.class - [JAR]
it.unive.lisa.interprocedural
├─ it.unive.lisa.interprocedural.CallGraphBasedAnalysis.class - [JAR]
├─ it.unive.lisa.interprocedural.ModularWorstCaseAnalysis.class - [JAR]
it.unive.lisa.analysis.string
├─ it.unive.lisa.analysis.string.CharInclusion.class - [JAR]
├─ it.unive.lisa.analysis.string.ContainsCharProvider.class - [JAR]
├─ it.unive.lisa.analysis.string.Prefix.class - [JAR]
├─ it.unive.lisa.analysis.string.Suffix.class - [JAR]