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.heap,
• it.unive.lisa.analysis.impl.dataflow,
• it.unive.lisa.analysis.impl.heap,
• it.unive.lisa.analysis.impl.heap.pointbased,
• it.unive.lisa.analysis.impl.nonInterference,
• it.unive.lisa.analysis.impl.numeric,
• 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.types,
• 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.interprocedural.callgraph.impl,
• it.unive.lisa.interprocedural.impl,
• 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.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.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.impl.dataflow.AvailableExpressions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
    • it.unive.lisa.analysis.impl.heap.pointbased.PointBasedHeap.Rewriter
  • 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.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.nonrelational.inference.BaseInferredValue<T> (implements it.unive.lisa.analysis.nonrelational.inference.InferredValue<T>)
      • it.unive.lisa.analysis.types.InferredTypes
      • it.unive.lisa.analysis.impl.nonInterference.NonInterference
    • 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.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.interprocedural.impl.CFGResults<A,H,V>
      • 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.interprocedural.impl.FixpointResults<A,H,V>
      • 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.impl.heap.pointbased.AllocationSites (implements it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<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.program.annotations.values.BoolAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.symbolic.types.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.impl.CallGraphBasedAnalysis<A,H,V> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V>)
    • it.unive.lisa.interprocedural.impl.ContextBasedAnalysis<A,H,V>
  • 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.analysis.combination.CartesianProduct<C,T1,T2,E,I> (implements it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,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.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.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.analysis.impl.dataflow.ConstantPropagation (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.interprocedural.impl.ContextInsensitiveToken (implements it.unive.lisa.interprocedural.impl.ContextSensitivityToken)
  • 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.util.datastructures.graph.algorithms.Fixpoint<G,N,E,T>
  • 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.interprocedural.callgraph.impl.CHACallGraph
      • it.unive.lisa.interprocedural.callgraph.impl.RTACallGraph
    • 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.program.annotations.values.IntAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.util.numeric.IntInterval
  • it.unive.lisa.symbolic.types.IntType (implements it.unive.lisa.type.NumericType)
  • 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.util.collections.workset.LIFOWorkingSet<E> (implements it.unive.lisa.util.collections.workset.WorkingSet<E>)
  • it.unive.lisa.LiSA
  • it.unive.lisa.LiSAConfiguration
  • it.unive.lisa.LiSAFactory
  • it.unive.lisa.LiSAFactory.ConfigurableComponent<T>
  • it.unive.lisa.LiSARunner<A,H,V>
  • 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.interprocedural.impl.ModularWorstCaseAnalysis<A,H,V> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V>)
  • 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.impl.dataflow.ReachingDefinitions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.interprocedural.impl.RecursionFreeToken (implements it.unive.lisa.interprocedural.impl.ContextSensitivityToken)
  • it.unive.lisa.analysis.ScopeToken
  • it.unive.lisa.program.annotations.values.ShortAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • it.unive.lisa.interprocedural.impl.SingleScopeToken (implements it.unive.lisa.interprocedural.impl.ContextSensitivityToken)
  • 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.AccessInstanceGlobal
      • 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.HybridCall
        • 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.program.annotations.values.StringAnnotationValue (implements it.unive.lisa.program.annotations.values.BasicAnnotationValue)
  • 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.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.analysis.impl.heap.pointbased.AllocationSite
        • 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.type.TypeTokenType (implements it.unive.lisa.type.Type)
  • 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

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.interprocedural.impl.ContextSensitivityToken
• it.unive.lisa.util.datastructures.graph.Edge<N,E,G>
• 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
    • 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.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.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>

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