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-sdk-0.1b8.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
it.unive.lisa.symbolic.value.operator.binary
├─ it.unive.lisa.symbolic.value.operator.binary.BinaryOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.BitwiseAnd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.BitwiseOr.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.BitwiseShiftLeft.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.BitwiseShiftRight.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.BitwiseUnsignedShiftRight.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.BitwiseXor.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.ComparisonEq.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.ComparisonGe.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.ComparisonGt.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.ComparisonLe.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.ComparisonLt.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.ComparisonNe.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.LogicalAnd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.LogicalOperation.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.LogicalOr.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric16BitAdd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric16BitDiv.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric16BitMod.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric16BitMul.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric16BitRem.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric16BitSub.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric32BitAdd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric32BitDiv.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric32BitMod.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric32BitMul.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric32BitRem.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric32BitSub.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric64BitAdd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric64BitDiv.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric64BitMod.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric64BitMul.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric64BitRem.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric64BitSub.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric8BitAdd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric8BitDiv.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric8BitMod.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric8BitMul.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric8BitRem.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.Numeric8BitSub.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericComparison.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingAdd.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingDiv.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingMod.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingMul.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingRem.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingSub.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.NumericOperation.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringConcat.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringContains.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringEndsWith.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringEquals.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringIndexOf.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringOperation.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.StringStartsWith.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.TypeCast.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.TypeCheck.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.binary.TypeConv.class - [JAR]
it.unive.lisa.program.cfg
├─ it.unive.lisa.program.cfg.AbstractCodeMember.class - [JAR]
├─ it.unive.lisa.program.cfg.CFG.class - [JAR]
├─ it.unive.lisa.program.cfg.CodeLocation.class - [JAR]
├─ it.unive.lisa.program.cfg.CodeMember.class - [JAR]
├─ it.unive.lisa.program.cfg.CodeMemberDescriptor.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.program.cfg.statement.call
├─ it.unive.lisa.program.cfg.statement.call.CFGCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.Call.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.CallWithResult.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.CanRemoveReceiver.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.MultiCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.NamedParameterExpression.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.NativeCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.OpenCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.ResolvedCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.TruncatedParamsCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.UnresolvedCall.class - [JAR]
it.unive.lisa.analysis
├─ it.unive.lisa.analysis.AbstractState.class - [JAR]
├─ it.unive.lisa.analysis.AnalysisState.class - [JAR]
├─ it.unive.lisa.analysis.AnalyzedCFG.class - [JAR]
├─ it.unive.lisa.analysis.BaseLattice.class - [JAR]
├─ it.unive.lisa.analysis.Lattice.class - [JAR]
├─ it.unive.lisa.analysis.OptimizedAnalyzedCFG.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.StatementStore.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.language.hierarchytraversal
├─ it.unive.lisa.program.language.hierarchytraversal.HierarcyTraversalStrategy.class - [JAR]
├─ it.unive.lisa.program.language.hierarchytraversal.SingleInheritanceTraversalStrategy.class - [JAR]
it.unive.lisa.program.cfg.fixpoints
├─ it.unive.lisa.program.cfg.fixpoints.AscendingFixpoint.class - [JAR]
├─ it.unive.lisa.program.cfg.fixpoints.CFGFixpoint.class - [JAR]
├─ it.unive.lisa.program.cfg.fixpoints.DescendingGLBFixpoint.class - [JAR]
├─ it.unive.lisa.program.cfg.fixpoints.DescendingNarrowingFixpoint.class - [JAR]
├─ it.unive.lisa.program.cfg.fixpoints.OptimizedFixpoint.class - [JAR]
it.unive.lisa.checks
├─ it.unive.lisa.checks.Check.class - [JAR]
├─ it.unive.lisa.checks.ChecksExecutor.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.symbolic.value.operator.ternary
├─ it.unive.lisa.symbolic.value.operator.ternary.StringReplace.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.ternary.StringSubstring.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.ternary.TernaryOperator.class - [JAR]
it.unive.lisa.util.datastructures.graph.code
├─ it.unive.lisa.util.datastructures.graph.code.CodeEdge.class - [JAR]
├─ it.unive.lisa.util.datastructures.graph.code.CodeGraph.class - [JAR]
├─ it.unive.lisa.util.datastructures.graph.code.CodeNode.class - [JAR]
├─ it.unive.lisa.util.datastructures.graph.code.NodeList.class - [JAR]
it.unive.lisa.symbolic.heap
├─ it.unive.lisa.symbolic.heap.AccessChild.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.symbolic.heap.MemoryAllocation.class - [JAR]
it.unive.lisa.interprocedural
├─ it.unive.lisa.interprocedural.CFGResults.class - [JAR]
├─ it.unive.lisa.interprocedural.FixpointResults.class - [JAR]
├─ it.unive.lisa.interprocedural.InterproceduralAnalysis.class - [JAR]
├─ it.unive.lisa.interprocedural.InterproceduralAnalysisException.class - [JAR]
├─ it.unive.lisa.interprocedural.NoEntryPointException.class - [JAR]
├─ it.unive.lisa.interprocedural.OpenCallPolicy.class - [JAR]
├─ it.unive.lisa.interprocedural.ReturnTopPolicy.class - [JAR]
├─ it.unive.lisa.interprocedural.ScopeId.class - [JAR]
├─ it.unive.lisa.interprocedural.UniqueScope.class - [JAR]
├─ it.unive.lisa.interprocedural.WorstCasePolicy.class - [JAR]
it.unive.lisa.program.cfg.statement
├─ it.unive.lisa.program.cfg.statement.Assignment.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.BinaryExpression.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.BinaryStatement.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.Expression.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.MetaVariableCreator.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.NaryExpression.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.NaryStatement.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.NoOp.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.TernaryExpression.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.TernaryStatement.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.Throw.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.UnaryExpression.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.UnaryStatement.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.VariableRef.class - [JAR]
it.unive.lisa.analysis.symbols
├─ it.unive.lisa.analysis.symbols.Aliases.class - [JAR]
├─ it.unive.lisa.analysis.symbols.NameSymbol.class - [JAR]
├─ it.unive.lisa.analysis.symbols.QualifiedNameSymbol.class - [JAR]
├─ it.unive.lisa.analysis.symbols.QualifierSymbol.class - [JAR]
├─ it.unive.lisa.analysis.symbols.Symbol.class - [JAR]
├─ it.unive.lisa.analysis.symbols.SymbolAliasing.class - [JAR]
it.unive.lisa.util
├─ it.unive.lisa.util.StringUtilities.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.util.datastructures.regex.symbolic
├─ it.unive.lisa.util.datastructures.regex.symbolic.SymbolicChar.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.symbolic.SymbolicString.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.symbolic.UnknownSymbolicChar.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.util.datastructures.regex
├─ it.unive.lisa.util.datastructures.regex.Atom.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.Comp.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.EmptySet.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.Or.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.RegularExpression.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.Star.class - [JAR]
├─ it.unive.lisa.util.datastructures.regex.TopAtom.class - [JAR]
it.unive.lisa.util.numeric
├─ it.unive.lisa.util.numeric.InfiniteIterationException.class - [JAR]
├─ it.unive.lisa.util.numeric.IntInterval.class - [JAR]
├─ it.unive.lisa.util.numeric.IntIntervalIterator.class - [JAR]
├─ it.unive.lisa.util.numeric.MathNumber.class - [JAR]
├─ it.unive.lisa.util.numeric.MathNumberConversionException.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.util.datastructures.graph.algorithms.SCCs.class - [JAR]
it.unive.lisa.program
├─ it.unive.lisa.program.AbstractClassUnit.class - [JAR]
├─ it.unive.lisa.program.Application.class - [JAR]
├─ it.unive.lisa.program.ClassUnit.class - [JAR]
├─ it.unive.lisa.program.CodeElement.class - [JAR]
├─ it.unive.lisa.program.CodeUnit.class - [JAR]
├─ it.unive.lisa.program.CompilationUnit.class - [JAR]
├─ it.unive.lisa.program.ConstantGlobal.class - [JAR]
├─ it.unive.lisa.program.Global.class - [JAR]
├─ it.unive.lisa.program.InterfaceUnit.class - [JAR]
├─ it.unive.lisa.program.Program.class - [JAR]
├─ it.unive.lisa.program.ProgramUnit.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.BaseGraph.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.outputs.json
├─ it.unive.lisa.outputs.json.JsonReport.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.TypeDomain.class - [JAR]
├─ it.unive.lisa.analysis.value.ValueDomain.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.FallbackImplementation.class - [JAR]
├─ it.unive.lisa.LiSA.class - [JAR]
├─ it.unive.lisa.LiSAFactory.class - [JAR]
├─ it.unive.lisa.LiSAReport.class - [JAR]
├─ it.unive.lisa.LiSARunInfo.class - [JAR]
├─ it.unive.lisa.LiSARunner.class - [JAR]
├─ it.unive.lisa.VersionInfo.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.DuplicateFreeFIFOWorkingSet.class - [JAR]
├─ it.unive.lisa.util.collections.workset.DuplicateFreeLIFOWorkingSet.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.VisitOnceFIFOWorkingSet.class - [JAR]
├─ it.unive.lisa.util.collections.workset.VisitOnceLIFOWorkingSet.class - [JAR]
├─ it.unive.lisa.util.collections.workset.VisitOnceWorkingSet.class - [JAR]
├─ it.unive.lisa.util.collections.workset.WorkingSet.class - [JAR]
it.unive.lisa.program.language
├─ it.unive.lisa.program.language.LanguageFeatures.class - [JAR]
it.unive.lisa.program.cfg.statement.evaluation
├─ it.unive.lisa.program.cfg.statement.evaluation.EvaluationOrder.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.evaluation.LeftToRightEvaluation.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.evaluation.RightToLeftEvaluation.class - [JAR]
it.unive.lisa.outputs.serializableGraph
├─ it.unive.lisa.outputs.serializableGraph.SerializableArray.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableCFG.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableEdge.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableGraph.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableNode.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableNodeDescription.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableObject.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableString.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.SerializableValue.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.ValueDeserializer.class - [JAR]
├─ it.unive.lisa.outputs.serializableGraph.ValueSerializer.class - [JAR]
it.unive.lisa.analysis.representation
├─ it.unive.lisa.analysis.representation.DomainRepresentation.class - [JAR]
├─ it.unive.lisa.analysis.representation.ListRepresentation.class - [JAR]
├─ it.unive.lisa.analysis.representation.MapRepresentation.class - [JAR]
├─ it.unive.lisa.analysis.representation.ObjectRepresentation.class - [JAR]
├─ it.unive.lisa.analysis.representation.SetRepresentation.class - [JAR]
├─ it.unive.lisa.analysis.representation.StringRepresentation.class - [JAR]
it.unive.lisa.symbolic.value.operator.unary
├─ it.unive.lisa.symbolic.value.operator.unary.BitwiseNegation.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.unary.LogicalNegation.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.unary.NumericNegation.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.unary.StringLength.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.unary.TypeOf.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.unary.UnaryOperator.class - [JAR]
it.unive.lisa.symbolic.value
├─ it.unive.lisa.symbolic.value.BinaryExpression.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.UnaryExpression.class - [JAR]
├─ it.unive.lisa.symbolic.value.ValueExpression.class - [JAR]
├─ it.unive.lisa.symbolic.value.Variable.class - [JAR]
it.unive.lisa.symbolic.value.operator
├─ it.unive.lisa.symbolic.value.operator.AdditionOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.ArithmeticOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.BitwiseOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.ComparisonOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.DivisionOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.LogicalOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.ModuloOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.MultiplicationOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.NegatableOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.OverflowingOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.RemainderOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.StringOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.SubtractionOperator.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.TypeOperator.class - [JAR]
it.unive.lisa.outputs
├─ it.unive.lisa.outputs.DotGraph.class - [JAR]
├─ it.unive.lisa.outputs.GraphStreamWrapper.class - [JAR]
├─ it.unive.lisa.outputs.GraphmlGraph.class - [JAR]
├─ it.unive.lisa.outputs.HtmlGraph.class - [JAR]
├─ it.unive.lisa.outputs.OutputDumpingException.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.BaseNonRelationalTypeDomain.class - [JAR]
├─ it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain.class - [JAR]
├─ it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain.class - [JAR]
├─ it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain.class - [JAR]
├─ it.unive.lisa.analysis.nonrelational.value.TypeEnvironment.class - [JAR]
├─ it.unive.lisa.analysis.nonrelational.value.ValueEnvironment.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.conf
├─ it.unive.lisa.conf.BaseConfiguration.class - [JAR]
├─ it.unive.lisa.conf.FixpointConfiguration.class - [JAR]
├─ it.unive.lisa.conf.LiSAConfiguration.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.program.language.resolution
├─ it.unive.lisa.program.language.resolution.FixedOrderMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.language.resolution.JavaLikeMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.language.resolution.ParameterMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.language.resolution.PythonLikeMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.language.resolution.RuntimeTypesMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.language.resolution.StaticTypesMatchingStrategy.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.nonrelational.heap
├─ it.unive.lisa.analysis.nonrelational.heap.HeapEnvironment.class - [JAR]
├─ it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain.class - [JAR]
it.unive.lisa.program.language.parameterassignment
├─ it.unive.lisa.program.language.parameterassignment.OrderPreservingAssigningStrategy.class - [JAR]
├─ it.unive.lisa.program.language.parameterassignment.ParameterAssigningStrategy.class - [JAR]
├─ it.unive.lisa.program.language.parameterassignment.PythonLikeAssigningStrategy.class - [JAR]
it.unive.lisa.program.cfg.statement.literal
├─ it.unive.lisa.program.cfg.statement.literal.Literal.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.GenericInverseSetLattice.class - [JAR]
├─ it.unive.lisa.analysis.lattices.GenericMapLattice.class - [JAR]
├─ it.unive.lisa.analysis.lattices.GenericSetLattice.class - [JAR]
├─ it.unive.lisa.analysis.lattices.InverseSetLattice.class - [JAR]
├─ it.unive.lisa.analysis.lattices.SetLattice.class - [JAR]
it.unive.lisa.program.language.validation
├─ it.unive.lisa.program.language.validation.BaseValidationLogic.class - [JAR]
├─ it.unive.lisa.program.language.validation.ProgramValidationLogic.class - [JAR]
it.unive.lisa.util.collections
├─ it.unive.lisa.util.collections.CastIterable.class - [JAR]
├─ 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.util.datastructures.automaton
├─ it.unive.lisa.util.datastructures.automaton.AutomataFactory.class - [JAR]
├─ it.unive.lisa.util.datastructures.automaton.Automaton.class - [JAR]
├─ it.unive.lisa.util.datastructures.automaton.CyclicAutomatonException.class - [JAR]
├─ it.unive.lisa.util.datastructures.automaton.State.class - [JAR]
├─ it.unive.lisa.util.datastructures.automaton.Transition.class - [JAR]
├─ it.unive.lisa.util.datastructures.automaton.TransitionSymbol.class - [JAR]
it.unive.lisa.type
├─ it.unive.lisa.type.ArrayType.class - [JAR]
├─ it.unive.lisa.type.BooleanType.class - [JAR]
├─ it.unive.lisa.type.InMemoryType.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.ReferenceType.class - [JAR]
├─ it.unive.lisa.type.StringType.class - [JAR]
├─ it.unive.lisa.type.Type.class - [JAR]
├─ it.unive.lisa.type.TypeSystem.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]
├─ it.unive.lisa.analysis.nonrelational.VariableLift.class - [JAR]
