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-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]