Hierarchy For All Packages

Package Hierarchies:

• it.unive.lisa,
• it.unive.lisa.analysis,
• it.unive.lisa.analysis.combination,
• it.unive.lisa.analysis.dataflow,
• it.unive.lisa.analysis.dataflow.impl,
• it.unive.lisa.analysis.heap,
• it.unive.lisa.analysis.impl.heap,
• it.unive.lisa.analysis.impl.heap.pointbased,
• it.unive.lisa.analysis.impl.numeric,
• it.unive.lisa.analysis.impl.types,
• it.unive.lisa.analysis.inference,
• it.unive.lisa.analysis.lattices,
• it.unive.lisa.analysis.nonrelational,
• it.unive.lisa.analysis.nonrelational.heap,
• it.unive.lisa.analysis.nonrelational.value,
• it.unive.lisa.analysis.value,
• it.unive.lisa.caches,
• it.unive.lisa.callgraph,
• it.unive.lisa.callgraph.impl.intraproc,
• it.unive.lisa.checks,
• it.unive.lisa.checks.syntactic,
• it.unive.lisa.checks.warnings,
• it.unive.lisa.logging,
• it.unive.lisa.outputs,
• it.unive.lisa.outputs.compare,
• it.unive.lisa.program,
• it.unive.lisa.program.cfg,
• it.unive.lisa.program.cfg.edge,
• it.unive.lisa.program.cfg.statement,
• it.unive.lisa.symbolic,
• it.unive.lisa.symbolic.heap,
• it.unive.lisa.symbolic.types,
• it.unive.lisa.symbolic.value,
• it.unive.lisa.type,
• it.unive.lisa.util.collections,
• it.unive.lisa.util.collections.externalSet,
• it.unive.lisa.util.datastructures.graph,
• it.unive.lisa.util.file,
• it.unive.lisa.util.workset

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.util.datastructures.graph.AdjacencyMatrix<N,E,G> (implements java.lang.Iterable<T>)
  • it.unive.lisa.analysis.AnalysisState<A,H,V> (implements it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
  • it.unive.lisa.analysis.dataflow.impl.AvailableExpressions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.heap.BaseHeapDomain<H> (implements it.unive.lisa.analysis.heap.HeapDomain<D>)
      • it.unive.lisa.analysis.impl.heap.MonolithicHeap
      • it.unive.lisa.analysis.impl.heap.pointbased.PointBasedHeap
        • it.unive.lisa.analysis.impl.heap.pointbased.FieldSensitivePointBasedHeap
      • it.unive.lisa.analysis.impl.heap.TypeBasedHeap
    • it.unive.lisa.analysis.inference.BaseInferredValue<T> (implements it.unive.lisa.analysis.inference.InferredValue<T>)
      • it.unive.lisa.analysis.impl.types.InferredTypes
    • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T> (implements it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>)
      • it.unive.lisa.analysis.impl.numeric.IntegerConstantPropagation
      • it.unive.lisa.analysis.impl.numeric.Interval
      • it.unive.lisa.analysis.impl.numeric.Parity
      • it.unive.lisa.analysis.impl.numeric.Sign
    • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.nonrelational.Environment<M,E,T> (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.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.lattices.InverseSetLattice<S,E> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<E> (implements it.unive.lisa.analysis.dataflow.DataflowDomain<D,E>)
    • it.unive.lisa.analysis.lattices.SetLattice<S,E> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.impl.heap.pointbased.AllocationSites (implements it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T>)
      • it.unive.lisa.analysis.dataflow.PossibleForwardDataflowDomain<E> (implements it.unive.lisa.analysis.dataflow.DataflowDomain<D,E>)
  • it.unive.lisa.util.collections.externalSet.BitExternalSet<T> (implements it.unive.lisa.util.collections.externalSet.ExternalSet<T>)
  • it.unive.lisa.symbolic.types.BoolType (implements it.unive.lisa.type.BooleanType)
  • it.unive.lisa.caches.Caches
  • it.unive.lisa.analysis.combination.CartesianProduct<T1,T2,E,I>
    • it.unive.lisa.analysis.combination.ValueCartesianProduct<T1,T2> (implements it.unive.lisa.analysis.value.ValueDomain<D>)
  • it.unive.lisa.program.cfg.CFGDescriptor (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.checks.CheckTool
  • it.unive.lisa.util.collections.CollectionsDiffBuilder<T>
  • it.unive.lisa.util.workset.ConcurrentFIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
  • it.unive.lisa.util.workset.ConcurrentLIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
  • it.unive.lisa.analysis.dataflow.impl.ConstantPropagation (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.logging.Counter
  • it.unive.lisa.outputs.DotGraph<N,E,G>
    • it.unive.lisa.outputs.DotCFG
  • it.unive.lisa.program.cfg.edge.Edge (implements it.unive.lisa.util.datastructures.graph.SemanticEdge<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.util.collections.externalSet.ExternalSetCache<T>
  • it.unive.lisa.util.workset.FIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
  • it.unive.lisa.util.file.FileManager
  • it.unive.lisa.program.Global (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.util.datastructures.graph.Graph<G,N,E>
    • it.unive.lisa.util.datastructures.graph.FixpointGraph<G,N,E>
      • it.unive.lisa.program.cfg.CFG (implements it.unive.lisa.program.cfg.CodeMember)
        • it.unive.lisa.analysis.CFGWithAnalysisResults<A,H,V>
  • it.unive.lisa.analysis.heap.HeapSemanticOperation.HeapReplacement
  • it.unive.lisa.callgraph.impl.intraproc.IntraproceduralCallGraph (implements it.unive.lisa.callgraph.CallGraph)
  • it.unive.lisa.symbolic.types.IntType (implements it.unive.lisa.type.NumericType)
  • 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.util.workset.LIFOWorkingSet<E> (implements it.unive.lisa.util.workset.WorkingSet<E>)
  • it.unive.lisa.LiSA
  • it.unive.lisa.LiSAConfiguration
  • it.unive.lisa.LiSAFactory
  • it.unive.lisa.LiSAFactory.ConfigurableComponent<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.program.cfg.Parameter (implements it.unive.lisa.program.CodeElement)
  • it.unive.lisa.analysis.dataflow.impl.ReachingDefinitions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.analysis.SimpleAbstractState<H,V> (implements it.unive.lisa.analysis.AbstractState<A,H,V>)
  • 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.AccessGlobal
      • it.unive.lisa.program.cfg.statement.AccessUnitGlobal
      • it.unive.lisa.program.cfg.statement.BinaryExpression
        • it.unive.lisa.program.cfg.statement.Assignment
      • it.unive.lisa.program.cfg.statement.Call
        • it.unive.lisa.program.cfg.statement.CFGCall (implements it.unive.lisa.program.cfg.statement.MetaVariableCreator)
        • it.unive.lisa.program.cfg.statement.NativeCall
          • it.unive.lisa.program.cfg.statement.BinaryNativeCall
          • it.unive.lisa.program.cfg.statement.TernaryNativeCall
          • it.unive.lisa.program.cfg.statement.UnaryNativeCall
        • it.unive.lisa.program.cfg.statement.OpenCall (implements it.unive.lisa.program.cfg.statement.MetaVariableCreator)
        • it.unive.lisa.program.cfg.statement.UnresolvedCall
      • it.unive.lisa.program.cfg.statement.Literal
        • it.unive.lisa.program.cfg.statement.NullLiteral
      • 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.symbolic.types.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.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.analysis.impl.heap.pointbased.AllocationSite
        • 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.checks.syntactic.SyntacticChecksExecutor
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • it.unive.lisa.AnalysisException
        • it.unive.lisa.AnalysisSetupException
      • it.unive.lisa.callgraph.CallGraphConstructionException
      • it.unive.lisa.callgraph.CallResolutionException
      • it.unive.lisa.util.datastructures.graph.FixpointException
      • it.unive.lisa.program.ProgramValidationException
      • java.lang.RuntimeException
        • it.unive.lisa.AnalysisExecutionException
      • it.unive.lisa.analysis.SemanticException
  • it.unive.lisa.logging.TimerLogger
  • it.unive.lisa.type.TypeTokenType (implements it.unive.lisa.type.Type)
  • it.unive.lisa.program.Unit (implements it.unive.lisa.program.CodeElement)
    • it.unive.lisa.program.CompilationUnit
    • 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.util.collections.Utils
  • it.unive.lisa.program.cfg.VariableTableEntry (implements it.unive.lisa.program.CodeElement)
  • 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.StatementWarning
        • it.unive.lisa.checks.warnings.ExpressionWarning

Interface Hierarchy

• it.unive.lisa.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.util.datastructures.graph.SemanticEdge<N,E,G>
• it.unive.lisa.util.datastructures.graph.FixpointGraph.SemanticFunction<N,E,G,A,H,V,F>
• it.unive.lisa.util.datastructures.graph.GraphVisitor<G,N,E,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>)
• 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.NonRelationalDomain<T,E,F> (also extends it.unive.lisa.analysis.SemanticEvaluator)
    • it.unive.lisa.analysis.inference.InferredValue<T>
    • 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.analysis.dataflow.DataflowDomain<D,E>
• it.unive.lisa.program.cfg.statement.MetaVariableCreator
• it.unive.lisa.util.datastructures.graph.Node<N,E,G>
• it.unive.lisa.symbolic.value.Operator
• it.unive.lisa.program.cfg.statement.PluggableStatement
• 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.dataflow.DataflowDomain<D,E>
• it.unive.lisa.analysis.SemanticEvaluator
  • it.unive.lisa.analysis.dataflow.DataflowElement<D,E>
  • it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F> (also extends it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.inference.InferredValue<T>
    • 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.LoggableBiConsumer<T0,T1>
• it.unive.lisa.logging.TimerLogger.LoggableBiFunction<R,T0,T1>
• it.unive.lisa.logging.TimerLogger.LoggableConsumer<T0>
• it.unive.lisa.logging.TimerLogger.LoggableFunction<R,T0>
• it.unive.lisa.logging.TimerLogger.LoggableMultiConsumer
• it.unive.lisa.logging.TimerLogger.LoggableMultiFunction<R>
• it.unive.lisa.logging.TimerLogger.LoggablePentaConsumer<T0,T1,T2,T3,T4>
• it.unive.lisa.logging.TimerLogger.LoggablePentaFunction<R,T0,T1,T2,T3,T4>
• it.unive.lisa.logging.TimerLogger.LoggableQuadConsumer<T0,T1,T2,T3>
• it.unive.lisa.logging.TimerLogger.LoggableQuadFunction<R,T0,T1,T2,T3>
• it.unive.lisa.logging.TimerLogger.LoggableSupplier<R>
• it.unive.lisa.logging.TimerLogger.LoggableTriConsumer<T0,T1,T2>
• it.unive.lisa.logging.TimerLogger.LoggableTriFunction<R,T0,T1,T2>
• 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.workset.WorkingSet<E>

Annotation Type Hierarchy

• it.unive.lisa.DefaultImplementation (implements java.lang.annotation.Annotation)
• it.unive.lisa.DefaultParameters (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • it.unive.lisa.symbolic.value.BinaryOperator (implements it.unive.lisa.symbolic.value.Operator)
    • 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.symbolic.value.TernaryOperator (implements it.unive.lisa.symbolic.value.Operator)
    • it.unive.lisa.logging.TimeFormat
    • it.unive.lisa.symbolic.value.UnaryOperator (implements it.unive.lisa.symbolic.value.Operator)
    • it.unive.lisa.program.cfg.statement.UnresolvedCall.ResolutionStrategy