Hierarchy For All Packages

Package Hierarchies:

chord.analyses.alias, chord.analyses.alloc, chord.analyses.argret, chord.analyses.basicblock, chord.analyses.datarace, chord.analyses.deadlock, chord.analyses.field, chord.analyses.heapacc, chord.analyses.inst, chord.analyses.invk, chord.analyses.lock, chord.analyses.method, chord.analyses.point, chord.analyses.reflect, chord.analyses.thread, chord.analyses.type, chord.analyses.var, chord.bddbddb, chord.instr, chord.program, chord.program.reflect, chord.program.stubs, chord.program.visitors, chord.project, chord.project.analyses, chord.project.analyses.rhs, chord.runtime, chord.util, chord.util.graph, chord.util.tuple.integer, chord.util.tuple.object

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • chord.util.ArraySet<T> (implements java.util.Set<E>)
  • chord.util.graph.AbstractGraph<Node> (implements chord.util.graph.IGraph<Node>)
    • chord.analyses.alias.CICG (implements chord.analyses.alias.ICICG)
    • chord.analyses.alias.CSCG (implements chord.analyses.alias.ICSCG)
    • chord.util.graph.MutableGraph<Node> (implements chord.util.graph.IMutableGraph<Node>)
      • chord.util.graph.MutableLabeledGraph<Node,Label> (implements chord.util.graph.IMutableLabeledGraph<Node,Label>)
  • chord.project.AbstractStepCollection (implements chord.project.IStepCollection)
    • chord.project.StepCollectionForStatelessTask
    • chord.project.StepCollectionForTaskWithState
  • chord.util.Alarm
  • chord.util.graph.AllPathsBuilder<Node>
  • chord.program.stubs.ArraySetCFGBuilder (implements joeq.Compiler.Quad.ICFGBuilder)
  • chord.util.graph.BackEdgesFinder<Node>
  • chord.runtime.BasicEventHandler
    • chord.runtime.TraceEventHandler
      • chord.runtime.EventHandler
      • chord.program.reflect.ReflectEventHandler
  • chord.project.Boot
  • chord.util.ByteBufferedFile
  • chord.program.CFGLoopFinder
  • chord.program.CHA
  • chord.project.ChordAnnotParser
  • chord.analyses.alias.CIObj (implements java.io.Serializable)
  • chord.program.ClassHierarchy
  • chord.project.Config
  • chord.analyses.alias.CSObj (implements java.io.Serializable)
  • chord.analyses.alias.Ctxt (implements java.io.Serializable)
  • chord.util.graph.CycleFindingSCCVisitor<Node> (implements chord.util.graph.IGraphEntityVisitor<Node>)
  • chord.util.graph.CycleTestingSCCVisitor<Node> (implements chord.util.graph.IGraphEntityVisitor<Node>)
  • chord.project.DefaultCtrlCollection (implements chord.project.ICtrlCollection)
  • chord.project.DefaultDataCollection (implements chord.project.IDataCollection)
  • chord.program.DynamicBuilder
  • chord.instr.EventKind
  • chord.util.Execution
  • chord.util.Executor
  • javassist.expr.ExprEditor
    • chord.instr.BasicInstrumentor
      • chord.instr.Instrumentor
      • chord.program.LoadedClassesInstrumentor
      • chord.program.reflect.ReflectInstrumentor
  • chord.util.tuple.object.Hext<T0,T1,T2,T3,T4,T5> (implements java.io.Serializable)
  • chord.util.IndexMap<T> (implements java.lang.Iterable<T>)
    • chord.bddbddb.Dom<T>
      • chord.project.analyses.ProgramDom<T> (implements chord.project.ITask)
        • chord.analyses.thread.DomA
        • chord.analyses.basicblock.DomB (implements chord.program.visitors.IMethodVisitor)
          • chord.analyses.basicblock.DomW
        • chord.analyses.alias.DomC
        • chord.analyses.heapacc.DomE (implements chord.program.visitors.IHeapInstVisitor)
        • chord.analyses.field.DomF (implements chord.program.visitors.IFieldVisitor)
        • chord.analyses.alloc.DomH
        • chord.analyses.invk.DomI (implements chord.program.visitors.IInvokeInstVisitor)
        • chord.analyses.argret.DomK
        • chord.analyses.lock.DomL (implements chord.program.visitors.IAcqLockInstVisitor)
        • chord.analyses.method.DomM (implements chord.program.visitors.IMethodVisitor)
        • chord.analyses.deadlock.DomN
        • chord.analyses.alias.DomO
        • chord.analyses.point.DomP
        • chord.analyses.lock.DomR (implements chord.program.visitors.IRelLockInstVisitor)
        • chord.analyses.type.DomT
        • chord.analyses.var.DomV (implements chord.program.visitors.IMethodVisitor)
        • chord.analyses.argret.DomZ (implements chord.program.visitors.IInvokeInstVisitor)
  • chord.util.IndexSet<T> (implements java.lang.Iterable<T>)
  • chord.instr.InstrScheme (implements java.io.Serializable)
  • chord.instr.InstrScheme.EventFormat (implements java.io.Serializable)
  • chord.util.IntArraySet
  • chord.util.tuple.integer.IntHext (implements java.io.Serializable)
  • chord.util.tuple.integer.IntPair (implements java.io.Serializable)
  • chord.util.tuple.integer.IntPent (implements java.io.Serializable)
  • chord.util.tuple.integer.IntQuad (implements java.io.Serializable)
  • chord.util.tuple.integer.IntTrio (implements java.io.Serializable)
  • chord.project.analyses.JavaAnalysis (implements chord.project.ITask)
    • chord.project.analyses.BasicDynamicAnalysis
      • chord.project.analyses.DynamicAnalysis
      • chord.program.reflect.DynamicReflectResolver
    • chord.analyses.alias.CIAliasAnalysis
    • chord.analyses.alias.CICGAnalysis
      • chord.analyses.alias.ThrOblAbbrCICGAnalysis
      • chord.analyses.alias.ThrSenAbbrCICGAnalysis
    • chord.analyses.reflect.ConNewInstAnalysis
    • chord.analyses.alias.CSAliasAnalysis
    • chord.analyses.alias.CSCGAnalysis
      • chord.analyses.alias.ThrOblAbbrCSCGAnalysis
      • chord.analyses.alias.ThrSenAbbrCSCGAnalysis
    • chord.analyses.alias.CtxtsAnalysis
    • chord.analyses.datarace.DataraceAnalysis
    • chord.analyses.deadlock.DeadlockAnalysis
    • chord.project.analyses.DlogAnalysis
    • chord.analyses.reflect.ObjNewInstAnalysis
    • chord.project.analyses.rhs.RHSAnalysis<PE,SE>
      • chord.project.analyses.rhs.BackwardRHSAnalysis<PE,SE>
      • chord.project.analyses.rhs.ForwardRHSAnalysis<PE,SE>
    • chord.analyses.thread.ThreadsAnalysis
  • chord.instr.JavassistPool
  • chord.program.Location
  • chord.project.Main
  • chord.project.Messages
  • chord.program.MethodSign
    • chord.program.MethodElem
  • chord.program.stubs.ObjectCloneCFGBuilder (implements joeq.Compiler.Quad.ICFGBuilder)
  • chord.instr.OfflineTransformer
  • chord.instr.OnlineTransformer (implements java.lang.instrument.ClassFileTransformer)
  • chord.project.OutDirUtils
  • chord.util.tuple.object.Pair<T0,T1> (implements java.io.Serializable)
    • chord.bddbddb.RelSign
  • chord.util.tuple.object.Pent<T0,T1,T2,T3,T4> (implements java.io.Serializable)
  • chord.program.PhantomClsVal
  • chord.program.PhantomObjVal
  • chord.util.ProcessExecutor
  • chord.program.Program
  • chord.project.Project
    • chord.project.ClassicProject
    • chord.project.ModernProject
  • chord.util.tuple.object.Quad<T0,T1,T2,T3> (implements java.io.Serializable)
  • chord.program.QuadToJasmin
  • chord.program.Reflect
  • chord.program.reflect.ReflectEventKind
  • chord.bddbddb.Rel
    • chord.project.analyses.ProgramRel (implements chord.project.ITask)
      • chord.analyses.heapacc.RelAryElemE
      • chord.analyses.reflect.RelAryNewInstIH
      • chord.analyses.type.RelCHA
      • chord.analyses.type.RelCheckExcludedT
      • chord.analyses.type.RelClassT (implements chord.program.visitors.IClassVisitor)
      • chord.analyses.method.RelClinitM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.method.RelClinitTM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.reflect.RelClsForNameIT
      • chord.analyses.reflect.RelClsTH
      • chord.analyses.heapacc.RelEF
      • chord.analyses.heapacc.RelEV
      • chord.analyses.method.RelExtraEntryPoints
      • chord.analyses.alloc.RelHT
      • chord.analyses.argret.RelIinvkArg
      • chord.analyses.argret.RelIinvkArg0
      • chord.analyses.argret.RelIinvkRet
      • chord.analyses.method.RelInitM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.field.RelInstF (implements chord.program.visitors.IFieldVisitor)
      • chord.analyses.heapacc.RelInstFldE
      • chord.analyses.invk.RelInstI
      • chord.analyses.method.RelInstM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.type.RelInterfaceT (implements chord.program.visitors.IClassVisitor)
      • chord.analyses.lock.RelLE (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.lock.RelLI (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.lock.RelLL (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.inst.RelMcheckCastInst (implements chord.program.visitors.ICastInstVisitor)
      • chord.analyses.inst.RelMclsValAsgnInst (implements chord.program.visitors.IMoveInstVisitor)
      • chord.analyses.heapacc.RelME
      • chord.analyses.inst.RelMgetClassInvkInst (implements chord.program.visitors.IInvokeInstVisitor)
      • chord.analyses.inst.RelMgetInstFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.inst.RelMgetStatFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.alloc.RelMH
      • chord.analyses.invk.RelMI
      • chord.analyses.lock.RelML
      • chord.analyses.argret.RelMmethArg
      • chord.analyses.argret.RelMmethRet (implements chord.program.visitors.IReturnInstVisitor)
      • chord.analyses.inst.RelMobjValAsgnInst
      • chord.analyses.inst.RelMobjVarAsgnInst (implements chord.program.visitors.ICastInstVisitor, chord.program.visitors.IMoveInstVisitor, chord.program.visitors.IPhiInstVisitor)
      • chord.analyses.point.RelMP (implements chord.program.visitors.IInstVisitor)
      • chord.analyses.point.RelMPhead (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.point.RelMPtail (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.inst.RelMputInstFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.inst.RelMputStatFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.var.RelMV
      • chord.analyses.heapacc.RelPE
      • chord.analyses.inst.RelPgetInstFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.inst.RelPgetStatFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.invk.RelPI
      • chord.analyses.lock.RelPL
      • chord.analyses.inst.RelPobjValAsgnInst
      • chord.analyses.inst.RelPobjVarAsgnInst (implements chord.program.visitors.ICastInstVisitor, chord.program.visitors.IMoveInstVisitor, chord.program.visitors.IPhiInstVisitor)
      • chord.analyses.basicblock.RelPostDomBB (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.point.RelPP (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.inst.RelPputInstFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.inst.RelPputStatFldInst (implements chord.program.visitors.IHeapInstVisitor)
      • chord.analyses.method.RelPrivateM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.method.RelScopeExcludedM
      • chord.analyses.type.RelScopeExcludedT (implements chord.program.visitors.IClassVisitor)
      • chord.analyses.invk.RelSpecIM
      • chord.analyses.field.RelStatF (implements chord.program.visitors.IFieldVisitor)
      • chord.analyses.heapacc.RelStatFldE
      • chord.analyses.invk.RelStatIM
      • chord.analyses.method.RelStatM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.field.RelStatTF (implements chord.program.visitors.IFieldVisitor)
      • chord.analyses.method.RelStatTM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.type.RelSub
      • chord.analyses.basicblock.RelSuccBB
      • chord.analyses.lock.RelSyncLM
      • chord.analyses.lock.RelSyncLV
      • chord.analyses.method.RelSyncM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.argret.RelThisMV
      • chord.analyses.method.RelTM (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.invk.RelVirtIM
      • chord.analyses.var.RelVT (implements chord.program.visitors.IMethodVisitor)
      • chord.analyses.heapacc.RelWriteE
  • chord.bddbddb.Rel.AryNIterable
  • chord.bddbddb.Rel.HextIterable<T0,T1,T2,T3,T4,T5>
  • chord.bddbddb.Rel.IntAryNIterable
  • chord.bddbddb.Rel.IntHextIterable
  • chord.bddbddb.Rel.IntPairIterable
  • chord.bddbddb.Rel.IntPentIterable
  • chord.bddbddb.Rel.IntQuadIterable
  • chord.bddbddb.Rel.IntTrioIterable
  • chord.bddbddb.Rel.PairIterable<T0,T1>
  • chord.bddbddb.Rel.PentIterable<T0,T1,T2,T3,T4>
  • chord.bddbddb.Rel.QuadIterable<T0,T1,T2,T3>
  • chord.bddbddb.Rel.RelView
  • chord.bddbddb.Rel.SelfIterable<T>
  • chord.bddbddb.Rel.TrioIterable<T0,T1,T2>
  • chord.bddbddb.Rel.TupleIterator<T> (implements java.util.Iterator<E>)
  • chord.util.graph.RPOBuilder<Node>
  • chord.program.RTA
  • chord.util.graph.SCCBuilder<Node>
  • chord.util.graph.SCCFindingVisitor<Node> (implements chord.util.graph.IGraphEntityVisitor<Node>)
  • chord.util.SetUtils
  • chord.util.graph.ShortestPathBuilder<Node>
  • chord.util.graph.SimpleCyclesFinder<Node>
  • chord.bddbddb.Solver
  • chord.util.StatFig
  • chord.program.reflect.StaticReflectResolver
    • chord.program.reflect.CastBasedStaticReflect
  • chord.util.StopWatch
  • chord.analyses.invk.StubRewrite
  • chord.program.stubs.SystemArraycopyCFGBuilder (implements joeq.Compiler.Quad.ICFGBuilder)
  • chord.project.TaskParser
  • chord.program.stubs.ThreadStartCFGBuilder (implements joeq.Compiler.Quad.ICFGBuilder)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • chord.util.ReadException
      • java.lang.RuntimeException
        • chord.util.graph.GraphEntityVisitorException
        • chord.project.analyses.rhs.TimeoutException
  • chord.util.Timer
  • chord.instr.TracePrinter
  • chord.instr.TraceTransformer
  • chord.project.TrgtInfo
  • chord.project.TrgtParser
  • chord.util.tuple.object.Trio<T0,T1,T2> (implements java.io.Serializable)
  • chord.util.Utils
  • chord.project.VisitorHandler
  • chord.util.WeakIdentityHashMap (implements java.util.Map<K,V>)

Interface Hierarchy

• chord.program.visitors.IClassVisitor
  • chord.program.visitors.IAcqLockInstVisitor
  • chord.program.visitors.ICastInstVisitor
  • chord.program.visitors.IFieldVisitor
  • chord.program.visitors.IHeapInstVisitor
  • chord.program.visitors.IInstVisitor
  • chord.program.visitors.IInvokeInstVisitor
  • chord.program.visitors.IMethodVisitor
    • chord.program.visitors.IAcqLockInstVisitor
    • chord.program.visitors.ICastInstVisitor
    • chord.program.visitors.IHeapInstVisitor
    • chord.program.visitors.IInstVisitor
    • chord.program.visitors.IInvokeInstVisitor
    • chord.program.visitors.IMoveInstVisitor
    • chord.program.visitors.INewInstVisitor
    • chord.program.visitors.IPhiInstVisitor
    • chord.program.visitors.IRelLockInstVisitor
    • chord.program.visitors.IReturnInstVisitor
  • chord.program.visitors.IMoveInstVisitor
  • chord.program.visitors.INewInstVisitor
  • chord.program.visitors.IPhiInstVisitor
  • chord.program.visitors.IRelLockInstVisitor
  • chord.program.visitors.IReturnInstVisitor
• chord.project.IDataCollection
• chord.project.analyses.rhs.IEdge
• chord.util.graph.IGraphEntityVisitor<Node>
• chord.util.graph.IPathVisitor<Node>
• chord.project.IStepCollection
• chord.project.ITask
• java.io.Serializable
  • chord.util.graph.IGraph<Node>
    • chord.analyses.alias.ICICG
    • chord.analyses.alias.ICSCG
    • chord.util.graph.ILabeledGraph<Node,Label>
      • chord.analyses.alias.ICICG
      • chord.analyses.alias.ICSCG
      • chord.util.graph.IMutableLabeledGraph<Node,Label> (also extends chord.util.graph.IMutableGraph<Node>)
    • chord.util.graph.IMutableGraph<Node>
      • chord.util.graph.IMutableLabeledGraph<Node,Label> (also extends chord.util.graph.ILabeledGraph<Node,Label>)
    • chord.util.graph.IMutableLabeledGraph<Node,Label> (also extends chord.util.graph.ILabeledGraph<Node,Label>, chord.util.graph.IMutableGraph<Node>)
• CnCHJ.api.TagCollection
  • chord.project.ICtrlCollection

Annotation Type Hierarchy

• chord.project.Chord (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • chord.program.TypeKind