Hierarchy For All Packages

Package Hierarchies:

de.rwth.dfa, de.rwth.dfa.jvm, de.rwth.dfa.jvm.samples, de.rwth.domains, de.rwth.domains.templates, de.rwth.graph, de.rwth.utils

Class Hierarchy

• class java.lang.Object
  • class de.rwth.utils.AbstractClassProcessor
    • class de.rwth.dfa.jvm.samples.AbstractAnalyser
      • class de.rwth.dfa.jvm.samples.CPAnalyser
        • class de.rwth.dfa.jvm.samples.CFPAnalyser
      • class de.rwth.dfa.jvm.samples.LVAnalyser
      • class de.rwth.dfa.jvm.samples.SSAnalyser
  • class java.util.AbstractCollection (implements java.util.Collection)
    • class java.util.AbstractList (implements java.util.List)
      • class java.util.Vector (implements java.lang.Cloneable, java.util.List, java.io.Serializable)
        • class de.rwth.dfa.jvm.InstructionHandleVector
        • class java.util.Stack
          • class de.rwth.dfa.StackWorklist (implements de.rwth.dfa.Worklist)
  • class de.rwth.dfa.jvm.Abstraction.Default
  • class de.rwth.utils.AbstractIterator (implements java.util.Iterator)
  • class de.rwth.dfa.jvm.samples.AbstractSSDependingAbstraction (implements de.rwth.dfa.jvm.Abstraction)
    • class de.rwth.dfa.jvm.samples.CPAbstraction (implements de.rwth.dfa.jvm.Abstraction)
      • class de.rwth.dfa.jvm.samples.CFPAbstraction (implements de.rwth.dfa.jvm.Abstraction)
  • class de.rwth.utils.AbstractTreeIterator (implements de.rwth.utils.TreeIterator)
  • class de.rwth.utils.AbstractTreeIteratorTraversalActions (implements de.rwth.utils.TreeIteratorTraversal.Actions)
  • class de.rwth.utils.ArrayIterator (implements java.util.Iterator)
  • class de.rwth.utils.ArrayTools
  • class de.rwth.domains.templates.BitVectorElement
  • class de.rwth.domains.templates.BitVectorLattice (implements de.rwth.domains.CompleteLattice)
  • class de.rwth.domains.templates.ComposedFunction (implements de.rwth.domains.Function)
  • class de.rwth.domains.templates.ConstantFunction (implements de.rwth.domains.Function)
  • class de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction (implements de.rwth.domains.Function)
    • class de.rwth.dfa.jvm.samples.CFPAbstraction.ArithmeticFunction
      • class de.rwth.dfa.jvm.samples.CFPAbstraction.BinaryFunction
      • class de.rwth.dfa.jvm.samples.CFPAbstraction.CompareFunction
      • class de.rwth.dfa.jvm.samples.CFPAbstraction.ConversionFunction
      • class de.rwth.dfa.jvm.samples.CFPAbstraction.NegationFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.AllocationFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.DupFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.ExceptionHeaderFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.GenericFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.IncLocalFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.PopFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.PushConstantFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.PushLocalFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.StoreLocalFunction
    • class de.rwth.dfa.jvm.samples.CPAbstraction.SwapFunction
  • class de.rwth.dfa.DataFlowSolver
  • class de.rwth.utils.DFLRTreeIteratorTraversal (implements de.rwth.utils.TreeIteratorTraversal)
  • class de.rwth.domains.Domain
  • class de.rwth.domains.templates.DualPOSet (implements de.rwth.domains.POSet)
  • class de.rwth.domains.templates.FlatCompleteLattice (implements de.rwth.domains.CompleteLattice)
    • class de.rwth.dfa.jvm.samples.CFPComponentLattice
    • class de.rwth.dfa.jvm.samples.SSLattice
  • class de.rwth.domains.Function.Tools
  • class de.rwth.domains.templates.FunctionSet (implements de.rwth.domains.Set)
    • class de.rwth.domains.templates.FunctionPOSet (implements de.rwth.domains.POSet)
      • class de.rwth.domains.templates.FunctionCompletePOSet (implements de.rwth.domains.CompletePOSet)
  • class de.rwth.graph.Graph
    • class de.rwth.graph.RootedGraph
      • class de.rwth.dfa.jvm.FactorisedFlowGraph
        • class de.rwth.dfa.jvm.BasicBlockGraph
        • class de.rwth.dfa.jvm.FlowGraph
      • class de.rwth.graph.SwappedGraph
  • class de.rwth.graph.Graph.Node
    • class de.rwth.graph.RootedGraph.Node
  • class de.rwth.graph.Graph.Node.Edge
  • class de.rwth.graph.Graph.NodeDyer
  • class de.rwth.domains.templates.IdentityFunction (implements de.rwth.domains.Function)
  • class de.fub.bytecode.generic.Instruction (implements java.lang.Cloneable, java.io.Serializable)
    • class de.rwth.dfa.jvm.ExceptionHeaderInstruction
  • class de.fub.bytecode.generic.InstructionHandle (implements java.io.Serializable)
    • class de.rwth.dfa.jvm.ExceptionHeaderInstructionHandle
  • class de.rwth.utils.IteratorMap (implements java.util.Iterator)
  • class de.rwth.utils.IteratorSequence (implements java.util.Iterator)
  • class de.rwth.utils.IteratorTools
  • class de.rwth.domains.templates.KillGenBitVectorFunction (implements de.rwth.domains.Function)
  • class de.rwth.domains.templates.LiftedPOSet (implements de.rwth.domains.POSet)
    • class de.rwth.domains.templates.LiftedCompleteLattice (implements de.rwth.domains.CompleteLattice)
      • class de.rwth.dfa.jvm.samples.CFPStackLattice
    • class de.rwth.domains.templates.LiftedCompletePOSet (implements de.rwth.domains.CompletePOSet)
  • class de.rwth.dfa.jvm.samples.LVAbstraction (implements de.rwth.dfa.jvm.Abstraction)
  • class de.rwth.domains.templates.NumberSet (implements de.rwth.domains.Set)
  • class de.rwth.utils.Position
  • class de.rwth.utils.Position.Entry
  • class de.rwth.domains.Set.Default
  • class de.rwth.domains.templates.SimpleSet (implements de.rwth.domains.Set)
    • class de.rwth.domains.templates.IntegerPOSet (implements de.rwth.domains.POSet)
  • class de.rwth.utils.SingletonIterator (implements java.util.Iterator)
  • class de.rwth.dfa.jvm.Solver
    • class de.rwth.dfa.jvm.ExecutionSolver
    • class de.rwth.dfa.jvm.GraphSolver
      • class de.rwth.dfa.jvm.FactorisedFlowGraphSolver
        • class de.rwth.dfa.jvm.FactorisedBasicBlockGraphSolver
          • class de.rwth.dfa.jvm.BasicBlockGraphSolver
        • class de.rwth.dfa.jvm.FlowGraphSolver
  • class de.rwth.dfa.jvm.samples.SSAbstraction (implements de.rwth.dfa.jvm.Abstraction)
  • class de.rwth.dfa.jvm.samples.SSAbstraction.SSFunction (implements de.rwth.domains.Function)
  • class de.rwth.domains.templates.StackSet (implements de.rwth.domains.Set)
    • class de.rwth.domains.templates.StackPOSet (implements de.rwth.domains.POSet)
      • class de.rwth.domains.templates.StackPreLattice (implements de.rwth.domains.PreLattice)
  • class de.rwth.utils.Stopwatch
  • class de.rwth.domains.templates.SumSet (implements de.rwth.domains.Set)
    • class de.rwth.domains.templates.SumPOSet (implements de.rwth.domains.POSet)
  • class de.rwth.utils.Table
  • class de.rwth.domains.templates.TabledFunction (implements de.rwth.domains.Function)
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class de.rwth.domains.FunctionException
  • class de.rwth.domains.templates.TrivialPOSet (implements de.rwth.domains.POSet)
  • class de.rwth.domains.templates.TupleElement
  • class de.rwth.domains.templates.TupleSet (implements de.rwth.domains.Set)
    • class de.rwth.domains.templates.TuplePOSet (implements de.rwth.domains.POSet)
      • class de.rwth.domains.templates.TupleCompletePOSet (implements de.rwth.domains.CompletePOSet)
      • class de.rwth.domains.templates.TupleLattice (implements de.rwth.domains.Lattice)
        • class de.rwth.domains.templates.TupleCompleteLattice (implements de.rwth.domains.CompleteLattice)
          • class de.rwth.dfa.jvm.samples.CFPLattice
          • class de.rwth.dfa.jvm.samples.CFPLocalsLattice

Interface Hierarchy

• interface de.rwth.dfa.jvm.Abstraction
• interface de.rwth.domains.Function
• interface java.util.Iterator
  • interface java.util.ListIterator
    • interface de.rwth.utils.TreeIterator
• interface de.rwth.utils.IteratorMap.Function
• interface de.rwth.domains.Set
  • interface de.rwth.domains.POSet
    • interface de.rwth.domains.CompletePOSet
      • interface de.rwth.domains.CompleteLattice (also extends de.rwth.domains.Lattice)
    • interface de.rwth.domains.PreLowerSemiLattice
      • interface de.rwth.domains.LowerSemiLattice
        • interface de.rwth.domains.Lattice (also extends de.rwth.domains.PreLattice, de.rwth.domains.UpperSemiLattice)
          • interface de.rwth.domains.CompleteLattice (also extends de.rwth.domains.CompletePOSet)
      • interface de.rwth.domains.PreLattice (also extends de.rwth.domains.PreUpperSemiLattice)
        • interface de.rwth.domains.Lattice (also extends de.rwth.domains.LowerSemiLattice, de.rwth.domains.UpperSemiLattice)
          • interface de.rwth.domains.CompleteLattice (also extends de.rwth.domains.CompletePOSet)
    • interface de.rwth.domains.PreUpperSemiLattice
      • interface de.rwth.domains.PreLattice (also extends de.rwth.domains.PreLowerSemiLattice)
        • interface de.rwth.domains.Lattice (also extends de.rwth.domains.LowerSemiLattice, de.rwth.domains.UpperSemiLattice)
          • interface de.rwth.domains.CompleteLattice (also extends de.rwth.domains.CompletePOSet)
      • interface de.rwth.domains.UpperSemiLattice
        • interface de.rwth.domains.Lattice (also extends de.rwth.domains.LowerSemiLattice, de.rwth.domains.PreLattice)
          • interface de.rwth.domains.CompleteLattice (also extends de.rwth.domains.CompletePOSet)
• interface de.rwth.utils.TreeIteratorTraversal
• interface de.rwth.utils.TreeIteratorTraversal.Actions
• interface de.rwth.dfa.Worklist