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.value,
• it.unive.lisa.caches,
• 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.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.call.resolution,
• 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.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.file,
• it.unive.lisa.util.numeric

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.util.datastructures.graph.AdjacencyMatrix<N,E,G> (implements java.lang.Iterable<T>)
  • it.unive.lisa.util.datastructures.graph.AdjacencyMatrix.NodeEdges<N,E,G>
  • 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.annotations.values.ArrayAnnotationValue (implements it.unive.lisa.program.annotations.values.AnnotationValue)
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (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> (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.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.ValueEnvironment<T> (implements it.unive.lisa.analysis.value.ValueDomain<D>)
      • it.unive.lisa.analysis.StatementStore<A,H,V>
    • 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.lattices.ExpressionSet<T>
    • it.unive.lisa.analysis.SimpleAbstractState<H,V> (implements it.unive.lisa.analysis.AbstractState<A,H,V>)
  • 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.binary.BitwiseAnd (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.BitwiseOperator)
  • 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.symbolic.value.operator.binary.BitwiseOr (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.BitwiseOperator)
  • it.unive.lisa.symbolic.value.operator.binary.BitwiseShiftLeft (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.BitwiseOperator)
  • it.unive.lisa.symbolic.value.operator.binary.BitwiseShiftRight (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.BitwiseOperator)
  • it.unive.lisa.symbolic.value.operator.binary.BitwiseUnsignedShiftRight (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.BitwiseOperator)
  • it.unive.lisa.symbolic.value.operator.binary.BitwiseXor (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.BitwiseOperator)
  • 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.caches.Caches
  • it.unive.lisa.interprocedural.callgraph.CallGraphEdge (implements it.unive.lisa.util.datastructures.graph.Edge<N,E,G>)
  • it.unive.lisa.interprocedural.callgraph.CallGraphNode (implements it.unive.lisa.util.datastructures.graph.Node<N,E,G>)
  • it.unive.lisa.program.cfg.CFGDescriptor (implements it.unive.lisa.program.CodeElement)
  • 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>
  • 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.ComparisonGe (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.ComparisonOperator)
  • it.unive.lisa.symbolic.value.operator.binary.ComparisonGt (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.ComparisonOperator)
  • it.unive.lisa.symbolic.value.operator.binary.ComparisonLe (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.ComparisonOperator)
  • it.unive.lisa.symbolic.value.operator.binary.ComparisonLt (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.MapRepresentation
    • it.unive.lisa.analysis.representation.PairRepresentation
      • it.unive.lisa.analysis.nonrelational.inference.InferredValue.InferredPairRepresentation
    • 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.outputs.DotGraph<N,E,G>
    • it.unive.lisa.outputs.DotCFG
  • 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.Edge<N,E,G>)
    • 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.cfg.statement.call.resolution.FixedOrderResolution (implements it.unive.lisa.program.cfg.statement.call.resolution.ResolutionStrategy)
    • it.unive.lisa.program.cfg.statement.call.resolution.FirstRuntimeThenStaticStaticResolution
    • it.unive.lisa.program.cfg.statement.call.resolution.RuntimeTypesResolution
    • it.unive.lisa.program.cfg.statement.call.resolution.StaticTypesResolution
  • it.unive.lisa.util.datastructures.graph.algorithms.Fixpoint<G,N,E,T>
  • it.unive.lisa.type.common.Float32 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Float64 (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.util.datastructures.graph.Graph<G,N,E>
    • it.unive.lisa.interprocedural.callgraph.BaseCallGraph (implements it.unive.lisa.interprocedural.callgraph.CallGraph)
    • it.unive.lisa.program.cfg.CFG (implements it.unive.lisa.program.cfg.CodeMember)
      • it.unive.lisa.analysis.CFGWithAnalysisResults<A,H,V> (implements it.unive.lisa.analysis.Lattice<L>)
  • it.unive.lisa.analysis.heap.HeapSemanticOperation.HeapReplacement
  • it.unive.lisa.type.common.Int16 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Int32 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Int64 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.Int8 (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
  • it.unive.lisa.outputs.JsonReport
  • it.unive.lisa.outputs.JsonReport.JsonWarning (implements java.lang.Comparable<T>)
  • it.unive.lisa.outputs.compare.JsonReportComparer
  • 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.binary.LogicalAnd (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.LogicalOperator)
  • 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.LogicalOr (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.LogicalOperator)
  • 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.program.cfg.NativeCFG (implements it.unive.lisa.program.cfg.CodeMember)
  • it.unive.lisa.type.NullType (implements it.unive.lisa.type.PointerType)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitDiv (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, 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.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Module, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitMul (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Multiplication, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric16BitSub (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.Numeric32BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitDiv (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, 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.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Module, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitMul (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Multiplication, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric32BitSub (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.Numeric64BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitDiv (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, 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.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Module, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitMul (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Multiplication, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric64BitSub (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.Numeric8BitAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitDiv (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, 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.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Module, it.unive.lisa.symbolic.value.operator.OverflowingOperator)
  • it.unive.lisa.symbolic.value.operator.binary.Numeric8BitMul (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Multiplication, 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.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.NumericNonOverflowingAdd (implements it.unive.lisa.symbolic.value.operator.AdditionOperator, it.unive.lisa.symbolic.value.operator.binary.BinaryOperator)
  • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingDiv (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.DivisionOperator)
  • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingMod (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Module)
  • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingMul (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.Multiplication)
  • it.unive.lisa.symbolic.value.operator.binary.NumericNonOverflowingSub (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.SubtractionOperator)
  • it.unive.lisa.program.cfg.Parameter (implements it.unive.lisa.program.CodeElement)
  • 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.program.annotations.values.ShortAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.program.SourceCodeLocation (implements it.unive.lisa.program.cfg.CodeLocation)
  • it.unive.lisa.program.cfg.statement.Statement (implements java.lang.Comparable<T>, it.unive.lisa.util.datastructures.graph.Node<N,E,G>, 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.global.AccessInstanceGlobal
      • it.unive.lisa.program.cfg.statement.literal.Literal<T>
        • 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.CFGCall (implements 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.HybridCall
          • 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.string.Length
          • 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.binary.StringConcat (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
  • it.unive.lisa.symbolic.value.operator.binary.StringContains (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
  • it.unive.lisa.symbolic.value.operator.binary.StringEndsWith (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
  • it.unive.lisa.symbolic.value.operator.binary.StringEquals (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
  • it.unive.lisa.symbolic.value.operator.binary.StringIndexOf (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
  • 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.ternary.StringReplace (implements it.unive.lisa.symbolic.value.operator.StringOperator, it.unive.lisa.symbolic.value.operator.ternary.TernaryOperator)
  • it.unive.lisa.symbolic.value.operator.binary.StringStartsWith (implements it.unive.lisa.symbolic.value.operator.binary.BinaryOperator, it.unive.lisa.symbolic.value.operator.StringOperator)
  • 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.InterproceduralAnalysisException
      • it.unive.lisa.program.ProgramValidationException
      • java.lang.RuntimeException
        • it.unive.lisa.AnalysisExecutionException
        • 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.TypeTokenType (implements it.unive.lisa.type.Type)
  • it.unive.lisa.type.common.UInt16 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.UInt32 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.UInt64 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.type.common.UInt8 (implements it.unive.lisa.type.NumericType)
  • it.unive.lisa.program.Unit
    • it.unive.lisa.program.CompilationUnit (implements it.unive.lisa.program.CodeElement)
    • it.unive.lisa.program.Program
  • 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.CodeElement
  • it.unive.lisa.program.cfg.ProgramPoint
• it.unive.lisa.program.cfg.CodeMember
• java.lang.Comparable<T>
  • it.unive.lisa.program.cfg.CodeLocation
• it.unive.lisa.util.datastructures.graph.Edge<N,E,G>
• 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.GraphVisitor<G,N,E,V>
  • it.unive.lisa.checks.Check<T>
    • it.unive.lisa.checks.semantic.SemanticCheck<A,H,V>
    • 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.interprocedural.InterproceduralAnalysis<A,H,V>
• 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> (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.NonRelationalValueDomain<T>
  • it.unive.lisa.analysis.value.ValueDomain<D> (also extends it.unive.lisa.analysis.SemanticDomain<D,E,I>)
• it.unive.lisa.program.cfg.statement.MetaVariableCreator
• it.unive.lisa.util.datastructures.graph.Node<N,E,G>
• 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.Module
    • it.unive.lisa.symbolic.value.operator.Multiplication
    • 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.cfg.statement.PluggableStatement
• it.unive.lisa.program.cfg.statement.call.resolution.ResolutionStrategy
• it.unive.lisa.analysis.SemanticDomain<D,E,I>
  • it.unive.lisa.analysis.AbstractState<A,H,V> (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.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.NonRelationalValueDomain<T>
• 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.NumericType
  • it.unive.lisa.type.PointerType
    • it.unive.lisa.type.ArrayType
  • it.unive.lisa.type.StringType
  • it.unive.lisa.type.UnitType
• 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.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