Hierarchy For All Packages

Package Hierarchies:

• it.unive.lisa,
• it.unive.lisa.analysis.combination,
• it.unive.lisa.analysis.dataflow,
• it.unive.lisa.analysis.heap,
• it.unive.lisa.analysis.heap.pointbased,
• it.unive.lisa.analysis.nonInterference,
• it.unive.lisa.analysis.numeric,
• it.unive.lisa.analysis.types,
• it.unive.lisa.interprocedural,
• it.unive.lisa.interprocedural.callgraph

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.dataflow.AvailableExpressions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • 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.interprocedural.callgraph.CHACallGraph
      • it.unive.lisa.interprocedural.callgraph.RTACallGraph
  • it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
    • it.unive.lisa.analysis.heap.MonolithicHeap.Rewriter
    • it.unive.lisa.analysis.heap.pointbased.PointBasedHeap.Rewriter
      • it.unive.lisa.analysis.heap.pointbased.FieldSensitivePointBasedHeap.Rewriter
    • it.unive.lisa.analysis.heap.TypeBasedHeap.Rewriter
  • 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.heap.MonolithicHeap
      • it.unive.lisa.analysis.heap.pointbased.PointBasedHeap
        • it.unive.lisa.analysis.heap.pointbased.FieldSensitivePointBasedHeap
      • it.unive.lisa.analysis.heap.TypeBasedHeap
    • it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue<T> (implements it.unive.lisa.analysis.nonrelational.inference.InferredValue<T>)
      • it.unive.lisa.analysis.nonInterference.NonInterference
    • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T> (implements it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>)
      • it.unive.lisa.analysis.types.InferredTypes
      • it.unive.lisa.analysis.types.StaticTypes
    • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T> (implements it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>)
      • it.unive.lisa.analysis.numeric.IntegerConstantPropagation
      • it.unive.lisa.analysis.numeric.Interval
      • it.unive.lisa.analysis.combination.NonRelationalValueCartesianProduct<C,T1,T2>
      • it.unive.lisa.analysis.numeric.Parity
      • it.unive.lisa.analysis.numeric.Sign
    • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements java.lang.Iterable<T>)
      • it.unive.lisa.interprocedural.CFGResults<A,H,V,T>
      • it.unive.lisa.interprocedural.FixpointResults<A,H,V,T>
    • it.unive.lisa.analysis.lattices.SetLattice<S,E> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.heap.pointbased.AllocationSites (implements it.unive.lisa.analysis.nonrelational.heap.NonRelationalHeapDomain<T>)
  • it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
    • it.unive.lisa.interprocedural.ContextBasedAnalysis<A,H,V,T>
  • 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.analysis.dataflow.ConstantPropagation (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.interprocedural.ContextInsensitiveToken (implements it.unive.lisa.interprocedural.ContextSensitivityToken)
  • 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,T>
  • it.unive.lisa.interprocedural.ModularWorstCaseAnalysis<A,H,V,T> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A,H,V,T>)
  • it.unive.lisa.analysis.dataflow.ReachingDefinitions (implements it.unive.lisa.analysis.dataflow.DataflowElement<D,E>)
  • it.unive.lisa.interprocedural.RecursionFreeToken (implements it.unive.lisa.interprocedural.ContextSensitivityToken)
  • it.unive.lisa.interprocedural.SingleScopeToken (implements it.unive.lisa.interprocedural.ContextSensitivityToken)
  • it.unive.lisa.symbolic.SymbolicExpression
    • it.unive.lisa.symbolic.value.ValueExpression
      • it.unive.lisa.symbolic.value.Identifier
        • it.unive.lisa.symbolic.value.HeapLocation
          • it.unive.lisa.analysis.heap.pointbased.AllocationSite

Interface Hierarchy

• it.unive.lisa.interprocedural.ContextSensitivityToken

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • it.unive.lisa.LiSAConfiguration.GraphType