Hierarchy For Package it.unive.lisa.analysis

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.AnalysisState<A> (implements it.unive.lisa.analysis.BaseLattice<L>, it.unive.lisa.analysis.ScopedObject<T>, it.unive.lisa.util.representation.StructuredObject)
  • 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.AnalyzedCFG<A> (implements it.unive.lisa.analysis.BaseLattice<L>)
        • it.unive.lisa.analysis.OptimizedAnalyzedCFG<A>
      • it.unive.lisa.analysis.BackwardAnalyzedCFG<A> (implements it.unive.lisa.analysis.BaseLattice<L>)
        • it.unive.lisa.analysis.BackwardOptimizedAnalyzedCFG<A>
  • it.unive.lisa.analysis.FixpointInfo (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
  • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.StatementStore<A>
  • it.unive.lisa.analysis.ScopeToken
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • it.unive.lisa.analysis.SemanticExceptionWrapper
      • it.unive.lisa.analysis.SemanticException

Interface Hierarchy

• it.unive.lisa.analysis.heap.MemoryOracle
  • it.unive.lisa.analysis.SemanticOracle (also extends it.unive.lisa.analysis.type.TypeOracle, it.unive.lisa.analysis.value.ValueOracle)
    • it.unive.lisa.analysis.AbstractState<A> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
• it.unive.lisa.analysis.ScopedObject<T>
  • it.unive.lisa.analysis.SemanticDomain<D,E,I> (also extends it.unive.lisa.util.representation.StructuredObject)
    • it.unive.lisa.analysis.AbstractState<A> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticOracle)
• it.unive.lisa.analysis.SemanticEvaluator
• it.unive.lisa.util.representation.StructuredObject
  • it.unive.lisa.analysis.Lattice<L>
    • it.unive.lisa.analysis.AbstractState<A> (also extends it.unive.lisa.analysis.SemanticDomain<D,E,I>, it.unive.lisa.analysis.SemanticOracle)
    • it.unive.lisa.analysis.BaseLattice<L>
  • it.unive.lisa.analysis.SemanticDomain<D,E,I> (also extends it.unive.lisa.analysis.ScopedObject<T>)
    • it.unive.lisa.analysis.AbstractState<A> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticOracle)
• it.unive.lisa.analysis.type.TypeOracle
  • it.unive.lisa.analysis.SemanticOracle (also extends it.unive.lisa.analysis.heap.MemoryOracle, it.unive.lisa.analysis.value.ValueOracle)
    • it.unive.lisa.analysis.AbstractState<A> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
• it.unive.lisa.analysis.value.ValueOracle
  • it.unive.lisa.analysis.SemanticOracle (also extends it.unive.lisa.analysis.heap.MemoryOracle, it.unive.lisa.analysis.type.TypeOracle)
    • it.unive.lisa.analysis.AbstractState<A> (also extends it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)