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.1b5.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.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.TruncatedParamsCall.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.UnresolvedCall.class - [JAR]
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.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.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.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.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.Numeric8BitSub.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.NumericNonOverflowingSub.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.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.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.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.program.cfg.statement.comparison
├─ it.unive.lisa.program.cfg.statement.comparison.Equal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.comparison.GreaterOrEqual.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.comparison.GreaterThan.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.comparison.LessOrEqual.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.comparison.LessThan.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.comparison.NotEqual.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.program.cfg.statement.string
├─ it.unive.lisa.program.cfg.statement.string.Concat.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.Contains.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.EndsWith.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.Equals.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.IndexOf.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.Length.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.Replace.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.StartsWith.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.string.Substring.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.interprocedural
├─ it.unive.lisa.interprocedural.InterproceduralAnalysis.class - [JAR]
├─ it.unive.lisa.interprocedural.InterproceduralAnalysisException.class - [JAR]
├─ it.unive.lisa.interprocedural.OpenCallPolicy.class - [JAR]
├─ it.unive.lisa.interprocedural.ReturnTopPolicy.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.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.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.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.program.cfg.statement.numeric
├─ it.unive.lisa.program.cfg.statement.numeric.Addition.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.numeric.Division.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.numeric.Multiplication.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.numeric.Negation.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.numeric.Remainder.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.numeric.Subtraction.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.program.cfg.statement.call.traversal
├─ it.unive.lisa.program.cfg.statement.call.traversal.HierarcyTraversalStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.traversal.SingleInheritanceTraversalStrategy.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.cfg.statement.call.resolution
├─ it.unive.lisa.program.cfg.statement.call.resolution.FixedOrderMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.resolution.JavaLikeMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.resolution.ParameterMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.resolution.PythonLikeMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.resolution.RuntimeTypesMatchingStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.resolution.StaticTypesMatchingStrategy.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.program.cfg.statement.logic
├─ it.unive.lisa.program.cfg.statement.logic.And.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.logic.Not.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.logic.Or.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.statement.global
├─ it.unive.lisa.program.cfg.statement.global.AccessGlobal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal.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.util.file
├─ it.unive.lisa.util.file.FileManager.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.analysis.value
├─ it.unive.lisa.analysis.value.TypeDomain.class - [JAR]
├─ it.unive.lisa.analysis.value.ValueDomain.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
├─ it.unive.lisa.AnalysisException.class - [JAR]
├─ it.unive.lisa.AnalysisExecutionException.class - [JAR]
├─ it.unive.lisa.AnalysisSetupException.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.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.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.Module.class - [JAR]
├─ it.unive.lisa.symbolic.value.operator.Multiplication.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.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.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.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.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.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.program.cfg.statement.literal
├─ it.unive.lisa.program.cfg.statement.literal.FalseLiteral.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Float32Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Float64Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Int16Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Int32Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Int64Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Int8Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.NullLiteral.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.StringLiteral.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.TrueLiteral.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.UInt16Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.UInt32Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.UInt64Literal.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.literal.UInt8Literal.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.type.common
├─ it.unive.lisa.type.common.BoolType.class - [JAR]
├─ it.unive.lisa.type.common.Float32.class - [JAR]
├─ it.unive.lisa.type.common.Float64.class - [JAR]
├─ it.unive.lisa.type.common.Int16.class - [JAR]
├─ it.unive.lisa.type.common.Int32.class - [JAR]
├─ it.unive.lisa.type.common.Int64.class - [JAR]
├─ it.unive.lisa.type.common.Int8.class - [JAR]
├─ it.unive.lisa.type.common.StringType.class - [JAR]
├─ it.unive.lisa.type.common.UInt16.class - [JAR]
├─ it.unive.lisa.type.common.UInt32.class - [JAR]
├─ it.unive.lisa.type.common.UInt64.class - [JAR]
├─ it.unive.lisa.type.common.UInt8.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.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.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.program.cfg.statement.call.assignment
├─ it.unive.lisa.program.cfg.statement.call.assignment.OrderPreservingAssigningStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.assignment.ParameterAssigningStrategy.class - [JAR]
├─ it.unive.lisa.program.cfg.statement.call.assignment.PythonLikeAssigningStrategy.class - [JAR]
