Hierarchy For Package joeq.Compiler.Analysis.IPA

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • joeq.Compiler.Analysis.IPA.PACallGraph.BDDSet
      • joeq.Compiler.Analysis.IPA.PAResults.HeapLocationSet
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • joeq.Compiler.Analysis.IPA.PA.ThreadRootMap
    • joeq.Compiler.Analysis.IPA.PACallGraph.PACallTargetMap
    • jwutil.collections.UnmodifiableMultiMap (implements jwutil.collections.MultiMap)
      • joeq.Compiler.Quad.CallGraph (implements jwutil.graphs.Graph)
        • joeq.Compiler.Analysis.IPA.PACallGraph
  • net.sf.javabdd.BDD.BDDToString
    • joeq.Compiler.Analysis.IPA.PA.ToString
  • joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis (implements joeq.Class.jq_TypeVisitor)
  • joeq.Compiler.Analysis.IPA.ExceptionAnalysis
  • joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application (implements java.lang.Runnable)
    • joeq.Compiler.Analysis.IPA.CollectionFinder
    • joeq.Compiler.Analysis.IPA.PAQuery.ConstParameterFinder
    • joeq.Compiler.Analysis.IPA.PAQuery.HeapReferenceStat
    • joeq.Compiler.Analysis.IPA.PAQuery.ParamAliasFinder
  • joeq.Class.jq_MethodVisitor.EmptyVisitor (implements joeq.Class.jq_MethodVisitor)
    • joeq.Compiler.Analysis.IPA.PAMethodSummary
  • joeq.Compiler.Analysis.IPA.LoopAnalysis (implements joeq.Compiler.Quad.ControlFlowGraphVisitor)
  • joeq.Compiler.Analysis.IPA.ObjectNamingSupport
  • joeq.Compiler.Analysis.IPA.PA
  • joeq.Compiler.Analysis.IPA.PA.HeapPathSelector (implements jwutil.graphs.PathNumbering.Selector)
  • joeq.Compiler.Analysis.IPA.PA.ObjectPathSelector (implements jwutil.graphs.PathNumbering.Selector)
  • joeq.Compiler.Analysis.IPA.PA.StringMethodSelector (implements jwutil.graphs.PathNumbering.Selector)
  • joeq.Compiler.Analysis.IPA.PA.VarPathSelector (implements jwutil.graphs.PathNumbering.Selector)
  • joeq.Compiler.Analysis.IPA.PAProxy
  • joeq.Compiler.Analysis.IPA.PAQuery
  • joeq.Compiler.Analysis.IPA.PAResults (implements joeq.Compiler.Analysis.IPA.PointerAnalysisResults)
  • joeq.Compiler.Analysis.IPA.PAResults.HeapLocation (implements joeq.Compiler.Analysis.IPSSA.SSALocation)
  • joeq.Compiler.Analysis.IPA.PAResults.HeapLocation.FACTORY
  • joeq.Compiler.Analysis.IPA.PAResultSelector
  • joeq.Compiler.Analysis.IPA.ProgramLocation (implements jwutil.io.Textualizable)
    • joeq.Compiler.Analysis.IPA.ProgramLocation.BCProgramLocation
    • joeq.Compiler.Analysis.IPA.ProgramLocation.FakeProgramLocation
    • joeq.Compiler.Analysis.IPA.ProgramLocation.PlaceholderParameterProgramLocation
    • joeq.Compiler.Analysis.IPA.ProgramLocation.QuadProgramLocation
  • joeq.Compiler.Quad.QuadVisitor.EmptyVisitor (implements joeq.Compiler.Quad.QuadVisitor)
    • joeq.Compiler.Analysis.IPA.LoopAnalysis.InvokeVisitor
    • joeq.Compiler.Analysis.IPA.ObjectCreationGraph (implements joeq.Compiler.Quad.BasicBlockVisitor, joeq.Compiler.Quad.ControlFlowGraphVisitor, jwutil.graphs.Graph)
  • joeq.Compiler.Analysis.IPA.SubtypeHelper
    • joeq.Compiler.Analysis.IPA.SubtypeHelper.KnownClassesSubtypeHelper
    • joeq.Compiler.Analysis.IPA.SubtypeHelper.OfflineSubtypeHelper
    • joeq.Compiler.Analysis.IPA.SubtypeHelper.OnlineSubtypeHelper

Interface Hierarchy

• joeq.Compiler.Analysis.IPA.PointerAnalysisResults