Hierarchy For All Packages

Package Hierarchies:

• it.unive.lisa,
• it.unive.lisa.analysis,
• it.unive.lisa.analysis.dataflow,
• it.unive.lisa.analysis.heap,
• it.unive.lisa.analysis.lattices,
• it.unive.lisa.analysis.nonrelational,
• it.unive.lisa.analysis.nonrelational.heap,
• it.unive.lisa.analysis.nonrelational.inference,
• it.unive.lisa.analysis.nonrelational.value,
• it.unive.lisa.analysis.representation,
• it.unive.lisa.analysis.symbols,
• it.unive.lisa.analysis.value,
• it.unive.lisa.checks,
• it.unive.lisa.checks.semantic,
• it.unive.lisa.checks.syntactic,
• it.unive.lisa.checks.warnings,
• it.unive.lisa.interprocedural,
• it.unive.lisa.interprocedural.callgraph,
• it.unive.lisa.logging,
• it.unive.lisa.outputs,
• it.unive.lisa.outputs.compare,
• it.unive.lisa.outputs.json,
• it.unive.lisa.outputs.serializableGraph,
• it.unive.lisa.program,
• it.unive.lisa.program.annotations,
• it.unive.lisa.program.annotations.matcher,
• it.unive.lisa.program.annotations.values,
• it.unive.lisa.program.cfg,
• it.unive.lisa.program.cfg.controlFlow,
• it.unive.lisa.program.cfg.edge,
• it.unive.lisa.program.cfg.statement,
• it.unive.lisa.program.cfg.statement.call,
• it.unive.lisa.program.cfg.statement.comparison,
• it.unive.lisa.program.cfg.statement.evaluation,
• it.unive.lisa.program.cfg.statement.global,
• it.unive.lisa.program.cfg.statement.literal,
• it.unive.lisa.program.cfg.statement.logic,
• it.unive.lisa.program.cfg.statement.numeric,
• it.unive.lisa.program.cfg.statement.string,
• it.unive.lisa.program.language,
• it.unive.lisa.program.language.hierarchytraversal,
• it.unive.lisa.program.language.parameterassignment,
• it.unive.lisa.program.language.resolution,
• it.unive.lisa.program.language.validation,
• it.unive.lisa.symbolic,
• it.unive.lisa.symbolic.heap,
• it.unive.lisa.symbolic.value,
• it.unive.lisa.symbolic.value.operator,
• it.unive.lisa.symbolic.value.operator.binary,
• it.unive.lisa.symbolic.value.operator.ternary,
• it.unive.lisa.symbolic.value.operator.unary,
• it.unive.lisa.type,
• it.unive.lisa.type.common,
• it.unive.lisa.util.collections,
• it.unive.lisa.util.collections.externalSet,
• it.unive.lisa.util.collections.workset,
• it.unive.lisa.util.datastructures.graph,
• it.unive.lisa.util.datastructures.graph.algorithms,
• it.unive.lisa.util.datastructures.graph.code,
• it.unive.lisa.util.file,
• it.unive.lisa.util.numeric

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.program.cfg.AbstractCodeMember (implements it.unive.lisa.program.cfg.CodeMember)
  • it.unive.lisa.util.datastructures.graph.AdjacencyMatrix<G,N,E> (implements java.lang.Iterable<T>)
  • it.unive.lisa.util.datastructures.graph.AdjacencyMatrix.NodeEdges<G,N,E>
  • it.unive.lisa.program.annotations.Annotation
  • it.unive.lisa.program.annotations.AnnotationMember
  • it.unive.lisa.program.annotations.Annotations (implements java.lang.Iterable<T>)
  • it.unive.lisa.program.Application
  • it.unive.lisa.program.annotations.values.ArrayAnnotationValue (implements it.unive.lisa.program.annotations.values.AnnotationValue)
  • it.unive.lisa.util.datastructures.graph.BaseGraph<G,N,E> (implements it.unive.lisa.util.datastructures.graph.Graph<G,N,E>)
    • it.unive.lisa.interprocedural.callgraph.BaseCallGraph (implements it.unive.lisa.interprocedural.callgraph.CallGraph)
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue.EvaluationVisitor (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.AnalysisState<A,H,V,T> (implements it.unive.lisa.analysis.SemanticDomain<D,E,I>)
    • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (implements it.unive.lisa.analysis.heap.HeapDomain<D>)
    • it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue<T> (implements it.unive.lisa.analysis.nonrelational.inference.InferredValue<T>)
    • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T> (implements it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>)
    • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T> (implements it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.dataflow.DataflowDomain<D,E> (implements it.unive.lisa.analysis.value.ValueDomain<D>)
      • it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<E>
      • it.unive.lisa.analysis.dataflow.PossibleForwardDataflowDomain<E>
    • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.nonrelational.Environment<M,E,T,V> (implements it.unive.lisa.analysis.SemanticDomain<D,E,I>)
        • it.unive.lisa.analysis.nonrelational.heap.HeapEnvironment<T> (implements it.unive.lisa.analysis.heap.HeapDomain<D>)
        • it.unive.lisa.analysis.nonrelational.inference.InferenceSystem<T> (implements it.unive.lisa.analysis.value.ValueDomain<D>)
        • it.unive.lisa.analysis.nonrelational.value.TypeEnvironment<T> (implements it.unive.lisa.analysis.value.TypeDomain<T>)
        • it.unive.lisa.analysis.nonrelational.value.ValueEnvironment<T> (implements it.unive.lisa.analysis.value.ValueDomain<D>)
      • it.unive.lisa.analysis.StatementStore<A,H,V,T>
      • it.unive.lisa.analysis.symbols.SymbolAliasing
    • it.unive.lisa.analysis.nonrelational.inference.InferredValue.InferredPair<T>
    • it.unive.lisa.analysis.lattices.InverseSetLattice<S,E> (implements java.lang.Iterable<T>)
    • it.unive.lisa.analysis.lattices.SetLattice<S,E> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.symbols.Aliases
      • it.unive.lisa.analysis.lattices.ExpressionSet<T>
    • it.unive.lisa.analysis.SimpleAbstractState<H,V,T> (implements it.unive.lisa.analysis.AbstractState<A,H,V,T>)
  • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain.EvaluationVisitor (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain.EvaluationVisitor (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.program.language.validation.BaseValidationLogic (implements it.unive.lisa.program.language.validation.ProgramValidationLogic)
  • it.unive.lisa.program.annotations.matcher.BasicAnnotationMatcher (implements it.unive.lisa.program.annotations.matcher.AnnotationMatcher)
  • it.unive.lisa.util.collections.externalSet.BitExternalSet<T> (implements it.unive.lisa.util.collections.externalSet.ExternalSet<T>)
  • it.unive.lisa.symbolic.value.operator.unary.BitwiseNegation (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator, it.unive.lisa.symbolic.value.operator.unary.UnaryOperator)
  • it.unive.lisa.program.annotations.values.BoolAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.type.common.BoolType (implements it.unive.lisa.type.BooleanType)
  • it.unive.lisa.program.annotations.values.ByteAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.interprocedural.callgraph.CallGraphEdge (implements it.unive.lisa.util.datastructures.graph.Edge<G,N,E>)
  • it.unive.lisa.interprocedural.callgraph.CallGraphNode (implements it.unive.lisa.util.datastructures.graph.Node<G,N,E>)
  • it.unive.lisa.util.collections.CastIterable<E,T> (implements java.lang.Iterable<T>)
  • it.unive.lisa.program.annotations.values.CharAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.checks.ChecksExecutor
  • it.unive.lisa.checks.syntactic.CheckTool
    • it.unive.lisa.checks.semantic.CheckToolWithAnalysisResults<A,H,V,T>
  • it.unive.lisa.util.datastructures.graph.code.CodeGraph<G,N,E> (implements it.unive.lisa.util.datastructures.graph.Graph<G,N,E>)
    • it.unive.lisa.program.cfg.CFG (implements it.unive.lisa.program.cfg.CodeMember)
      • it.unive.lisa.analysis.CFGWithAnalysisResults<A,H,V,T> (implements it.unive.lisa.analysis.Lattice<L>)
  • it.unive.lisa.program.cfg.CodeMemberDescriptor (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.util.collections.CollectionsDiffBuilder<T>
  • it.unive.lisa.util.collections.CollectionUtilities
  • it.unive.lisa.symbolic.value.operator.binary.ComparisonEq (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.ComparisonOperator)
  • it.unive.lisa.symbolic.value.operator.binary.ComparisonNe (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.ComparisonOperator)
  • it.unive.lisa.program.annotations.values.CompilationUnitAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.util.collections.workset.ConcurrentFIFOWorkingSet<E> (implements it.unive.lisa.util.collections.workset.WorkingSet<E>)
  • it.unive.lisa.util.collections.workset.ConcurrentLIFOWorkingSet<E> (implements it.unive.lisa.util.collections.workset.WorkingSet<E>)
  • it.unive.lisa.program.cfg.controlFlow.ControlFlowExtractor
  • it.unive.lisa.program.cfg.controlFlow.ControlFlowStructure
    • it.unive.lisa.program.cfg.controlFlow.IfThenElse
    • it.unive.lisa.program.cfg.controlFlow.Loop
  • it.unive.lisa.logging.Counter
  • it.unive.lisa.analysis.representation.DomainRepresentation (implements java.lang.Comparable<T>)
    • it.unive.lisa.analysis.representation.ListRepresentation
    • it.unive.lisa.analysis.representation.MapRepresentation
    • it.unive.lisa.analysis.representation.ObjectRepresentation
    • it.unive.lisa.analysis.representation.SetRepresentation
    • it.unive.lisa.analysis.representation.StringRepresentation
  • it.unive.lisa.util.datastructures.graph.algorithms.Dominators<G,N,E>
  • it.unive.lisa.program.annotations.values.DoubleAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.program.cfg.edge.Edge (implements it.unive.lisa.util.datastructures.graph.code.CodeEdge<G,N,E>)
    • it.unive.lisa.program.cfg.edge.FalseEdge
    • it.unive.lisa.program.cfg.edge.SequentialEdge
    • it.unive.lisa.program.cfg.edge.TrueEdge
  • it.unive.lisa.program.annotations.values.EnumAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.util.collections.externalSet.ExternalSetCache<T>
  • it.unive.lisa.util.collections.workset.FIFOWorkingSet<E> (implements it.unive.lisa.util.collections.workset.WorkingSet<E>)
  • it.unive.lisa.util.file.FileManager
  • it.unive.lisa.program.language.resolution.FixedOrderMatchingStrategy (implements it.unive.lisa.program.language.resolution.ParameterMatchingStrategy)
    • it.unive.lisa.program.language.resolution.JavaLikeMatchingStrategy
    • it.unive.lisa.program.language.resolution.RuntimeTypesMatchingStrategy
    • it.unive.lisa.program.language.resolution.StaticTypesMatchingStrategy
  • it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint<G,N,E,T>
  • it.unive.lisa.type.common.Float32Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Float64Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.program.annotations.values.FloatAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.program.Global (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.outputs.GraphStreamWrapper
    • it.unive.lisa.outputs.DotGraph
    • it.unive.lisa.outputs.GraphmlGraph
    • it.unive.lisa.outputs.HtmlGraph
  • it.unive.lisa.analysis.heap.HeapSemanticOperation.HeapReplacement
  • it.unive.lisa.type.common.Int16Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Int32Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Int64Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Int8Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.program.annotations.values.IntAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.util.numeric.IntInterval
  • it.unive.lisa.util.collections.IterableArray<E> (implements java.lang.Iterable<T>)
  • it.unive.lisa.logging.IterationLogger
  • com.fasterxml.jackson.databind.JsonDeserializer<T> (implements com.fasterxml.jackson.databind.deser.NullValueProvider)
    • com.fasterxml.jackson.databind.deser.std.StdDeserializer<T> (implements java.io.Serializable)
      • it.unive.lisa.outputs.serializableGraph.ValueDeserializer
  • it.unive.lisa.outputs.json.JsonReport
  • it.unive.lisa.outputs.json.JsonReport.JsonWarning (implements java.lang.Comparable<T>)
  • it.unive.lisa.outputs.compare.JsonReportComparer
  • com.fasterxml.jackson.databind.JsonSerializer<T> (implements com.fasterxml.jackson.databind.jsonFormatVisitors.JsonFormatVisitable)
    • com.fasterxml.jackson.databind.ser.std.StdSerializer<T> (implements com.fasterxml.jackson.databind.jsonFormatVisitors.JsonFormatVisitable, com.fasterxml.jackson.databind.jsonschema.SchemaAware, java.io.Serializable)
      • it.unive.lisa.outputs.serializableGraph.ValueSerializer
  • it.unive.lisa.program.language.LanguageFeatures
  • it.unive.lisa.program.cfg.statement.evaluation.LeftToRightEvaluation (implements it.unive.lisa.program.cfg.statement.evaluation.EvaluationOrder)
  • it.unive.lisa.util.collections.workset.LIFOWorkingSet<E> (implements it.unive.lisa.util.collections.workset.WorkingSet<E>)
  • it.unive.lisa.symbolic.value.operator.unary.LogicalNegation (implements it.unive.lisa.symbolic.value.operator.LogicalOperator, it.unive.lisa.symbolic.value.operator.unary.UnaryOperator)
  • it.unive.lisa.symbolic.value.operator.binary.LogicalOperation (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.LogicalOperator)
    • it.unive.lisa.symbolic.value.operator.binary.LogicalAnd
    • it.unive.lisa.symbolic.value.operator.binary.LogicalOr
  • it.unive.lisa.program.annotations.values.LongAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.util.numeric.MathNumber (implements java.lang.Comparable<T>)
  • it.unive.lisa.analysis.symbols.NameSymbol (implements it.unive.lisa.analysis.symbols.Symbol)
  • it.unive.lisa.program.cfg.NativeCFG (implements it.unive.lisa.program.cfg.CodeMember)
  • it.unive.lisa.util.datastructures.graph.code.NodeList<G,N,E> (implements java.lang.Iterable<T>)
  • it.unive.lisa.util.datastructures.graph.code.NodeList.NodeEdges<G,N,E>
  • it.unive.lisa.type.NullType (implements it.unive.lisa.type.InMemoryType)
  • it.unive.lisa.symbolic.value.operator.binary.NumericComparison (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.ComparisonOperator)
    • it.unive.lisa.symbolic.value.operator.binary.ComparisonGe
    • it.unive.lisa.symbolic.value.operator.binary.ComparisonGt
    • it.unive.lisa.symbolic.value.operator.binary.ComparisonLe
    • it.unive.lisa.symbolic.value.operator.binary.ComparisonLt
  • it.unive.lisa.symbolic.value.operator.unary.NumericNegation (implements it.unive.lisa.symbolic.value.operator.ArithmeticOperator, it.unive.lisa.symbolic.value.operator.unary.UnaryOperator)
  • it.unive.lisa.symbolic.value.operator.binary.NumericOperation (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator)
    • it.unive.lisa.symbolic.value.operator.binary.BitwiseAnd (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator)
    • it.unive.lisa.symbolic.value.operator.binary.BitwiseOr (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator)
    • it.unive.lisa.symbolic.value.operator.binary.BitwiseShiftLeft (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator)
    • it.unive.lisa.symbolic.value.operator.binary.BitwiseShiftRight (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator)
    • it.unive.lisa.symbolic.value.operator.binary.BitwiseUnsignedShiftRight (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator)
    • it.unive.lisa.symbolic.value.operator.binary.BitwiseXor (implements it.unive.lisa.symbolic.value.operator.BitwiseOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitDiv (implements it.unive.lisa.symbolic.value.operator.DivisionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitMod (implements it.unive.lisa.symbolic.value.operator.ModuleOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitMul (implements it.unive.lisa.symbolic.value.operator.MultiplicationOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitSub (implements it.unive.lisa.symbolic.value.operator.OverflowingOperator, it.unive.lisa.symbolic.value.operator.SubtractionOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitDiv (implements it.unive.lisa.symbolic.value.operator.DivisionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitMod (implements it.unive.lisa.symbolic.value.operator.ModuleOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitMul (implements it.unive.lisa.symbolic.value.operator.MultiplicationOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitSub (implements it.unive.lisa.symbolic.value.operator.OverflowingOperator, it.unive.lisa.symbolic.value.operator.SubtractionOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitDiv (implements it.unive.lisa.symbolic.value.operator.DivisionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitMod (implements it.unive.lisa.symbolic.value.operator.ModuleOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitMul (implements it.unive.lisa.symbolic.value.operator.MultiplicationOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitSub (implements it.unive.lisa.symbolic.value.operator.OverflowingOperator, it.unive.lisa.symbolic.value.operator.SubtractionOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitDiv (implements it.unive.lisa.symbolic.value.operator.DivisionOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitMod (implements it.unive.lisa.symbolic.value.operator.ModuleOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitMul (implements it.unive.lisa.symbolic.value.operator.MultiplicationOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
    • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitSub (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator, it.unive.lisa.symbolic.value.operator.SubtractionOperator)
    • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator)
    • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingDiv (implements it.unive.lisa.symbolic.value.operator.DivisionOperator)
    • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingMod (implements it.unive.lisa.symbolic.value.operator.ModuleOperator)
    • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingMul (implements it.unive.lisa.symbolic.value.operator.MultiplicationOperator)
    • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingSub (implements it.unive.lisa.symbolic.value.operator.SubtractionOperator)
  • it.unive.lisa.program.language.parameterassignment.OrderPreservingAssigningStrategy (implements it.unive.lisa.program.language.parameterassignment.ParameterAssigningStrategy)
  • it.unive.lisa.program.cfg.Parameter (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.program.language.parameterassignment.PythonLikeAssigningStrategy (implements it.unive.lisa.program.language.parameterassignment.ParameterAssigningStrategy)
  • it.unive.lisa.program.language.resolution.PythonLikeMatchingStrategy (implements it.unive.lisa.program.language.resolution.ParameterMatchingStrategy)
  • it.unive.lisa.analysis.symbols.QualifiedNameSymbol (implements it.unive.lisa.analysis.symbols.Symbol)
  • it.unive.lisa.analysis.symbols.QualifierSymbol (implements it.unive.lisa.analysis.symbols.Symbol)
  • it.unive.lisa.type.ReferenceType (implements it.unive.lisa.type.PointerType)
  • it.unive.lisa.interprocedural.ReturnTopPolicy (implements it.unive.lisa.interprocedural.OpenCallPolicy)
  • it.unive.lisa.program.cfg.statement.evaluation.RightToLeftEvaluation (implements it.unive.lisa.program.cfg.statement.evaluation.EvaluationOrder)
  • it.unive.lisa.analysis.ScopeToken
  • it.unive.lisa.outputs.serializableGraph.SerializableCFG
  • it.unive.lisa.outputs.serializableGraph.SerializableEdge (implements java.lang.Comparable<T>)
  • it.unive.lisa.outputs.serializableGraph.SerializableGraph
  • it.unive.lisa.outputs.serializableGraph.SerializableNode (implements java.lang.Comparable<T>)
  • it.unive.lisa.outputs.serializableGraph.SerializableNodeDescription (implements java.lang.Comparable<T>)
  • it.unive.lisa.outputs.serializableGraph.SerializableValue (implements java.lang.Comparable<T>)
    • it.unive.lisa.outputs.serializableGraph.SerializableArray
    • it.unive.lisa.outputs.serializableGraph.SerializableObject
    • it.unive.lisa.outputs.serializableGraph.SerializableString
  • it.unive.lisa.program.annotations.values.ShortAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.program.language.hierarchytraversal.SingleInheritanceTraversalStrategy (implements it.unive.lisa.program.language.hierarchytraversal.HierarcyTraversalStrategy)
  • it.unive.lisa.program.SourceCodeLocation (implements it.unive.lisa.program.cfg.CodeLocation)
  • it.unive.lisa.program.cfg.statement.Statement (implements it.unive.lisa.util.datastructures.graph.code.CodeNode<G,N,E>, java.lang.Comparable<T>, it.unive.lisa.program.cfg.ProgramPoint)
    • it.unive.lisa.program.cfg.statement.Expression
      • it.unive.lisa.program.cfg.statement.global.AccessGlobal
      • it.unive.lisa.program.cfg.statement.literal.Literal<E>
        • it.unive.lisa.program.cfg.statement.literal.FalseLiteral
        • it.unive.lisa.program.cfg.statement.literal.Float32Literal
        • it.unive.lisa.program.cfg.statement.literal.Float64Literal
        • it.unive.lisa.program.cfg.statement.literal.Int16Literal
        • it.unive.lisa.program.cfg.statement.literal.Int32Literal
        • it.unive.lisa.program.cfg.statement.literal.Int64Literal
        • it.unive.lisa.program.cfg.statement.literal.Int8Literal
        • it.unive.lisa.program.cfg.statement.literal.NullLiteral
        • it.unive.lisa.program.cfg.statement.literal.StringLiteral
        • it.unive.lisa.program.cfg.statement.literal.TrueLiteral
        • it.unive.lisa.program.cfg.statement.literal.UInt16Literal
        • it.unive.lisa.program.cfg.statement.literal.UInt32Literal
        • it.unive.lisa.program.cfg.statement.literal.UInt64Literal
        • it.unive.lisa.program.cfg.statement.literal.UInt8Literal
      • it.unive.lisa.program.cfg.statement.NaryExpression
        • it.unive.lisa.program.cfg.statement.BinaryExpression
          • it.unive.lisa.program.cfg.statement.numeric.Addition
          • it.unive.lisa.program.cfg.statement.logic.And
          • it.unive.lisa.program.cfg.statement.Assignment
          • it.unive.lisa.program.cfg.statement.string.Concat
          • it.unive.lisa.program.cfg.statement.string.Contains
          • it.unive.lisa.program.cfg.statement.numeric.Division
          • it.unive.lisa.program.cfg.statement.string.EndsWith
          • it.unive.lisa.program.cfg.statement.comparison.Equal
          • it.unive.lisa.program.cfg.statement.string.Equals
          • it.unive.lisa.program.cfg.statement.comparison.GreaterOrEqual
          • it.unive.lisa.program.cfg.statement.comparison.GreaterThan
          • it.unive.lisa.program.cfg.statement.string.IndexOf
          • it.unive.lisa.program.cfg.statement.comparison.LessOrEqual
          • it.unive.lisa.program.cfg.statement.comparison.LessThan
          • it.unive.lisa.program.cfg.statement.numeric.Multiplication
          • it.unive.lisa.program.cfg.statement.comparison.NotEqual
          • it.unive.lisa.program.cfg.statement.logic.Or
          • it.unive.lisa.program.cfg.statement.numeric.Remainder
          • it.unive.lisa.program.cfg.statement.string.StartsWith
          • it.unive.lisa.program.cfg.statement.numeric.Subtraction
        • it.unive.lisa.program.cfg.statement.call.Call
          • it.unive.lisa.program.cfg.statement.call.CallWithResult (implements it.unive.lisa.program.cfg.statement.MetaVariableCreator, it.unive.lisa.program.cfg.statement.call.ResolvedCall)
            • it.unive.lisa.program.cfg.statement.call.CFGCall (implements it.unive.lisa.program.cfg.statement.call.CanRemoveReceiver, it.unive.lisa.program.cfg.statement.MetaVariableCreator)
            • it.unive.lisa.program.cfg.statement.call.OpenCall (implements it.unive.lisa.program.cfg.statement.MetaVariableCreator)
          • it.unive.lisa.program.cfg.statement.call.MultiCall (implements it.unive.lisa.program.cfg.statement.call.ResolvedCall)
          • it.unive.lisa.program.cfg.statement.call.NativeCall (implements it.unive.lisa.program.cfg.statement.call.CanRemoveReceiver, it.unive.lisa.program.cfg.statement.call.ResolvedCall)
          • it.unive.lisa.program.cfg.statement.call.TruncatedParamsCall (implements it.unive.lisa.program.cfg.statement.call.ResolvedCall)
          • it.unive.lisa.program.cfg.statement.call.UnresolvedCall
        • it.unive.lisa.program.cfg.statement.TernaryExpression
          • it.unive.lisa.program.cfg.statement.string.Replace
          • it.unive.lisa.program.cfg.statement.string.Substring
        • it.unive.lisa.program.cfg.statement.UnaryExpression
          • it.unive.lisa.program.cfg.statement.global.AccessInstanceGlobal
          • it.unive.lisa.program.cfg.statement.string.Length
          • it.unive.lisa.program.cfg.statement.call.NamedParameterExpression
          • it.unive.lisa.program.cfg.statement.numeric.Negation
          • it.unive.lisa.program.cfg.statement.logic.Not
      • it.unive.lisa.program.cfg.statement.VariableRef
    • it.unive.lisa.program.cfg.statement.NoOp
    • it.unive.lisa.program.cfg.statement.Ret
    • it.unive.lisa.program.cfg.statement.UnaryStatement
      • it.unive.lisa.program.cfg.statement.Return (implements it.unive.lisa.program.cfg.statement.MetaVariableCreator)
      • it.unive.lisa.program.cfg.statement.Throw
  • it.unive.lisa.program.annotations.values.StringAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.symbolic.value.operator.unary.StringLength (implements it.unive.lisa.symbolic.value.operator.StringOperator, it.unive.lisa.symbolic.value.operator.unary.UnaryOperator)
  • it.unive.lisa.symbolic.value.operator.binary.StringOperation (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
    • it.unive.lisa.symbolic.value.operator.binary.StringConcat
    • it.unive.lisa.symbolic.value.operator.binary.StringContains
    • it.unive.lisa.symbolic.value.operator.binary.StringEndsWith
    • it.unive.lisa.symbolic.value.operator.binary.StringEquals
    • it.unive.lisa.symbolic.value.operator.binary.StringIndexOf
    • it.unive.lisa.symbolic.value.operator.binary.StringStartsWith
  • it.unive.lisa.symbolic.value.operator.ternary.StringReplace (implements it.unive.lisa.symbolic.value.operator.StringOperator, it.unive.lisa.symbolic.value.operator.ternary.TernaryOperator)
  • it.unive.lisa.symbolic.value.operator.ternary.StringSubstring (implements it.unive.lisa.symbolic.value.operator.StringOperator, it.unive.lisa.symbolic.value.operator.ternary.TernaryOperator)
  • it.unive.lisa.type.common.StringType (implements it.unive.lisa.type.StringType)
  • it.unive.lisa.symbolic.SymbolicExpression
    • it.unive.lisa.symbolic.heap.HeapExpression
      • it.unive.lisa.symbolic.heap.AccessChild
      • it.unive.lisa.symbolic.heap.HeapAllocation
      • it.unive.lisa.symbolic.heap.HeapDereference
      • it.unive.lisa.symbolic.heap.HeapReference
    • it.unive.lisa.symbolic.value.ValueExpression
      • it.unive.lisa.symbolic.value.BinaryExpression
      • it.unive.lisa.symbolic.value.Constant
        • it.unive.lisa.symbolic.value.NullConstant
      • it.unive.lisa.symbolic.value.Identifier
        • it.unive.lisa.symbolic.value.HeapLocation
        • it.unive.lisa.symbolic.value.MemoryPointer
        • it.unive.lisa.symbolic.value.OutOfScopeIdentifier
        • it.unive.lisa.symbolic.value.Variable
      • it.unive.lisa.symbolic.value.PushAny
      • it.unive.lisa.symbolic.value.Skip
      • it.unive.lisa.symbolic.value.TernaryExpression
      • it.unive.lisa.symbolic.value.UnaryExpression
  • it.unive.lisa.program.SyntheticLocation (implements it.unive.lisa.program.cfg.CodeLocation)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • it.unive.lisa.AnalysisException
        • it.unive.lisa.AnalysisSetupException
      • it.unive.lisa.interprocedural.callgraph.CallGraphConstructionException
      • it.unive.lisa.interprocedural.callgraph.CallResolutionException
      • it.unive.lisa.util.datastructures.graph.algorithms.FixpointException
        • it.unive.lisa.interprocedural.NoEntryPointException
      • it.unive.lisa.interprocedural.InterproceduralAnalysisException
      • it.unive.lisa.program.ProgramValidationException
      • java.lang.RuntimeException
        • it.unive.lisa.AnalysisExecutionException
        • it.unive.lisa.outputs.OutputDumpingException
        • it.unive.lisa.analysis.SemanticExceptionWrapper
      • it.unive.lisa.analysis.SemanticException
  • it.unive.lisa.logging.TimerLogger
  • it.unive.lisa.symbolic.value.operator.binary.TypeCast (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.TypeOperator)
  • it.unive.lisa.symbolic.value.operator.binary.TypeCheck (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.TypeOperator)
  • it.unive.lisa.symbolic.value.operator.binary.TypeConv (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.TypeOperator)
  • it.unive.lisa.symbolic.value.operator.unary.TypeOf (implements it.unive.lisa.symbolic.value.operator.TypeOperator, it.unive.lisa.symbolic.value.operator.unary.UnaryOperator)
  • it.unive.lisa.type.TypeSystem
  • it.unive.lisa.type.TypeTokenType (implements it.unive.lisa.type.Type)
  • it.unive.lisa.type.common.UInt16Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.UInt32Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.UInt64Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.UInt8Type (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.program.Unit
    • it.unive.lisa.program.Program
    • it.unive.lisa.program.ProgramUnit (implements it.unive.lisa.program.CodeElement)
      • it.unive.lisa.program.CodeUnit
      • it.unive.lisa.program.CompilationUnit
        • it.unive.lisa.program.ClassUnit
          • it.unive.lisa.program.AbstractClassUnit
        • it.unive.lisa.program.InterfaceUnit
  • it.unive.lisa.util.collections.externalSet.UniversalExternalSet<T> (implements it.unive.lisa.util.collections.externalSet.ExternalSet<T>)
  • it.unive.lisa.type.Untyped (implements it.unive.lisa.type.Type)
  • it.unive.lisa.program.cfg.VariableTableEntry (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.util.collections.workset.VisitOnceWorkingSet<E> (implements it.unive.lisa.util.collections.workset.WorkingSet<E>)
  • it.unive.lisa.type.VoidType (implements it.unive.lisa.type.Type)
  • it.unive.lisa.checks.warnings.Warning (implements java.lang.Comparable<T>)
    • it.unive.lisa.checks.warnings.WarningWithLocation
      • it.unive.lisa.checks.warnings.CFGDescriptorWarning
      • it.unive.lisa.checks.warnings.CFGWarning
      • it.unive.lisa.checks.warnings.GlobalWarning
      • it.unive.lisa.checks.warnings.StatementWarning
        • it.unive.lisa.checks.warnings.ExpressionWarning
      • it.unive.lisa.checks.warnings.UnitWarning
  • it.unive.lisa.interprocedural.WorstCasePolicy (implements it.unive.lisa.interprocedural.OpenCallPolicy)

Interface Hierarchy

• it.unive.lisa.program.annotations.matcher.AnnotationMatcher
• it.unive.lisa.program.annotations.values.AnnotationValue
  • it.unive.lisa.program.annotations.values.BasicAnnotationValue
• it.unive.lisa.interprocedural.callgraph.CallGraph
• it.unive.lisa.program.cfg.statement.call.CanRemoveReceiver
• it.unive.lisa.program.CodeElement
  • it.unive.lisa.program.cfg.ProgramPoint
• it.unive.lisa.program.cfg.CodeMember
• java.lang.Comparable<T>
  • it.unive.lisa.util.datastructures.graph.code.CodeEdge<G,N,E> (also extends it.unive.lisa.util.datastructures.graph.Edge<G,N,E>)
  • it.unive.lisa.program.cfg.CodeLocation
  • it.unive.lisa.util.datastructures.graph.code.CodeNode<G,N,E> (also extends it.unive.lisa.util.datastructures.graph.Node<G,N,E>)
• it.unive.lisa.util.datastructures.graph.Edge<G,N,E>
  • it.unive.lisa.util.datastructures.graph.code.CodeEdge<G,N,E> (also extends java.lang.Comparable<T>)
• it.unive.lisa.program.cfg.statement.evaluation.EvaluationOrder
• it.unive.lisa.symbolic.ExpressionVisitor<T>
• it.unive.lisa.util.file.FileManager.WriteAction
• it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint.FixpointImplementation<N,E,T>
• it.unive.lisa.analysis.lattices.FunctionalLattice.FunctionalLift<V>
• it.unive.lisa.analysis.lattices.FunctionalLattice.KeyFunctionalLift<K>
• it.unive.lisa.util.datastructures.graph.Graph<G,N,E>
• it.unive.lisa.util.datastructures.graph.GraphVisitor<G,N,E,V>
  • it.unive.lisa.checks.Check<T>
    • it.unive.lisa.checks.semantic.SemanticCheck<A,H,V,T>
    • it.unive.lisa.checks.syntactic.SyntacticCheck
• it.unive.lisa.analysis.heap.HeapSemanticOperation
  • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
  • it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T> (also extends it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>)
• it.unive.lisa.program.language.hierarchytraversal.HierarcyTraversalStrategy
• it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>
• java.lang.Iterable<T>
  • java.util.Collection<E>
    • java.util.Set<E>
      • it.unive.lisa.util.collections.externalSet.ExternalSet<T>
• it.unive.lisa.outputs.compare.JsonReportComparer.DiffReporter
• it.unive.lisa.analysis.Lattice<L>
  • it.unive.lisa.analysis.AbstractState<A,H,V,T> (also extends it.unive.lisa.analysis.SemanticDomain<D,E,I>)
  • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
  • it.unive.lisa.analysis.nonrelational.NonRelationalElement<T,E,F> (also extends it.unive.lisa.analysis.SemanticEvaluator)
    • it.unive.lisa.analysis.nonrelational.inference.InferredValue<T>
    • it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>
      • it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation)
      • it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>
      • it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>
  • it.unive.lisa.analysis.value.ValueDomain<D> (also extends it.unive.lisa.analysis.SemanticDomain<D,E,I>)
    • it.unive.lisa.analysis.value.TypeDomain<T>
• it.unive.lisa.program.cfg.statement.MetaVariableCreator
• it.unive.lisa.util.datastructures.graph.Node<G,N,E>
  • it.unive.lisa.util.datastructures.graph.code.CodeNode<G,N,E> (also extends java.lang.Comparable<T>)
• it.unive.lisa.interprocedural.OpenCallPolicy
• it.unive.lisa.symbolic.value.Operator
  • it.unive.lisa.symbolic.value.operator.ArithmeticOperator
    • it.unive.lisa.symbolic.value.operator.AdditionOperator
    • it.unive.lisa.symbolic.value.operator.DivisionOperator
    • it.unive.lisa.symbolic.value.operator.ModuleOperator
    • it.unive.lisa.symbolic.value.operator.MultiplicationOperator
    • it.unive.lisa.symbolic.value.operator.OverflowingOperator
    • it.unive.lisa.symbolic.value.operator.SubtractionOperator
  • it.unive.lisa.symbolic.value.operator.binary.BinaryOperator
  • it.unive.lisa.symbolic.value.operator.BitwiseOperator
  • it.unive.lisa.symbolic.value.operator.NegatableOperator
    • it.unive.lisa.symbolic.value.operator.ComparisonOperator
    • it.unive.lisa.symbolic.value.operator.LogicalOperator
  • it.unive.lisa.symbolic.value.operator.StringOperator
  • it.unive.lisa.symbolic.value.operator.ternary.TernaryOperator
  • it.unive.lisa.symbolic.value.operator.TypeOperator
  • it.unive.lisa.symbolic.value.operator.unary.UnaryOperator
• it.unive.lisa.program.language.parameterassignment.ParameterAssigningStrategy
• it.unive.lisa.program.language.resolution.ParameterMatchingStrategy
• it.unive.lisa.program.cfg.statement.PluggableStatement
• it.unive.lisa.program.language.validation.ProgramValidationLogic
• it.unive.lisa.program.cfg.statement.call.ResolvedCall
• it.unive.lisa.analysis.SemanticDomain<D,E,I>
  • it.unive.lisa.analysis.AbstractState<A,H,V,T> (also extends it.unive.lisa.analysis.Lattice<L>)
  • it.unive.lisa.analysis.heap.HeapDomain<D> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation, it.unive.lisa.analysis.Lattice<L>)
  • it.unive.lisa.analysis.value.ValueDomain<D> (also extends it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.value.TypeDomain<T>
• it.unive.lisa.analysis.SemanticEvaluator
  • it.unive.lisa.analysis.dataflow.DataflowElement<D,E>
  • it.unive.lisa.analysis.nonrelational.NonRelationalElement<T,E,F> (also extends it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.nonrelational.inference.InferredValue<T>
    • it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>
      • it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T> (also extends it.unive.lisa.analysis.heap.HeapSemanticOperation)
      • it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>
      • it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>
• it.unive.lisa.analysis.symbols.Symbol
• it.unive.lisa.logging.TimerLogger.LoggableAction
• it.unive.lisa.logging.TimerLogger.LoggableSupplier<R>
• it.unive.lisa.type.Type
  • it.unive.lisa.type.BooleanType
  • it.unive.lisa.type.InMemoryType
    • it.unive.lisa.type.ArrayType
    • it.unive.lisa.type.UnitType
  • it.unive.lisa.type.NumericType
  • it.unive.lisa.type.PointerType
  • it.unive.lisa.type.StringType
• it.unive.lisa.util.collections.workset.WorkingSet<E>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • it.unive.lisa.program.cfg.statement.call.Call.CallType
    • it.unive.lisa.outputs.compare.JsonReportComparer.REPORT_TYPE
    • it.unive.lisa.outputs.compare.JsonReportComparer.REPORTED_COMPONENT
    • it.unive.lisa.analysis.SemanticDomain.Satisfiability (implements it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.logging.TimeFormat