Index

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

A B C D E F G H I J K L M N O P Q R S T U V W Z _

A

abort() - Method in class chord.project.Project
abortedVars - Variable in class chord.program.reflect.StaticReflectResolver
AbstractGraph<Node> - Class in chord.util.graph: Partial implementation of a directed graph that provides various operations on the graph that are useful for program analysis (e.g., computing SCCs, ordering nodes in RPO, etc.) but leaves the representation of the graph itself unspecified.
AbstractGraph() - Constructor for class chord.util.graph.AbstractGraph
AbstractStepCollection - Class in chord.project
AbstractStepCollection() - Constructor for class chord.project.AbstractStepCollection
accumStop() - Method in class chord.util.StopWatch
ACQUIRE_LOCK - Static variable in class chord.instr.EventKind
ACQUIRE_LOCK - Static variable in class chord.instr.InstrScheme
acquireLockEvent - Variable in class chord.instr.Instrumentor
acquireLockEvent(int, Object) - Static method in class chord.runtime.EventHandler
acquireLockEventCall - Variable in class chord.instr.Instrumentor
add(T0) - Method in class chord.bddbddb.Rel
add(int) - Method in class chord.bddbddb.Rel
add(T0, T1) - Method in class chord.bddbddb.Rel
add(int, int) - Method in class chord.bddbddb.Rel
add(T0, T1, T2) - Method in class chord.bddbddb.Rel
add(int, int, int) - Method in class chord.bddbddb.Rel
add(T0, T1, T2, T3) - Method in class chord.bddbddb.Rel
add(int, int, int, int) - Method in class chord.bddbddb.Rel
add(T0, T1, T2, T3, T4) - Method in class chord.bddbddb.Rel
add(int, int, int, int, int) - Method in class chord.bddbddb.Rel
add(T0, T1, T2, T3, T4, T5) - Method in class chord.bddbddb.Rel
add(int, int, int, int, int, int) - Method in class chord.bddbddb.Rel
add(Object[]) - Method in class chord.bddbddb.Rel
add(int[]) - Method in class chord.bddbddb.Rel
add(T) - Method in class chord.util.ArraySet
add(T) - Method in class chord.util.IndexMap: Adds and indexes a given object, unless it already exists, in O(1) time.
add(T) - Method in class chord.util.IndexSet: Adds a given object, unless it already exists, in O(1) time.
add(int) - Method in class chord.util.IntArraySet: Adds val to the end of the list, growing as needed.
add(double) - Method in class chord.util.StatFig
add(StopWatch) - Method in class chord.util.StopWatch
add(Map<S, List<T>>, S, T) - Static method in class chord.util.Utils
addAll(Collection<? extends T>) - Method in class chord.util.ArraySet
addAll(Collection<? extends T>) - Method in class chord.util.IndexMap
addAll(IntArraySet) - Method in class chord.util.IntArraySet
addForcibly(T) - Method in class chord.util.ArraySet: Adds a given value to the set without checking if it already exists in the set.
addForcibly(int) - Method in class chord.util.IntArraySet
addNewDests(Collection<jq_Method>) - Static method in class chord.analyses.invk.StubRewrite
addResolvedAryNewInstSite(Quad, jq_Reference) - Method in class chord.program.Reflect
addResolvedClsForNameSite(Quad, jq_Reference) - Method in class chord.program.Reflect
addResolvedConNewInstSite(Quad, jq_Reference) - Method in class chord.program.Reflect
addResolvedObjNewInstSite(Quad, jq_Reference) - Method in class chord.program.Reflect
addSaveFiles(String...) - Method in class chord.util.Execution
AFT_METHOD_CALL - Static variable in class chord.instr.EventKind
AFT_NEW - Static variable in class chord.instr.EventKind
aftMethodCallEvent(int, Object) - Static method in class chord.runtime.EventHandler
aftMethodCallEventCall - Variable in class chord.instr.Instrumentor
aftNewEvent(int, Object) - Static method in class chord.runtime.EventHandler
aftNewEventCall - Variable in class chord.instr.Instrumentor
Alarm - Class in chord.util: Implementation of an alarm.
Alarm(long) - Constructor for class chord.util.Alarm
allClassNamesInPath() - Method in class chord.program.ClassHierarchy: Returns the set of every class name examined by ClassHierarchy
AllPathsBuilder<Node> - Class in chord.util.graph: Algorithm for computing all paths between a pair of nodes in a directed graph.
AllPathsBuilder(IGraph<Node>, Node, IPathVisitor<Node>, int, int) - Constructor for class chord.util.graph.AllPathsBuilder
ALOAD_PRIMITIVE - Static variable in class chord.instr.EventKind
ALOAD_PRIMITIVE - Static variable in class chord.instr.InstrScheme
ALOAD_REFERENCE - Static variable in class chord.instr.EventKind
ALOAD_REFERENCE - Static variable in class chord.instr.InstrScheme
aloadPriEventCall - Variable in class chord.instr.Instrumentor
aloadPrimitive(ArrayAccess) - Method in class chord.instr.Instrumentor
aloadPrimitiveEvent - Variable in class chord.instr.Instrumentor
aloadPrimitiveEvent(int, Object, int) - Static method in class chord.runtime.EventHandler
aloadReference(ArrayAccess) - Method in class chord.instr.Instrumentor
aloadReferenceEvent - Variable in class chord.instr.Instrumentor
aloadReferenceEvent(int, Object, int, Object) - Static method in class chord.runtime.EventHandler
aloadRefEventCall - Variable in class chord.instr.Instrumentor
append(Quad) - Method in class chord.analyses.alias.Ctxt
areEqual(Object, Object) - Static method in class chord.util.Utils: Returns true if the given objects are equal, namely, they are both null or they are equal by the equals() method.
argsMap - Variable in class chord.instr.BasicInstrumentor
ArraySet<T> - Class in chord.util: Array-based implementation of a set.
ArraySet(Collection<T>) - Constructor for class chord.util.ArraySet
ArraySet() - Constructor for class chord.util.ArraySet
ArraySet(int) - Constructor for class chord.util.ArraySet
ArraySetCFGBuilder - Class in chord.program.stubs: Stub for static method "void set(Object array, int index, Object value)" in class java.lang.reflect.Array.
ArraySetCFGBuilder() - Constructor for class chord.program.stubs.ArraySetCFGBuilder
ARY_NEW_INST_CALL - Static variable in class chord.program.reflect.ReflectEventKind
aryNewInstEvent(String, String) - Static method in class chord.program.reflect.ReflectEventHandler
assemble(byte, byte, byte, byte) - Static method in class chord.util.ByteBufferedFile
ASTORE_PRIMITIVE - Static variable in class chord.instr.EventKind
ASTORE_PRIMITIVE - Static variable in class chord.instr.InstrScheme
ASTORE_REFERENCE - Static variable in class chord.instr.EventKind
ASTORE_REFERENCE - Static variable in class chord.instr.InstrScheme
astorePriEventCall - Variable in class chord.instr.Instrumentor
astorePrimitive(ArrayAccess) - Method in class chord.instr.Instrumentor
astorePrimitiveEvent - Variable in class chord.instr.Instrumentor
astorePrimitiveEvent(int, Object, int) - Static method in class chord.runtime.EventHandler
astoreReference(ArrayAccess) - Method in class chord.instr.Instrumentor
astoreReferenceEvent - Variable in class chord.instr.Instrumentor
astoreReferenceEvent(int, Object, int, Object) - Static method in class chord.runtime.EventHandler
astoreRefEventCall - Variable in class chord.instr.Instrumentor
attachInstrToBCIAft(String, int) - Method in class chord.instr.Instrumentor
attachInstrToBCIBef(String, int) - Method in class chord.instr.Instrumentor

B

BackEdgesFinder<Node> - Class in chord.util.graph: Algorithm for finding all back edges in a directed graph.
BackwardRHSAnalysis<PE extends IEdge,SE extends IEdge> - Class in chord.project.analyses.rhs: Implementation of the Reps-Horwitz-Sagiv algorithm for context-sensitive backward dataflow analysis.
BackwardRHSAnalysis() - Constructor for class chord.project.analyses.rhs.BackwardRHSAnalysis
BASIC_BLOCK - Static variable in class chord.instr.EventKind
basicBlockEvent(int) - Static method in class chord.runtime.EventHandler
basicBlockEventCall - Variable in class chord.instr.Instrumentor
basicBlockToMethodMap - Variable in class chord.analyses.basicblock.DomB
BasicDynamicAnalysis - Class in chord.project.analyses: Generic implementation of a basic dynamic analysis.
BasicDynamicAnalysis() - Constructor for class chord.project.analyses.BasicDynamicAnalysis
BasicEventHandler - Class in chord.runtime: Basic handler of events generated during an instrumented program's execution for use by single-JVM dynamic analyses.
BasicEventHandler() - Constructor for class chord.runtime.BasicEventHandler
BasicInstrumentor - Class in chord.instr: Basic bytecode instrumentor providing hooks for transforming classes, methods, and instructions.
BasicInstrumentor(Map<String, String>) - Constructor for class chord.instr.BasicInstrumentor: Constructor.
bb - Variable in class chord.program.Location
bciToInstrMap - Variable in class chord.instr.Instrumentor
bdd - Variable in class chord.bddbddb.Rel
bddbddbMaxHeap - Static variable in class chord.project.Config
bddbddbWorkDirName - Static variable in class chord.project.Config
BEF_METHOD_CALL - Static variable in class chord.instr.EventKind
BEF_NEW - Static variable in class chord.instr.EventKind
befMethodCallEvent(int, Object) - Static method in class chord.runtime.EventHandler
befMethodCallEventCall - Variable in class chord.instr.Instrumentor
befNewEvent(int) - Static method in class chord.runtime.EventHandler
befNewEventCall - Variable in class chord.instr.Instrumentor
Bmap - Variable in class chord.instr.Instrumentor
Boot - Class in chord.project: Entry point of Chord before JVM settings are resolved.
Boot() - Constructor for class chord.project.Boot
bootClassesDirName - Static variable in class chord.project.Config
buffer - Static variable in class chord.runtime.TraceEventHandler: A buffer used to buffer events sent from event-generating JVM to event-handling JVM.
build() - Method in class chord.program.Program: Constructs the program's quadcode representation.
build() - Method in class chord.project.ClassicProject
build() - Method in class chord.project.ModernProject
build() - Method in class chord.project.Project
build(IGraph<Node>) - Static method in class chord.util.graph.BackEdgesFinder: Provides all back edges in a depth-first traversal of a given directed graph reachable from its root nodes.
build(IGraph<Node>) - Static method in class chord.util.graph.RPOBuilder: Provides all nodes of a given directed graph reachable from its root nodes and ordered in Reverse Post Order (RPO).
build() - Method in class chord.util.graph.SCCBuilder
buildBoolProperty(String, boolean) - Static method in class chord.project.Config
buildScope - Static variable in class chord.project.Config
bypassNode(Node) - Method in interface chord.util.graph.IMutableGraph: Removes a given node from the graph while preserving edges incident upon it.
bypassNode(Node) - Method in class chord.util.graph.MutableGraph
bypassNode(Node) - Method in class chord.util.graph.MutableLabeledGraph
ByteBufferedFile - Class in chord.util: Implementation of a buffered input or output file stream of bytes.
ByteBufferedFile(int, String, boolean) - Constructor for class chord.util.ByteBufferedFile

C

cached - Variable in class chord.util.graph.AbstractGraph
callersMap - Variable in class chord.project.analyses.rhs.RHSAnalysis
callGraph - Variable in class chord.analyses.alias.CICGAnalysis
callGraph - Variable in class chord.analyses.alias.CSCGAnalysis
calls(Quad, jq_Method) - Method in class chord.analyses.alias.CICG
calls(Ctxt, Quad, Ctxt, jq_Method) - Method in class chord.analyses.alias.CSCG
calls(Quad, jq_Method) - Method in interface chord.analyses.alias.ICICG: Determines whether a given call site may call a given method.
calls(Ctxt, Quad, Ctxt, jq_Method) - Method in interface chord.analyses.alias.ICSCG: /** Determines whether a given jq_Method invocation site in a given abstract context may call a given jq_Method in a given abstract context.
canReuseTraces() - Method in class chord.project.analyses.BasicDynamicAnalysis
canReuseTraces() - Method in class chord.project.analyses.DynamicAnalysis
CastBasedStaticReflect - Class in chord.program.reflect
CastBasedStaticReflect(IndexSet<jq_Reference>, Set<jq_Method>) - Constructor for class chord.program.reflect.CastBasedStaticReflect
cfg - Variable in class chord.program.reflect.StaticReflectResolver
CFGLoopFinder - Class in chord.program: Inference of all loops in a control-flow graph.
CFGLoopFinder() - Constructor for class chord.program.CFGLoopFinder
CHA - Class in chord.program: Class Hierarchy Analysis algorithm for computing program scope (reachable classes and methods).
CHA(ClassHierarchy) - Constructor for class chord.program.CHA
changed - Variable in class chord.program.reflect.StaticReflectResolver
checkExcludeAry - Static variable in class chord.project.Config
checkExcludeStr - Static variable in class chord.project.Config
checkExtExcludeStr - Static variable in class chord.project.Config
checkRange(Object, int) - Method in class chord.bddbddb.Rel
checkRange(int, int) - Method in class chord.bddbddb.Rel
checkStdExcludeStr - Static variable in class chord.project.Config
CHkind - Static variable in class chord.project.Config
Chord - Annotation Type in chord.project: Annotation on a class defining a Java task.
chord.analyses.alias - package chord.analyses.alias: Static may alias and call graph analyses.
chord.analyses.alloc - package chord.analyses.alloc: Facts of object allocation quads.
chord.analyses.argret - package chord.analyses.argret: Facts of arguments and return results of methods and method invocation quads.
chord.analyses.basicblock - package chord.analyses.basicblock: Facts of basic blocks in methods.
chord.analyses.datarace - package chord.analyses.datarace: Static datarace analysis.
chord.analyses.deadlock - package chord.analyses.deadlock: Static deadlock analysis.
chord.analyses.field - package chord.analyses.field: Facts of instance and static fields.
chord.analyses.heapacc - package chord.analyses.heapacc: Facts of heap-accessing quads.
chord.analyses.inst - package chord.analyses.inst: Facts of quads.
chord.analyses.invk - package chord.analyses.invk: Facts of method invocation quads.
chord.analyses.lock - package chord.analyses.lock: Facts and analyses of locks.
chord.analyses.method - package chord.analyses.method: Facts of methods.
chord.analyses.point - package chord.analyses.point: Facts of program points.
chord.analyses.reflect - package chord.analyses.reflect: Facts and analyses of reflection.
chord.analyses.thread - package chord.analyses.thread: Facts and analyses of threads.
chord.analyses.type - package chord.analyses.type: Facts of types and class hierarchy.
chord.analyses.var - package chord.analyses.var: Facts of local variables.
chord.bddbddb - package chord.bddbddb: Utilities for bddbddb-based program analyses.
chord.instr - package chord.instr: Bytecode instrumentation.
chord.program - package chord.program: Program representation.
chord.program.reflect - package chord.program.reflect: Analyses for resolving reflection.
chord.program.stubs - package chord.program.stubs: Stubs for native methods from JDK library.
chord.program.visitors - package chord.program.visitors: Various visitors over program representation.
chord.project - package chord.project: Project representation.
chord.project.analyses - package chord.project.analyses: Program analysis templates.
chord.project.analyses.rhs - package chord.project.analyses.rhs: Reps-Horwitz-Sagiv framework for interprocedural dataflow analysis.
chord.runtime - package chord.runtime: Runtime event handlers for dynamic program analyses.
chord.util - package chord.util: Commonly used utilities.
chord.util.graph - package chord.util.graph: Graph utilities.
chord.util.tuple.integer - package chord.util.tuple.integer: Implementations of fixed-arity, integer-valued tuples.
chord.util.tuple.object - package chord.util.tuple.object: Implementations of fixed-arity, object-valued tuples.
ChordAnnotParser - Class in chord.project: Parser for Chord annotations on classes defining program analyses.
ChordAnnotParser(Class) - Constructor for class chord.project.ChordAnnotParser: Constructor.
CIAliasAnalysis - Class in chord.analyses.alias: Context-insensitive may alias analysis.
CIAliasAnalysis() - Constructor for class chord.analyses.alias.CIAliasAnalysis
CICG - Class in chord.analyses.alias: Implementation of a context-insensitive call graph.
CICG(DomM, ProgramRel, ProgramRel, ProgramRel, ProgramRel) - Constructor for class chord.analyses.alias.CICG
cicg - Variable in class chord.project.analyses.rhs.RHSAnalysis
CICGAnalysis - Class in chord.analyses.alias: Context-insensitive call graph analysis.
CICGAnalysis() - Constructor for class chord.analyses.alias.CICGAnalysis
cInstrAgentFileName - Static variable in class chord.project.Config
CIObj - Class in chord.analyses.alias: Representation of an object-insensitive abstract object.
CIObj(Set<Quad>) - Constructor for class chord.analyses.alias.CIObj
classesFileName - Static variable in class chord.project.Config
ClassHierarchy - Class in chord.program: Class hierarchy implementation.
ClassHierarchy() - Constructor for class chord.program.ClassHierarchy
classic - Static variable in class chord.project.Config
ClassicProject - Class in chord.project: A Chord project comprising a set of tasks and a set of targets produced/consumed by those tasks.
clear() - Method in class chord.util.IndexMap
clear() - Method in class chord.util.IndexSet: Remove all elements from the set.
clear() - Method in class chord.util.IntArraySet
clear() - Method in class chord.util.WeakIdentityHashMap: Removes all mappings from this map.
close() - Method in class chord.bddbddb.Rel: Frees this relation from memory.
CLS_FOR_NAME_CALL - Static variable in class chord.program.reflect.ReflectEventKind
clsForNameEvent(String, String) - Static method in class chord.program.reflect.ReflectEventHandler
cName - Variable in class chord.program.MethodSign
computeTransitiveClosure() - Method in interface chord.util.graph.IMutableGraph: Computes the transitive closure of the graph and updates it with the result.
computeTransitiveClosure() - Method in class chord.util.graph.MutableGraph: Computes the transitive closure of the graph.
CON_NEW_INST_CALL - Static variable in class chord.program.reflect.ReflectEventKind
concat(String, String, String) - Static method in class chord.util.Utils
concat(String[], String[]) - Static method in class chord.util.Utils: Create an array of strings by concatenating two given arrays of strings.
Config - Class in chord.project: System properties recognized by Chord.
ConNewInstAnalysis - Class in chord.analyses.reflect: Analysis producing the following two relations: - conNewInstIH: Relation containing each tuple (i,h) such that call site i calling method "Object newInstance(Object[])" defined in class "java.lang.reflect.Constructor" is treated as object allocation site h.
ConNewInstAnalysis() - Constructor for class chord.analyses.reflect.ConNewInstAnalysis
conNewInstEvent(String, String) - Static method in class chord.program.reflect.ReflectEventHandler
consumedDataCollections - Variable in class chord.project.AbstractStepCollection
consumes - Variable in class chord.project.analyses.JavaAnalysis
consumes - Variable in class chord.project.analyses.ProgramDom
consumes - Variable in class chord.project.analyses.ProgramRel
contains(Quad) - Method in class chord.analyses.alias.Ctxt: Determines whether this abstract context contains a given statement.
contains(T0) - Method in class chord.bddbddb.Rel
contains(int) - Method in class chord.bddbddb.Rel
contains(T0, T1) - Method in class chord.bddbddb.Rel
contains(int, int) - Method in class chord.bddbddb.Rel
contains(T0, T1, T2) - Method in class chord.bddbddb.Rel
contains(T0, T1, T2, T3) - Method in class chord.bddbddb.Rel
contains(T0, T1, T2, T3, T4) - Method in class chord.bddbddb.Rel
contains(T0, T1, T2, T3, T4, T5) - Method in class chord.bddbddb.Rel
contains(Object[]) - Method in class chord.bddbddb.Rel
contains(T) - Method in class chord.bddbddb.Rel.RelView: Determines whether this view contains the specified 1-tuple.
contains(T0, T1) - Method in class chord.bddbddb.Rel.RelView: Determines whether this view contains the specified 2-tuple.
contains(T0, T1, T2) - Method in class chord.bddbddb.Rel.RelView: Determines whether this view contains the specified 3-tuple.
contains(T0, T1, T2, T3) - Method in class chord.bddbddb.Rel.RelView: Determines whether this view contains the specified 4-tuple.
contains(T0, T1, T2, T3, T4) - Method in class chord.bddbddb.Rel.RelView
contains(T0, T1, T2, T3, T4, T5) - Method in class chord.bddbddb.Rel.RelView
contains(Object[]) - Method in class chord.bddbddb.Rel.RelView
contains(Object) - Method in class chord.util.IndexMap
contains(Object) - Method in class chord.util.IndexSet
contains(int) - Method in class chord.util.IntArraySet: Searches the set for value
contains(T[], T) - Static method in class chord.util.Utils: Determines whether a given array contains a given value.
containsKey(Object) - Method in class chord.util.WeakIdentityHashMap: Returns true if this map contains a mapping for the specified key.
containsValue(Object) - Method in class chord.util.WeakIdentityHashMap: Returns true if this map maps one or more keys to the specified value.
controls - Variable in class chord.project.analyses.JavaAnalysis
copy(String, String) - Static method in class chord.util.Utils
copyResource(String, InputStream, String) - Static method in class chord.project.OutDirUtils
copyResourceByName(String) - Static method in class chord.project.OutDirUtils
copyResourceByName(String, InputStream) - Static method in class chord.project.OutDirUtils
copyResourceByPath(String) - Static method in class chord.project.OutDirUtils
copyResourceByPath(String, InputStream) - Static method in class chord.project.OutDirUtils
count(Quad) - Method in class chord.analyses.alias.Ctxt
CSAliasAnalysis - Class in chord.analyses.alias: Context-sensitive may alias analysis.
CSAliasAnalysis() - Constructor for class chord.analyses.alias.CSAliasAnalysis
CSCG - Class in chord.analyses.alias: Implementation of a context-sensitive call graph.
CSCG(DomM, ProgramRel, ProgramRel, ProgramRel, ProgramRel) - Constructor for class chord.analyses.alias.CSCG
CSCGAnalysis - Class in chord.analyses.alias: Context-sensitive call graph analysis.
CSCGAnalysis() - Constructor for class chord.analyses.alias.CSCGAnalysis
CSObj - Class in chord.analyses.alias: Representation of an object-sensitive abstract object.
CSObj(Set<Ctxt>) - Constructor for class chord.analyses.alias.CSObj
ctnrMethod - Variable in class chord.analyses.lock.DomL
Ctxt - Class in chord.analyses.alias: Representation of an abstract context of a method.
Ctxt(Quad[]) - Constructor for class chord.analyses.alias.Ctxt: Constructor.
CTXTCPY - Static variable in class chord.analyses.alias.CtxtsAnalysis
CTXTINS - Static variable in class chord.analyses.alias.CtxtsAnalysis
CtxtsAnalysis - Class in chord.analyses.alias: Analysis for pre-computing abstract contexts.
CtxtsAnalysis() - Constructor for class chord.analyses.alias.CtxtsAnalysis
currClass - Variable in class chord.instr.Instrumentor
currentBB - Variable in class chord.project.analyses.rhs.RHSAnalysis
currentClass - Variable in class chord.instr.BasicInstrumentor
currentId - Static variable in class chord.runtime.BasicEventHandler: Unique ID given to each object created at runtime.
currentMethod - Variable in class chord.instr.BasicInstrumentor
currentMethod - Variable in class chord.project.analyses.rhs.RHSAnalysis
currMethod - Variable in class chord.instr.Instrumentor
currSign - Variable in class chord.instr.Instrumentor
CycleFindingSCCVisitor<Node> - Class in chord.util.graph: A visitor over the Strongly Connected Components (SCCs) of a directed graph that finds all nodes in cycles.
CycleFindingSCCVisitor(IGraph<Node>) - Constructor for class chord.util.graph.CycleFindingSCCVisitor
CycleTestingSCCVisitor<Node> - Class in chord.util.graph: A visitor over the Strongly Connected Components (SCCs) of a directed graph that checks for cycles in the graph.
CycleTestingSCCVisitor(IGraph<Node>) - Constructor for class chord.util.graph.CycleTestingSCCVisitor

D

DataraceAnalysis - Class in chord.analyses.datarace: Static datarace analysis.
DataraceAnalysis() - Constructor for class chord.analyses.datarace.DataraceAnalysis
DeadlockAnalysis - Class in chord.analyses.deadlock: Static deadlock analysis.
DeadlockAnalysis() - Constructor for class chord.analyses.deadlock.DeadlockAnalysis
DEBUG - Static variable in class chord.program.CFGLoopFinder
DEBUG - Static variable in class chord.program.CHA
DEBUG - Static variable in class chord.program.reflect.StaticReflectResolver
DEBUG - Static variable in class chord.program.RTA
DEBUG - Static variable in class chord.project.analyses.BasicDynamicAnalysis
DEBUG - Static variable in class chord.project.analyses.rhs.RHSAnalysis
DEFAULT_CAPACITY - Static variable in class chord.util.IntArraySet: the default capacity for new sets
DEFAULT_CHECK_EXCLUDES - Static variable in class chord.project.Config
DEFAULT_ESTIMATED_SIZE - Static variable in class chord.util.SetUtils: Default estimated size of a set.
DEFAULT_SCOPE_EXCLUDES - Static variable in class chord.project.Config
DefaultCtrlCollection - Class in chord.project
DefaultCtrlCollection() - Constructor for class chord.project.DefaultCtrlCollection
DefaultDataCollection - Class in chord.project
DefaultDataCollection() - Constructor for class chord.project.DefaultDataCollection
delete(int) - Method in class chord.bddbddb.Rel.RelView
deleteFile(String) - Static method in class chord.util.Utils
deleteFile(File) - Static method in class chord.util.Utils
DlogAnalysis - Class in chord.project.analyses: Generic implementation of a Dlog task (a program analysis expressed in Datalog and solved using BDD-based solver bddbddb).
DlogAnalysis() - Constructor for class chord.project.analyses.DlogAnalysis
dlogAnalysisPathName - Static variable in class chord.project.Config
Dom<T> - Class in chord.bddbddb: Generic implementation of a BDD-based domain.
Dom() - Constructor for class chord.bddbddb.Dom
DomA - Class in chord.analyses.thread: Domain of abstract threads.
DomA() - Constructor for class chord.analyses.thread.DomA
DomB - Class in chord.analyses.basicblock: Domain of basic blocks.
DomB() - Constructor for class chord.analyses.basicblock.DomB
domB - Variable in class chord.instr.Instrumentor
domBdds - Variable in class chord.bddbddb.Rel
DomC - Class in chord.analyses.alias: Domain of abstract contexts.
DomC() - Constructor for class chord.analyses.alias.DomC
DomE - Class in chord.analyses.heapacc: Domain of statements that access (read or write) an instance field, a static field, or an array element.
DomE() - Constructor for class chord.analyses.heapacc.DomE
domE - Variable in class chord.instr.Instrumentor
doMerge - Variable in class chord.project.analyses.rhs.RHSAnalysis
doMerge() - Method in class chord.project.analyses.rhs.RHSAnalysis: Determines whether this analysis should merge path edges at each program point that have the same source state but different target states and, likewise, summary edges of each method that have the same source state and different target states.
DomF - Class in chord.analyses.field: Domain of fields.
DomF() - Constructor for class chord.analyses.field.DomF
domF - Variable in class chord.instr.Instrumentor
DomH - Class in chord.analyses.alloc: Domain of object allocation quads.
DomH() - Constructor for class chord.analyses.alloc.DomH
domH - Variable in class chord.instr.Instrumentor
DomI - Class in chord.analyses.invk: Domain of method invocation statements.
DomI() - Constructor for class chord.analyses.invk.DomI
domI - Variable in class chord.instr.Instrumentor
domI - Variable in class chord.project.analyses.rhs.RHSAnalysis
domIdxs - Variable in class chord.bddbddb.Rel
domIdxs - Variable in class chord.bddbddb.Rel.TupleIterator
DomK - Class in chord.analyses.argret: Another domain of integers.
DomK() - Constructor for class chord.analyses.argret.DomK
DomL - Class in chord.analyses.lock: Domain of all lock acquire points, including monitorenter statements and entry basic blocks of synchronized methods.
DomL() - Constructor for class chord.analyses.lock.DomL
domL - Variable in class chord.instr.Instrumentor
domM - Variable in class chord.analyses.alias.CICGAnalysis
domM - Variable in class chord.analyses.alias.CSCG
domM - Variable in class chord.analyses.alias.CSCGAnalysis
domM - Variable in class chord.analyses.alloc.DomH
domM - Variable in class chord.analyses.heapacc.DomE
domM - Variable in class chord.analyses.invk.DomI
domM - Variable in class chord.analyses.lock.DomL
domM - Variable in class chord.analyses.lock.DomR
DomM - Class in chord.analyses.method: Domain of methods.
DomM() - Constructor for class chord.analyses.method.DomM
domM - Variable in class chord.instr.Instrumentor
domM - Variable in class chord.project.analyses.rhs.RHSAnalysis
DomN - Class in chord.analyses.deadlock: Domain of abstract threads.
DomN() - Constructor for class chord.analyses.deadlock.DomN
DomO - Class in chord.analyses.alias: Domain of abstract objects.
DomO() - Constructor for class chord.analyses.alias.DomO
DomP - Class in chord.analyses.point: Domain of simple statements.
DomP() - Constructor for class chord.analyses.point.DomP
domP - Variable in class chord.instr.Instrumentor
DomR - Class in chord.analyses.lock: Domain of all lock release points, including monitorexit statements and exit basic blocks of synchronized methods.
DomR() - Constructor for class chord.analyses.lock.DomR
domR - Variable in class chord.instr.Instrumentor
doms - Variable in class chord.bddbddb.Rel
DomT - Class in chord.analyses.type: Domain of classes.
DomT() - Constructor for class chord.analyses.type.DomT
DomV - Class in chord.analyses.var: Domain of local variables of reference type.
DomV() - Constructor for class chord.analyses.var.DomV
DomW - Class in chord.analyses.basicblock: Domain of loop head/exit basic blocks.
DomW() - Constructor for class chord.analyses.basicblock.DomW
DomZ - Class in chord.analyses.argret: Domain of argument and return variable positions of methods and method invocation statements.
DomZ() - Constructor for class chord.analyses.argret.DomZ
done() - Method in class chord.project.analyses.rhs.RHSAnalysis
done() - Static method in class chord.runtime.BasicEventHandler: Method signaling the end of event handling by a dynamic analysis.
done() - Static method in class chord.runtime.TraceEventHandler
done() - Method in class chord.util.Timer
doneAllPasses() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
doneAllPasses() - Method in class chord.util.Alarm
donePass() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
doSSA - Static variable in class chord.project.Config
DynamicAnalysis - Class in chord.project.analyses: Generic implementation of a dynamic analysis that allows choosing from a limited but commonly-used set of events, such as method entry/exit, field reads/writes, lock acquires/releases, etc.
DynamicAnalysis() - Constructor for class chord.project.analyses.DynamicAnalysis
DynamicBuilder - Class in chord.program
DynamicBuilder() - Constructor for class chord.program.DynamicBuilder
dynamicHaltOnErr - Static variable in class chord.project.Config
DynamicReflectResolver - Class in chord.program.reflect: Dynamic analysis for resolving reflection.
DynamicReflectResolver() - Constructor for class chord.program.reflect.DynamicReflectResolver
dynamicTimeout - Static variable in class chord.project.Config

E

eat(int) - Method in class chord.util.ByteBufferedFile
eatByte() - Method in class chord.util.ByteBufferedFile
eatInt() - Method in class chord.util.ByteBufferedFile
eatLong() - Method in class chord.util.ByteBufferedFile
edit(String) - Method in class chord.instr.BasicInstrumentor: Provides a hook to instrument a class specified by name.
edit(CtClass) - Method in class chord.instr.BasicInstrumentor: Provides a hook to instrument a class specified in Javassist's representation.
edit(CtBehavior) - Method in class chord.instr.BasicInstrumentor: Provides a hook to instrument a method specified in Javassist's representation.
edit(NewExpr) - Method in class chord.instr.BasicInstrumentor
edit(NewArray) - Method in class chord.instr.BasicInstrumentor
edit(FieldAccess) - Method in class chord.instr.BasicInstrumentor
edit(ArrayAccess) - Method in class chord.instr.BasicInstrumentor
edit(MonitorEnter) - Method in class chord.instr.BasicInstrumentor
edit(MonitorExit) - Method in class chord.instr.BasicInstrumentor
edit(ConstructorCall) - Method in class chord.instr.BasicInstrumentor
edit(MethodCall) - Method in class chord.instr.BasicInstrumentor
edit(CtClass) - Method in class chord.instr.Instrumentor
edit(CtBehavior) - Method in class chord.instr.Instrumentor
edit(NewExpr) - Method in class chord.instr.Instrumentor
edit(NewArray) - Method in class chord.instr.Instrumentor
edit(FieldAccess) - Method in class chord.instr.Instrumentor
edit(ArrayAccess) - Method in class chord.instr.Instrumentor
edit(MonitorEnter) - Method in class chord.instr.Instrumentor
edit(MonitorExit) - Method in class chord.instr.Instrumentor
edit(ConstructorCall) - Method in class chord.instr.Instrumentor
edit(MethodCall) - Method in class chord.instr.Instrumentor
edit(String) - Method in class chord.program.LoadedClassesInstrumentor
edit(CtClass) - Method in class chord.program.LoadedClassesInstrumentor
edit(MethodCall) - Method in class chord.program.reflect.ReflectInstrumentor
Emap - Variable in class chord.instr.Instrumentor
endTime - Variable in class chord.util.StopWatch
ENTER_MAIN_METHOD - Static variable in class chord.instr.EventKind
ENTER_MAIN_METHOD - Static variable in class chord.instr.InstrScheme
ENTER_METHOD - Static variable in class chord.instr.EventKind
ENTER_METHOD - Static variable in class chord.instr.InstrScheme
enterMainMethodEvent - Variable in class chord.instr.Instrumentor
enterMainMethodEvent() - Static method in class chord.runtime.EventHandler
enterMainMethodEventCall - Variable in class chord.instr.Instrumentor
enterMethodEvent - Variable in class chord.instr.Instrumentor
enterMethodEvent(int) - Static method in class chord.runtime.EventHandler
enterMethodEventCall - Variable in class chord.instr.Instrumentor
entrySet() - Method in class chord.util.WeakIdentityHashMap: Returns a collection view of the mappings contained in this map.
epilogue() - Method in class chord.util.graph.CycleFindingSCCVisitor
epilogue() - Method in class chord.util.graph.CycleTestingSCCVisitor
epilogue() - Method in interface chord.util.graph.IGraphEntityVisitor: Method called just after finishing visiting all nodes of an entity.
epilogue() - Method in class chord.util.graph.SCCFindingVisitor
equals(Object) - Method in class chord.analyses.alias.CIObj
equals(Object) - Method in class chord.analyses.alias.CSObj
equals(Object) - Method in class chord.analyses.alias.Ctxt
equals(Object) - Method in class chord.bddbddb.Dom
equals(Object) - Method in class chord.program.Location
equals(Object) - Method in class chord.program.PhantomClsVal
equals(Object) - Method in class chord.program.PhantomObjVal
equals(Object) - Method in class chord.util.ArraySet
equals(Object) - Method in class chord.util.graph.AbstractGraph
equals(Object) - Method in class chord.util.IntArraySet
equals(Object) - Method in class chord.util.tuple.integer.IntHext
equals(Object) - Method in class chord.util.tuple.integer.IntPair
equals(Object) - Method in class chord.util.tuple.integer.IntPent
equals(Object) - Method in class chord.util.tuple.integer.IntQuad
equals(Object) - Method in class chord.util.tuple.integer.IntTrio
equals(Object) - Method in class chord.util.tuple.object.Hext
equals(Object) - Method in class chord.util.tuple.object.Pair
equals(Object) - Method in class chord.util.tuple.object.Pent
equals(Object) - Method in class chord.util.tuple.object.Quad
equals(Object) - Method in class chord.util.tuple.object.Trio
errFileName - Static variable in class chord.project.Config
errors(String, Object...) - Method in class chord.util.Execution
estr(int) - Method in class chord.analyses.datarace.DataraceAnalysis
EVENT_HANDLER_ARGS_KEY - Static variable in class chord.instr.BasicInstrumentor
EVENT_HANDLER_CLASS_KEY - Static variable in class chord.instr.BasicInstrumentor
EventHandler - Class in chord.runtime: Buffered file-based offline handler of events generated during an instrumented program's execution.
EventHandler() - Constructor for class chord.runtime.EventHandler
eventHandlerArgs - Variable in class chord.project.analyses.BasicDynamicAnalysis
eventHandlerClassName - Variable in class chord.instr.Instrumentor
eventHandlerDoneCall - Variable in class chord.instr.BasicInstrumentor
eventHandlerInitCall - Variable in class chord.instr.BasicInstrumentor
EventKind - Class in chord.instr: The kind of an event generated during an instrumented program's execution.
EventKind() - Constructor for class chord.instr.EventKind
evictCache() - Method in class chord.util.graph.AbstractGraph
execute(Runnable) - Method in class chord.util.Executor: Executes given runnable task.
execute(String[]) - Static method in class chord.util.ProcessExecutor
execute(String[], String[], File, int) - Static method in class chord.util.ProcessExecutor: Executes a given system command specified as a string in a separate process.
executeAsynch(String[], String[], File) - Static method in class chord.util.ProcessExecutor
executeWithFailOnError(List<String>) - Static method in class chord.project.OutDirUtils
executeWithFailOnError(String[]) - Static method in class chord.project.OutDirUtils
executeWithWarnOnError(List<String>, int) - Static method in class chord.project.OutDirUtils
executeWithWarnOnError(String[], int) - Static method in class chord.project.OutDirUtils
Execution - Class in chord.util: Allow for organized execution of experiments.
Execution(String) - Constructor for class chord.util.Execution
Executor - Class in chord.util: Utility for executing a set of given tasks serially or in parallel.
Executor(boolean) - Constructor for class chord.util.Executor: Creates a new serial or parallel executor.
exists(String) - Static method in class chord.util.Utils
EXPLICIT_THROW - Static variable in class chord.instr.EventKind
EXPLICIT_THROW - Static variable in class chord.instr.InstrScheme
explicitThrowEvent(int, Object) - Static method in class chord.runtime.EventHandler
extDlogAnalysisPathName - Static variable in class chord.project.Config
extJavaAnalysisPathName - Static variable in class chord.project.Config
extraMethodsFile - Static variable in class chord.analyses.method.RelExtraEntryPoints
extraMethodsList - Static variable in class chord.analyses.method.RelExtraEntryPoints

F

factory - Variable in class chord.bddbddb.Rel
fatal(String, Object...) - Static method in class chord.project.Messages
fatal(Throwable) - Static method in class chord.project.Messages
fill() - Method in class chord.analyses.alloc.DomH
fill() - Method in class chord.analyses.alloc.RelHT
fill() - Method in class chord.analyses.alloc.RelMH
fill() - Method in class chord.analyses.argret.DomK
fill() - Method in class chord.analyses.argret.RelIinvkArg
fill() - Method in class chord.analyses.argret.RelIinvkArg0
fill() - Method in class chord.analyses.argret.RelIinvkRet
fill() - Method in class chord.analyses.argret.RelMmethArg
fill() - Method in class chord.analyses.argret.RelThisMV
fill() - Method in class chord.analyses.basicblock.RelSuccBB
fill() - Method in class chord.analyses.heapacc.RelAryElemE
fill() - Method in class chord.analyses.heapacc.RelEF
fill() - Method in class chord.analyses.heapacc.RelEV
fill() - Method in class chord.analyses.heapacc.RelInstFldE
fill() - Method in class chord.analyses.heapacc.RelME
fill() - Method in class chord.analyses.heapacc.RelPE
fill() - Method in class chord.analyses.heapacc.RelStatFldE
fill() - Method in class chord.analyses.heapacc.RelWriteE
fill() - Method in class chord.analyses.inst.RelMobjValAsgnInst
fill() - Method in class chord.analyses.inst.RelPobjValAsgnInst
fill() - Method in class chord.analyses.invk.RelInstI
fill() - Method in class chord.analyses.invk.RelMI
fill() - Method in class chord.analyses.invk.RelPI
fill() - Method in class chord.analyses.invk.RelSpecIM
fill() - Method in class chord.analyses.invk.RelStatIM
fill() - Method in class chord.analyses.invk.RelVirtIM
fill() - Method in class chord.analyses.lock.RelML
fill() - Method in class chord.analyses.lock.RelPL
fill() - Method in class chord.analyses.lock.RelSyncLM
fill() - Method in class chord.analyses.lock.RelSyncLV
fill() - Method in class chord.analyses.method.RelExtraEntryPoints
fill() - Method in class chord.analyses.method.RelScopeExcludedM
fill() - Method in class chord.analyses.point.DomP
fill() - Method in class chord.analyses.reflect.RelAryNewInstIH
fill() - Method in class chord.analyses.reflect.RelClsForNameIT
fill() - Method in class chord.analyses.reflect.RelClsTH
fill() - Method in class chord.analyses.type.DomT
fill() - Method in class chord.analyses.type.RelCHA
fill() - Method in class chord.analyses.type.RelCheckExcludedT
fill() - Method in class chord.analyses.type.RelSub
fill() - Method in class chord.analyses.var.RelMV
fill() - Method in class chord.project.analyses.ProgramDom
fill() - Method in class chord.project.analyses.ProgramRel
finish(Throwable) - Method in class chord.util.Execution
flush() - Method in class chord.util.ByteBufferedFile
flushOptions() - Method in class chord.util.Execution
flushOutput() - Method in class chord.util.Execution
Fmap - Variable in class chord.instr.Instrumentor
forNameSites - Variable in class chord.program.reflect.StaticReflectResolver
ForwardRHSAnalysis<PE extends IEdge,SE extends IEdge> - Class in chord.project.analyses.rhs: Implementation of the Reps-Horwitz-Sagiv algorithm for context-sensitive forward dataflow analysis.
ForwardRHSAnalysis() - Constructor for class chord.project.analyses.rhs.ForwardRHSAnalysis
free() - Method in class chord.analyses.alias.CIAliasAnalysis: Frees relations used by this program analysis if they are in memory.
free() - Method in class chord.analyses.alias.CICG: Frees relations used by this call graph if they are in memory.
free() - Method in class chord.analyses.alias.CICGAnalysis: Frees relations used by this program analysis if they are in memory.
free() - Method in class chord.analyses.alias.CSAliasAnalysis: Frees relations used by this program analysis if they are in memory.
free() - Method in class chord.analyses.alias.CSCG: Frees relations used by this call graph if they are in memory.
free() - Method in class chord.analyses.alias.CSCGAnalysis: Frees relations used by this program analysis if they are in memory.
free() - Method in class chord.bddbddb.Rel.RelView: Frees this view.

G

g() - Static method in class chord.program.Program: Provides the program's quadcode representation.
g() - Static method in class chord.project.ClassicProject
g() - Static method in class chord.project.ModernProject
g() - Static method in class chord.project.Project
genBasicBlockEvent - Variable in class chord.instr.Instrumentor
genQuadEvent - Variable in class chord.instr.Instrumentor
get(int) - Method in class chord.analyses.alias.Ctxt
get(String) - Method in class chord.instr.JavassistPool
get(int) - Method in class chord.util.IndexMap
get(int) - Method in class chord.util.IntArraySet
get(Object) - Method in class chord.util.WeakIdentityHashMap: Returns the value to which the specified key is mapped in this weak hash map, or null if the map contains no mapping for this key.
getAbsolutePath(String, String) - Static method in class chord.util.Utils
getAllPathsBuilder(Node, IPathVisitor<Node>, int, int) - Method in class chord.util.graph.AbstractGraph
getAllPathsBuilder(Node, IPathVisitor<Node>, int, int) - Method in interface chord.util.graph.IGraph
getAllPathsTo(Node) - Method in class chord.util.graph.AllPathsBuilder
getAry1ValTuples() - Method in class chord.bddbddb.Rel
getAry1ValTuples() - Method in class chord.bddbddb.Rel.RelView
getAry2IntTuples() - Method in class chord.bddbddb.Rel
getAry2ValTuples() - Method in class chord.bddbddb.Rel
getAry2ValTuples() - Method in class chord.bddbddb.Rel.RelView
getAry3IntTuples() - Method in class chord.bddbddb.Rel
getAry3ValTuples() - Method in class chord.bddbddb.Rel
getAry3ValTuples() - Method in class chord.bddbddb.Rel.RelView
getAry4IntTuples() - Method in class chord.bddbddb.Rel
getAry4ValTuples() - Method in class chord.bddbddb.Rel
getAry4ValTuples() - Method in class chord.bddbddb.Rel.RelView
getAry5IntTuples() - Method in class chord.bddbddb.Rel
getAry5ValTuples() - Method in class chord.bddbddb.Rel
getAry5ValTuples() - Method in class chord.bddbddb.Rel.RelView
getAry6IntTuples() - Method in class chord.bddbddb.Rel
getAry6ValTuples() - Method in class chord.bddbddb.Rel
getAry6ValTuples() - Method in class chord.bddbddb.Rel.RelView
getAryNIntTuples() - Method in class chord.bddbddb.Rel
getAryNValTuples() - Method in class chord.bddbddb.Rel
getAryNValTuples() - Method in class chord.bddbddb.Rel.RelView
getBackEdges() - Method in class chord.util.graph.AbstractGraph
getBackEdges() - Method in interface chord.util.graph.IGraph: Provides all back edges in a depth-first traversal of the graph reachable from the root nodes.
getBCI(BasicBlock, jq_Method) - Method in class chord.instr.Instrumentor
getBmap() - Method in class chord.instr.Instrumentor
getBooleanArg(String, boolean) - Method in class chord.util.Execution
getBootClassesDirName() - Method in class chord.instr.OfflineTransformer
getByte() - Method in class chord.util.ByteBufferedFile
getCallers(jq_Method) - Method in class chord.analyses.alias.CICG
getCallers(Ctxt, jq_Method) - Method in class chord.analyses.alias.CSCG
getCallers(jq_Method) - Method in interface chord.analyses.alias.ICICG: Provides the set of all call sites that may call a given method.
getCallers(Ctxt, jq_Method) - Method in interface chord.analyses.alias.ICSCG: Provides each jq_Method invocation site along with each abstract context from which it may call a given jq_Method in a given abstract context.
getCallGraph() - Method in class chord.analyses.alias.CICGAnalysis: Provides the program's context-insensitive call graph.
getCallGraph() - Method in class chord.analyses.alias.CSCGAnalysis: Provides the program's context-sensitive call graph.
getCallGraph() - Method in class chord.project.analyses.rhs.RHSAnalysis: Provides the call graph to be used by the analysis.
getClass(String) - Method in class chord.program.Program: Provides the quadcode representation of the given class, if it is deemed reachable, and null otherwise.
getClasses() - Method in class chord.program.Program: Provides the quadcode representation of all classes deemed reachable by analysis scope construction.
getClassHierarchy() - Method in class chord.program.Program: Provides the program's class hierarchy.
getClassNames(String) - Static method in class chord.util.Utils
getConcreteSubclasses(String) - Method in class chord.program.ClassHierarchy: Provides the set of all concrete classes that subclass/implement a given class/interface.
getConsumedDataCollections() - Method in class chord.project.AbstractStepCollection
getConsumedDataCollections() - Method in interface chord.project.IStepCollection
getConsumedRels() - Method in class chord.project.analyses.DlogAnalysis: Provides the names and signatures of all relations consumed by this Datalog analysis.
getConsumes() - Method in class chord.project.ChordAnnotParser: Provides the names of data targets specified by this Chord annotation as consumed by the associated analysis.
getContexts(jq_Method) - Method in class chord.analyses.alias.CSCG
getContexts(jq_Method) - Method in interface chord.analyses.alias.ICSCG: Provides the set of all abstract contexts in which a given method may be reachable.
getControls() - Method in class chord.project.ChordAnnotParser: Provides the names of control targets specified by this Chord annotation as produced by the associated analysis.
getCopy(PE) - Method in class chord.project.analyses.rhs.RHSAnalysis
getCspaKind() - Static method in class chord.analyses.alias.CtxtsAnalysis
getCtrlCollectionByName(String) - Method in class chord.project.ModernProject
getCtrlCollectionOfStep(String) - Method in class chord.project.ModernProject
getCurrTimeLong() - Method in class chord.util.StopWatch
getDataCollectionByName(String) - Method in class chord.project.ModernProject
getDeclaredInterfaces(String) - Method in class chord.program.ClassHierarchy
getDeclaredSuperclass(String) - Method in class chord.program.ClassHierarchy
getDlogName() - Method in class chord.project.analyses.DlogAnalysis: Provides the name of this Datalog analysis.
getDomainName(IndexMap<String>) - Method in class chord.instr.Instrumentor
getDomB() - Method in class chord.instr.Instrumentor
getDomE() - Method in class chord.instr.Instrumentor
getDomF() - Method in class chord.instr.Instrumentor
getDomH() - Method in class chord.instr.Instrumentor
getDomI() - Method in class chord.instr.Instrumentor
getDomKinds() - Method in class chord.bddbddb.RelSign: Provides the list of domain kinds (major components of domain names) specified by this signature.
getDomL() - Method in class chord.instr.Instrumentor
getDomM() - Method in class chord.instr.Instrumentor
getDomNames() - Method in class chord.bddbddb.RelSign: Provides an ordered list of domain names specified by this signature.
getDomNames() - Method in class chord.project.analyses.DlogAnalysis: Provides the names of all domains of relations consumed/produced by this Datalog analysis.
getDomOrder() - Method in class chord.bddbddb.RelSign: Provides the BDD ordering of domain names specified by this signature.
getDomP() - Method in class chord.instr.Instrumentor
getDomR() - Method in class chord.instr.Instrumentor
getDoms() - Method in class chord.bddbddb.Rel
getDoneTimeStr() - Method in class chord.util.Timer
getDoubleArg(String, double) - Method in class chord.util.Execution
getDynamicallyLoadedClasses() - Method in class chord.program.Program: Executes the program and provides a list of all dynamically loaded classes.
getElems() - Method in class chord.analyses.alias.Ctxt: Provides the sequence of statements comprising this abstract context.
getEmap() - Method in class chord.instr.Instrumentor
getEvent(int) - Method in class chord.instr.InstrScheme
getEventHandlerArgs() - Method in class chord.project.analyses.BasicDynamicAnalysis: Arguments to be passed to the event handler.
getEventHandlerArgs() - Method in class chord.project.analyses.DynamicAnalysis
getEventHandlerClass() - Method in class chord.program.reflect.DynamicReflectResolver
getEventHandlerClass() - Method in class chord.project.analyses.BasicDynamicAnalysis: The class of the event handler to be used.
getEventHandlerClass() - Method in class chord.project.analyses.DynamicAnalysis
getExclusiveTimeStr() - Method in class chord.util.Timer
getFid(CtField) - Method in class chord.instr.Instrumentor
GETFIELD_PRIMITIVE - Static variable in class chord.instr.EventKind
GETFIELD_PRIMITIVE - Static variable in class chord.instr.InstrScheme
GETFIELD_REFERENCE - Static variable in class chord.instr.EventKind
GETFIELD_REFERENCE - Static variable in class chord.instr.InstrScheme
getfieldPriEventCall - Variable in class chord.instr.Instrumentor
getfieldPrimitive(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
getfieldPrimitiveEvent - Variable in class chord.instr.Instrumentor
getfieldPrimitiveEvent(int, Object, int) - Static method in class chord.runtime.EventHandler
getfieldReference - Variable in class chord.instr.Instrumentor
getfieldReference(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
getfieldReferenceEvent - Variable in class chord.instr.Instrumentor
getfieldReferenceEvent(int, Object, int, Object) - Static method in class chord.runtime.EventHandler
getFileName() - Method in class chord.project.analyses.DlogAnalysis: Provides the file containing this Datalog analysis.
getFmap() - Method in class chord.instr.Instrumentor
getHeadToBodyMap() - Method in class chord.program.CFGLoopFinder: Provides a map from each loop header in this control-flow graph to the set of all basic blocks in that loop's body.
getHeadToExitsMap() - Method in class chord.program.CFGLoopFinder: Provides a map from each loop header in this control-flow graph to the set of all basic blocks in that loop's body that have an immediate successor outside that loop's body.
getHmap() - Method in class chord.instr.Instrumentor
getHostName() - Static method in class chord.util.Execution
getImap() - Method in class chord.instr.Instrumentor
getInclusiveTimeStr() - Method in class chord.util.Timer
getInitPathEdge(Quad, jq_Method, PE) - Method in class chord.project.analyses.rhs.RHSAnalysis
getInitPathEdges() - Method in class chord.project.analyses.rhs.RHSAnalysis
getInitTimeStr() - Method in class chord.util.Timer
getInstrKind() - Method in class chord.program.reflect.DynamicReflectResolver
getInstrKind() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
getInstrScheme() - Method in class chord.instr.Instrumentor
getInstrScheme() - Method in class chord.project.analyses.DynamicAnalysis
getInstrSchemeFileName() - Method in class chord.project.analyses.DynamicAnalysis
getInstrumentor() - Method in class chord.instr.OfflineTransformer
getInstrumentorArgs() - Method in class chord.project.analyses.BasicDynamicAnalysis: Arguments to be passed to the instrumentor.
getInstrumentorArgs() - Method in class chord.project.analyses.DynamicAnalysis
getInstrumentorClass() - Method in class chord.program.reflect.DynamicReflectResolver
getInstrumentorClass() - Method in class chord.project.analyses.BasicDynamicAnalysis: The class of the instrumentor to be used.
getInstrumentorClass() - Method in class chord.project.analyses.DynamicAnalysis
getInt() - Method in class chord.util.ByteBufferedFile
getIntArg(String, int) - Method in class chord.util.Execution
getInvkPathEdge(Quad, PE, jq_Method, SE) - Method in class chord.project.analyses.rhs.RHSAnalysis
getItemCollection() - Method in class chord.project.DefaultDataCollection
getItemCollection() - Method in interface chord.project.IDataCollection
getLabels(jq_Method, jq_Method) - Method in class chord.analyses.alias.CICG
getLabels(Pair<Ctxt, jq_Method>, Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
getLabels(Node, Node) - Method in interface chord.util.graph.ILabeledGraph: Provides the set of all labels on a given directed edge in the graph.
getLabels(Node, Node) - Method in class chord.util.graph.MutableLabeledGraph
getLastA() - Method in class chord.analyses.alloc.DomH
getLastI() - Method in class chord.analyses.alloc.DomH
getLmap() - Method in class chord.instr.Instrumentor
getLong() - Method in class chord.util.ByteBufferedFile
getLoopBody(BasicBlock) - Method in class chord.program.CFGLoopFinder: Provides the set of all basic blocks in the body of the loop specified by the given loop header.
getLoopExits(BasicBlock) - Method in class chord.program.CFGLoopFinder: Provides the set of all basic blocks in the body of the loop specified by the given loop header that have an immediate successor outside that loop's body.
getLoopHeads() - Method in class chord.program.CFGLoopFinder: Provides the set of all loop header basic blocks in this control-flow graph.
getMainMethod() - Method in class chord.program.Program: Provides the quadcode representation of the main method of the program, if it exists, and exits otherwise.
getMethod(BasicBlock) - Method in class chord.analyses.basicblock.DomB
getMethod(RegisterFactory.Register) - Method in class chord.analyses.var.DomV
getMethod(String, String, String) - Method in class chord.program.Program: Provides the quadcode representation of the given method, if it is deemed reachable, and null otherwise.
getMethod(MethodSign) - Method in class chord.program.Program: Provides the quadcode representation of the given method, if it is deemed reachable, and null otherwise.
getMethod(String) - Method in class chord.program.Program: Provides the quadcode representation of the given method, if it is deemed reachable, and null otherwise.
getMethods() - Method in class chord.program.CHA
getMethods() - Method in class chord.program.DynamicBuilder
getMethods() - Method in class chord.program.Program: Provides the quadcode representation of all methods deemed reachable by analysis scope construction.
getMethods() - Method in class chord.program.RTA
getMiscPathEdge(Quad, PE) - Method in class chord.project.analyses.rhs.RHSAnalysis
getMmap() - Method in class chord.instr.Instrumentor
getName() - Method in class chord.bddbddb.Dom
getName() - Method in class chord.bddbddb.Rel: Provides the name of this relation.
getName() - Method in class chord.project.AbstractStepCollection
getName() - Method in class chord.project.analyses.JavaAnalysis
getName() - Method in class chord.project.ChordAnnotParser: Provides the name specified by this Chord annotation of the associated analysis.
getName() - Method in class chord.project.DefaultCtrlCollection
getName() - Method in class chord.project.DefaultDataCollection
getName() - Method in interface chord.project.ICtrlCollection
getName() - Method in interface chord.project.IDataCollection
getName() - Method in interface chord.project.IStepCollection: Provides the name of this program analysis.
getName() - Method in interface chord.project.ITask: Provides the name of this analysis.
getNameToConsumeNamesMap() - Method in class chord.project.TaskParser
getNameToControlNamesMap() - Method in class chord.project.TaskParser
getNameToDlogTaskMap() - Method in class chord.project.TaskParser
getNameToJavaTaskMap() - Method in class chord.project.TaskParser
getNameToPrescriberNameMap() - Method in class chord.project.TaskParser
getNameToProduceNamesMap() - Method in class chord.project.TaskParser
getNameToSignMap() - Method in class chord.project.ChordAnnotParser: Provides a partial map specified by this Chord annotation from names of program relation targets consumed/produced by the associated analysis to their signatures.
getNameToTrgtInfosMap() - Method in class chord.project.TaskParser
getNameToTrgtSignMap() - Method in class chord.project.TrgtParser
getNameToTrgtTypeMap() - Method in class chord.project.TrgtParser
getNameToTypeMap() - Method in class chord.project.ChordAnnotParser: Provides a partial map specified by this Chord annotation from names of data targets consumed/produced by the associated analysis to their types.
getNodeMap() - Method in class chord.util.graph.AbstractGraph
getNodeMap() - Method in interface chord.util.graph.IGraph: Provides a map from each node in this graph to a unique arbitrary integer in the range [0..N] where N is the total number of nodes in the graph.
getNodes() - Method in class chord.analyses.alias.CICG
getNodes() - Method in class chord.analyses.alias.CSCG
getNodes() - Method in interface chord.util.graph.IGraph: Provides all nodes in this graph.
getNodes() - Method in class chord.util.graph.MutableGraph
getNodesInCycles() - Method in class chord.util.graph.AbstractGraph
getNodesInCycles() - Method in class chord.util.graph.CycleFindingSCCVisitor: Provides all nodes in cycles in the directed graph.
getNodesInCycles() - Method in interface chord.util.graph.IGraph: Provides all nodes of the graph reachable from the root nodes that are contained in cycles.
getNodesInRPO() - Method in class chord.util.graph.AbstractGraph
getNodesInRPO() - Method in interface chord.util.graph.IGraph: Provides all nodes in the graph reachable from the root nodes, ordered in Reverse Post Order (RPO).
getObjectId(Object) - Static method in class chord.runtime.BasicEventHandler
getOrAdd(BasicBlock, jq_Method) - Method in class chord.analyses.basicblock.DomW
getOrAdd(T) - Method in class chord.util.IndexMap: Adds and indexes a given object, unless it already exists, and provides its index in both cases in O(1) time.
getOutDir(String) - Method in class chord.instr.OfflineTransformer
getPmap() - Method in class chord.instr.Instrumentor
getPool() - Method in class chord.instr.BasicInstrumentor
getPool() - Method in class chord.instr.JavassistPool
getPool() - Method in class chord.instr.OfflineTransformer
getPreds(jq_Method) - Method in class chord.analyses.alias.CICG
getPreds(Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
getPreds(Node) - Method in interface chord.util.graph.IGraph: Provides all immediate predecessors of a given node in this graph.
getPreds(Node) - Method in class chord.util.graph.MutableGraph
getPrescribedCollections() - Method in class chord.project.DefaultCtrlCollection
getPrescribedCollections() - Method in interface chord.project.ICtrlCollection
getPrescriber() - Method in class chord.project.ChordAnnotParser: Provides the name of the control target specified by this Chord annotation as prescribing the associated analysis.
getPrescribingCollection() - Method in class chord.project.AbstractStepCollection
getPrescribingCollection() - Method in interface chord.project.IStepCollection
getPrimitiveId(int, int) - Static method in class chord.runtime.BasicEventHandler
getProducedCtrlCollections() - Method in class chord.project.AbstractStepCollection
getProducedCtrlCollections() - Method in interface chord.project.IStepCollection
getProducedDataCollections() - Method in class chord.project.AbstractStepCollection
getProducedDataCollections() - Method in interface chord.project.IStepCollection
getProducedRels() - Method in class chord.project.analyses.DlogAnalysis: Provides the names and signatures of all relations produced by this Datalog analysis.
getProduces() - Method in class chord.project.ChordAnnotParser: Provides the names of data targets specified by this Chord annotation as produced by the associated analysis.
getProducingCollections() - Method in class chord.project.DefaultDataCollection
getProducingCollections() - Method in interface chord.project.IDataCollection
getQuad(MethodElem) - Method in class chord.program.Program: Provides the first quad corresponding to the given bytecode instruction, if it exists, and null otherwise.
getQuad(MethodElem, Class) - Method in class chord.program.Program: Provides the first quad corresponding to the given bytecode instruction and of the given quad kind, if it exists, and null otherwise.
getQuad(MethodElem, Class[]) - Method in class chord.program.Program: Provides the first quad corresponding to the given bytecode instruction and of any of the given quad kinds, if it exists, and null otherwise.
getReflect() - Method in class chord.program.Program: Reflection information resolved by analysis scope construction.
getReflect() - Method in class chord.program.RTA
getResolvedAryNewInstSites() - Method in class chord.program.reflect.DynamicReflectResolver
getResolvedAryNewInstSites() - Method in class chord.program.Reflect: Provides a list containing each call to static method newInstance(Class, int) defined in class java.lang.reflect.Array, along with the types of all classes instantiated by it.
getResolvedClsForNameSites() - Method in class chord.program.reflect.DynamicReflectResolver
getResolvedClsForNameSites() - Method in class chord.program.Reflect: Provides a list containing each call to static method forName(String s) defined in class java.lang.Class, along with the types of all classes denoted by argument s.
getResolvedClsForNameSites() - Method in class chord.program.reflect.StaticReflectResolver
getResolvedConNewInstSites() - Method in class chord.program.reflect.DynamicReflectResolver
getResolvedConNewInstSites() - Method in class chord.program.Reflect: Provides a list containing each call to instance method newInstance(Object[]) defined in class java.lang.reflect.Constructor, along with the types of all classes instantiated by it.
getResolvedObjNewInstSites() - Method in class chord.program.reflect.DynamicReflectResolver
getResolvedObjNewInstSites() - Method in class chord.program.Reflect: Provides a list containing each call to instance method newInstance() defined in class java.lang.Class, along with the types of all classes instantiated by it.
getResolvedObjNewInstSites() - Method in class chord.program.reflect.StaticReflectResolver
getResource(String) - Method in class chord.instr.JavassistPool
getResourceAsReader(String) - Static method in class chord.util.Utils
getResourceAsStream(String) - Static method in class chord.util.Utils
getRmap() - Method in class chord.instr.Instrumentor
getRoots() - Method in class chord.analyses.alias.CICG
getRoots() - Method in class chord.analyses.alias.CSCG
getRoots() - Method in interface chord.util.graph.IGraph: Provides all root nodes of this graph.
getRoots() - Method in class chord.util.graph.MutableGraph
getRuntime() - Method in class chord.project.ModernProject
getSCCs() - Method in class chord.util.graph.SCCFindingVisitor: Provides all SCCs of the directed graph.
getShortestPathsBuilder(Node, IPathVisitor<Node>) - Method in class chord.util.graph.AbstractGraph
getShortestPathsBuilder(Node, IPathVisitor<Node>) - Method in interface chord.util.graph.IGraph
getShortestPathTo(Node) - Method in class chord.util.graph.ShortestPathBuilder
getSign() - Method in class chord.bddbddb.Rel: Provides the signature of this relation.
getSign(String) - Method in class chord.project.ModernProject
getSimpleCycles(IGraphEntityVisitor<Node>) - Method in class chord.util.graph.AbstractGraph
getSimpleCycles(IGraphEntityVisitor<Node>) - Method in interface chord.util.graph.IGraph: Computes all simple cycles of this graph.
GETSTATIC_PRIMITIVE - Static variable in class chord.instr.EventKind
GETSTATIC_PRIMITIVE - Static variable in class chord.instr.InstrScheme
GETSTATIC_REFERENCE - Static variable in class chord.instr.EventKind
GETSTATIC_REFERENCE - Static variable in class chord.instr.InstrScheme
getstaticPriEventCall - Variable in class chord.instr.Instrumentor
getstaticPrimitive(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
getstaticPrimitiveEvent - Variable in class chord.instr.Instrumentor
getstaticPrimitiveEvent(int, Object, int) - Static method in class chord.runtime.EventHandler
getstaticRefEcentCall - Variable in class chord.instr.Instrumentor
getstaticReference(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
getstaticReferenceEvent - Variable in class chord.instr.Instrumentor
getstaticReferenceEvent(int, Object, int, Object) - Static method in class chord.runtime.EventHandler
getStepCollectionByName(String) - Method in class chord.project.ModernProject
getString() - Method in class chord.util.ByteBufferedFile
getStringArg(String, String) - Method in class chord.util.Execution
getSuccs(jq_Method) - Method in class chord.analyses.alias.CICG
getSuccs(Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
getSuccs(Node) - Method in interface chord.util.graph.IGraph: Provides all immediate successors of a given node in this graph.
getSuccs(Node) - Method in class chord.util.graph.MutableGraph
getSummaryEdge(jq_Method, PE) - Method in class chord.project.analyses.rhs.RHSAnalysis
getTargets(Quad) - Method in class chord.analyses.alias.CICG
getTargets(Ctxt, Quad) - Method in class chord.analyses.alias.CSCG
getTargets(Quad) - Method in interface chord.analyses.alias.ICICG: Provides the set of all methods that may be called by a given call site.
getTargets(Ctxt, Quad) - Method in interface chord.analyses.alias.ICSCG: Provides the set containing each method along with each abstract context in which it may be called by a given call site in a given abstract context.
getTask(String) - Method in class chord.project.ClassicProject
getTaskProducingTrgt(Object) - Method in class chord.project.ClassicProject
getThreadStartMethod() - Method in class chord.program.Program: Provides the quadcode representation of the start() method of class java.lang.Thread, if it is deemed reachable, and null otherwise.
getTimeout() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
getTimeStr(long) - Static method in class chord.util.Timer
getTopSortedSCCs() - Method in class chord.util.graph.AbstractGraph
getTopSortedSCCs() - Method in interface chord.util.graph.IGraph: Provides the list of Strongly Connected Components (SCCs) of the graph reachable from its root nodes, sorted in topological order.
getTraceBlockSize() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
getTraceFileName(String, int, String) - Method in class chord.project.analyses.BasicDynamicAnalysis
getTraceFileName(String, int) - Method in class chord.project.analyses.BasicDynamicAnalysis
getTraceFileName(int) - Method in class chord.project.analyses.BasicDynamicAnalysis
getTraceFileName(int, String) - Method in class chord.project.analyses.BasicDynamicAnalysis
getTraceKind() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
getTraceTransformers() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
getTraceTransformers() - Method in class chord.project.analyses.DynamicAnalysis
getTrgt(String) - Method in class chord.project.ClassicProject
getType(Quad) - Static method in class chord.analyses.alloc.DomH
getType(String) - Method in class chord.program.Program: The quadcode representation of the given type, if it is deemed reachable, and null otherwise.
getTypes() - Method in class chord.program.Program: Provides The quadcode representation of all types deemed reachable.
getUniqueStringMap(ProgramDom<T>) - Method in class chord.instr.Instrumentor
getUserClassesDirName() - Method in class chord.instr.OfflineTransformer
getView() - Method in class chord.bddbddb.Rel: Provides a fresh view of the relation.
global_kcfaValue - Static variable in class chord.analyses.alias.CtxtsAnalysis
global_kobjValue - Static variable in class chord.analyses.alias.CtxtsAnalysis
GraphEntityVisitorException - Exception in chord.util.graph: Exception that may be thrown by a client of IGraphEntityVisitor to terminate the visitor's traversal.
GraphEntityVisitorException() - Constructor for exception chord.util.graph.GraphEntityVisitorException
grow(int) - Method in class chord.analyses.argret.DomZ
grow() - Method in class chord.util.IntArraySet: Double the capacity of the internal array.

H

haltOnErr() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
handleEvent(ByteBufferedFile) - Method in class chord.program.reflect.DynamicReflectResolver
handleEvent(ByteBufferedFile) - Method in class chord.project.analyses.BasicDynamicAnalysis
handleEvent(ByteBufferedFile) - Method in class chord.project.analyses.DynamicAnalysis
hasAloadEvent() - Method in class chord.instr.InstrScheme
hasArrayEvent() - Method in class chord.instr.InstrScheme
hasAstoreEvent() - Method in class chord.instr.InstrScheme
hasBaseObj() - Method in class chord.instr.InstrScheme.EventFormat
hasBasicBlockEvent() - Method in class chord.instr.InstrScheme
hasCycles() - Method in class chord.util.graph.AbstractGraph
hasCycles() - Method in interface chord.util.graph.IGraph: Determines whether the graph reachable from the root nodes contains any cycles.
hasDuplicates(List<T>) - Static method in class chord.util.Utils: Determines whether a given collection contains duplicate values.
hasDuplicates(T[]) - Static method in class chord.util.Utils: Determines whether a given array contains duplicate values.
hasEdge(jq_Method, jq_Method) - Method in class chord.analyses.alias.CICG
hasEdge(Pair<Ctxt, jq_Method>, Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
hasEdge(Node, Node) - Method in interface chord.util.graph.IGraph: Determines whether this graph contains a given directed edge.
hasEdge(Node, Node) - Method in class chord.util.graph.MutableGraph
hasEnterAndLeaveLoopEvent() - Method in class chord.instr.InstrScheme
hasFieldEvent() - Method in class chord.instr.InstrScheme
hasFld() - Method in class chord.instr.InstrScheme.EventFormat
hasGetfieldEvent() - Method in class chord.instr.InstrScheme
hasGetstaticEvent() - Method in class chord.instr.InstrScheme
hashCode() - Method in class chord.analyses.alias.CIObj
hashCode() - Method in class chord.analyses.alias.CSObj
hashCode() - Method in class chord.analyses.alias.Ctxt
hashCode() - Method in class chord.bddbddb.Dom
hashCode() - Method in class chord.program.Location
hashCode() - Method in class chord.program.PhantomClsVal
hashCode() - Method in class chord.program.PhantomObjVal
hashCode() - Method in class chord.util.ArraySet
hashCode() - Method in class chord.util.graph.AbstractGraph
hashCode() - Method in class chord.util.IntArraySet
hashCode() - Method in class chord.util.tuple.integer.IntHext
hashCode() - Method in class chord.util.tuple.integer.IntPair
hashCode() - Method in class chord.util.tuple.integer.IntPent
hashCode() - Method in class chord.util.tuple.integer.IntQuad
hashCode() - Method in class chord.util.tuple.integer.IntTrio
hashCode() - Method in class chord.util.tuple.object.Hext
hashCode() - Method in class chord.util.tuple.object.Pair
hashCode() - Method in class chord.util.tuple.object.Pent
hashCode() - Method in class chord.util.tuple.object.Quad
hashCode() - Method in class chord.util.tuple.object.Trio
hasIdx() - Method in class chord.instr.InstrScheme.EventFormat
hasLoc() - Method in class chord.instr.InstrScheme.EventFormat
hasNext() - Method in class chord.bddbddb.Rel.TupleIterator
hasNode(jq_Method) - Method in class chord.analyses.alias.CICG
hasNode(Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
hasNode(Node) - Method in interface chord.util.graph.IGraph: Determines whether this graph contains a given node.
hasNode(Node) - Method in class chord.util.graph.MutableGraph
hasObj() - Method in class chord.instr.InstrScheme.EventFormat
hasPutfieldEvent() - Method in class chord.instr.InstrScheme
hasPutstaticEvent() - Method in class chord.instr.InstrScheme
hasQuadEvent() - Method in class chord.instr.InstrScheme
hasRoot(jq_Method) - Method in class chord.analyses.alias.CICG
hasRoot(Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
hasRoot(Node) - Method in interface chord.util.graph.IGraph: Determines whether this graph contains a given node as a root node.
hasRoot(Node) - Method in class chord.util.graph.MutableGraph
hasStaticEvent() - Method in class chord.instr.InstrScheme
hasThr() - Method in class chord.instr.InstrScheme.EventFormat
head() - Method in class chord.analyses.alias.Ctxt
Hext<T0,T1,T2,T3,T4,T5> - Class in chord.util.tuple.object: An ordered 6-tuple of objects.
Hext(T0, T1, T2, T3, T4, T5) - Constructor for class chord.util.tuple.object.Hext
Hmap - Variable in class chord.instr.Instrumentor
hmap - Variable in class chord.util.IndexMap
hset - Variable in class chord.util.IndexSet
HTMLizeJavaSrcFiles() - Method in class chord.program.Program: Converts and dumps the program's Java source files specified by property chord.src.path to HTML files in the directory specified by property chord.out.dir.

I

IAcqLockInstVisitor - Interface in chord.program.visitors: Visitor over all monitorenter statements in all methods in the program.
ic - Variable in class chord.project.DefaultDataCollection
ICastInstVisitor - Interface in chord.program.visitors: Visitor over all cast assignment statements in all methods in the program.
ICICG - Interface in chord.analyses.alias: Specification of a context-insensitive call graph.
IClassVisitor - Interface in chord.program.visitors: Visitor over all classes in the program.
ICSCG - Interface in chord.analyses.alias: Specification of a context-sensitive call graph.
ICtrlCollection - Interface in chord.project
IDataCollection - Interface in chord.project
idx0 - Variable in class chord.util.tuple.integer.IntHext: The 1st integer in the ordered 6-tuple.
idx0 - Variable in class chord.util.tuple.integer.IntPair: The 0th integer in the ordered 2-tuple.
idx0 - Variable in class chord.util.tuple.integer.IntPent: The 0th integer in the ordered 5-tuple.
idx0 - Variable in class chord.util.tuple.integer.IntQuad: The 0th integer in the ordered 4-tuple.
idx0 - Variable in class chord.util.tuple.integer.IntTrio: The 0th integer in the ordered 3-tuple.
idx1 - Variable in class chord.util.tuple.integer.IntHext: The 2nd integer in the ordered 6-tuple.
idx1 - Variable in class chord.util.tuple.integer.IntPair: The 1st integer in the ordered 2-tuple.
idx1 - Variable in class chord.util.tuple.integer.IntPent: The 1st integer in the ordered 5-tuple.
idx1 - Variable in class chord.util.tuple.integer.IntQuad: The 1st integer in the ordered 4-tuple.
idx1 - Variable in class chord.util.tuple.integer.IntTrio: The 1st integer in the ordered 3-tuple.
idx2 - Variable in class chord.util.tuple.integer.IntHext: The 3rd integer in the ordered 6-tuple.
idx2 - Variable in class chord.util.tuple.integer.IntPent: The 2nd integer in the ordered 5-tuple.
idx2 - Variable in class chord.util.tuple.integer.IntQuad: The 2nd integer in the ordered 4-tuple.
idx2 - Variable in class chord.util.tuple.integer.IntTrio: The 2nd integer in the ordered 3-tuple.
idx3 - Variable in class chord.util.tuple.integer.IntHext: The 4th integer in the ordered 6-tuple.
idx3 - Variable in class chord.util.tuple.integer.IntPent: The 3rd integer in the ordered 5-tuple.
idx3 - Variable in class chord.util.tuple.integer.IntQuad: The 3rd integer in the ordered 4-tuple.
idx4 - Variable in class chord.util.tuple.integer.IntHext: The 5th integer in the ordered 6-tuple.
idx4 - Variable in class chord.util.tuple.integer.IntPent: The 4th integer in the ordered 5-tuple.
idx5 - Variable in class chord.util.tuple.integer.IntHext: The 6th integer in the ordered 6-tuple.
IEdge - Interface in chord.project.analyses.rhs: Specification of a path edge or a summary edge in the Reps-Horwitz-Sagiv algorithm for context-sensitive dataflow analysis.
IFieldVisitor - Interface in chord.program.visitors: Visitor over all fields of all classes in the program.
IGraph<Node> - Interface in chord.util.graph: Specification of an immutable, unlabeled, directed graph with useful operations on it.
IGraphEntityVisitor<Node> - Interface in chord.util.graph: Specification of a visitor over entities of a directed graph.
IHeapInstVisitor - Interface in chord.program.visitors: Visitor over all heap accessing statements in all methods in the program.
IInstVisitor - Interface in chord.program.visitors: Visitor over all statements in all methods in the program.
IInvokeInstVisitor - Interface in chord.program.visitors: Visitor over all method invocation statements in all methods in the program.
ILabeledGraph<Node,Label> - Interface in chord.util.graph: Specification of an immutable, labeled, directed graph with useful operations on it.
Imap - Variable in class chord.instr.Instrumentor
IMethodVisitor - Interface in chord.program.visitors: Visitor over all methods of all classes in the program.
IMoveInstVisitor - Interface in chord.program.visitors: Visitor over all copy assignment statements in all methods in the program.
IMPLICIT_THROW - Static variable in class chord.instr.EventKind
IMPLICIT_THROW - Static variable in class chord.instr.InstrScheme
implicitThrowEvent(Object) - Static method in class chord.runtime.EventHandler
IMutableGraph<Node> - Interface in chord.util.graph: Specification of a mutable, unlabeled, directed graph with useful operations on it.
IMutableLabeledGraph<Node,Label> - Interface in chord.util.graph: Specification of a mutable, labeled, directed graph with useful operations on it.
IndexMap<T> - Class in chord.util: Implementation for indexing a set of objects by the order in which the objects are added to the set.
IndexMap(int) - Constructor for class chord.util.IndexMap
IndexMap() - Constructor for class chord.util.IndexMap
indexOf(Object) - Method in class chord.util.IndexMap: Provides the index of a given object, if it exists, and -1 otherwise in O(1) time.
IndexSet<T> - Class in chord.util: Implementation for indexing a set of objects by the order in which the objects are added to the set.
IndexSet(int) - Constructor for class chord.util.IndexSet
IndexSet() - Constructor for class chord.util.IndexSet
INewInstVisitor - Interface in chord.program.visitors: Visitor over all new/newarray statements in all methods in the program.
init() - Method in class chord.analyses.alloc.DomH
init() - Method in class chord.analyses.argret.DomZ
init() - Method in class chord.analyses.basicblock.DomB
init() - Method in class chord.analyses.field.DomF
init() - Method in class chord.analyses.heapacc.DomE
init() - Method in class chord.analyses.inst.RelMcheckCastInst
init() - Method in class chord.analyses.inst.RelMgetClassInvkInst
init() - Method in class chord.analyses.inst.RelMgetInstFldInst
init() - Method in class chord.analyses.inst.RelMgetStatFldInst
init() - Method in class chord.analyses.inst.RelMputInstFldInst
init() - Method in class chord.analyses.inst.RelMputStatFldInst
init() - Method in class chord.analyses.inst.RelPgetInstFldInst
init() - Method in class chord.analyses.inst.RelPgetStatFldInst
init() - Method in class chord.analyses.inst.RelPputInstFldInst
init() - Method in class chord.analyses.inst.RelPputStatFldInst
init() - Method in class chord.analyses.invk.DomI
init() - Static method in class chord.analyses.invk.StubRewrite
init() - Method in class chord.analyses.lock.DomL
init() - Method in class chord.analyses.lock.DomR
init() - Method in class chord.analyses.lock.RelLE
init() - Method in class chord.analyses.lock.RelLI
init() - Method in class chord.analyses.lock.RelLL
init() - Method in class chord.analyses.method.DomM
init() - Method in class chord.analyses.point.RelPP
init() - Method in class chord.analyses.var.DomV
init() - Method in class chord.analyses.var.RelVT
init() - Method in class chord.project.analyses.ProgramDom
init() - Method in class chord.project.analyses.ProgramRel
init() - Method in class chord.project.analyses.rhs.RHSAnalysis
init(String) - Static method in class chord.runtime.BasicEventHandler: Method signaling the start of event handling by a dynamic analysis.
init(String) - Static method in class chord.runtime.EventHandler
init(String) - Static method in class chord.runtime.TraceEventHandler: This method is called during handing of JVMTI event "VMInit".
init() - Method in class chord.util.Timer
initAbortedVars(boolean) - Method in class chord.program.reflect.StaticReflectResolver
initAllPasses() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
initAllPasses() - Method in class chord.util.Alarm
initForNameAndNewInstSites() - Method in class chord.program.reflect.StaticReflectResolver
initialize() - Method in class chord.bddbddb.Rel
initNewPass() - Method in class chord.util.Alarm
initPass() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
insertBefore(int) - Method in class chord.instr.BasicInstrumentor: Provides a hook to insert instrumentation just before the specified bytecode instruction in its containing method.
insertBefore(int) - Method in class chord.instr.Instrumentor
insertEdge(Node, Node) - Method in interface chord.util.graph.IMutableGraph: Inserts a given directed edge into the graph, also inserting the nodes of the edge if they do not exist in the graph.
insertEdge(Node, Node) - Method in class chord.util.graph.MutableGraph
insertEdgeStrict(Node, Node) - Method in interface chord.util.graph.IMutableGraph: Inserts a given directed edge into the graph, presuming that the nodes of the edge exist in the graph.
insertEdgeStrict(Node, Node) - Method in class chord.util.graph.MutableGraph
insertLabel(Node, Node, Label) - Method in interface chord.util.graph.IMutableLabeledGraph: Inserts a given label on a given directed edge in the graph, also inserting the edge and the nodes of the edge if they do not exist in the graph.
insertLabel(Node, Node, Label) - Method in class chord.util.graph.MutableLabeledGraph
insertNode(Node) - Method in interface chord.util.graph.IMutableGraph: Inserts a given node as a non-root node into the graph.
insertNode(Node) - Method in class chord.util.graph.MutableGraph
insertRoot(Node) - Method in interface chord.util.graph.IMutableGraph: Inserts a given node as a root node into the graph.
insertRoot(Node) - Method in class chord.util.graph.MutableGraph
insertRootStrict(Node) - Method in interface chord.util.graph.IMutableGraph: Designates a given node in the graph as a root node.
insertRootStrict(Node) - Method in class chord.util.graph.MutableGraph
INSTR_SCHEME_FILE_KEY - Static variable in class chord.instr.InstrScheme
instrKind - Static variable in class chord.project.Config
InstrScheme - Class in chord.instr: Scheme specifying the kind and format of events to be generated during an instrumented program's execution.
InstrScheme() - Constructor for class chord.instr.InstrScheme
InstrScheme.EventFormat - Class in chord.instr
InstrScheme.EventFormat() - Constructor for class chord.instr.InstrScheme.EventFormat
instrSchemeFileName - Static variable in class chord.project.Config
Instrumentor - Class in chord.instr: Bytecode instrumentor for instrumenting a variety of common events.
Instrumentor(Map<String, String>) - Constructor for class chord.instr.Instrumentor
INSTRUMENTOR_CLASS_KEY - Static variable in class chord.instr.BasicInstrumentor
instrumentorArgs - Variable in class chord.project.analyses.BasicDynamicAnalysis
IntArraySet - Class in chord.util: A resizable, array-backed list of int primitives.
IntArraySet() - Constructor for class chord.util.IntArraySet
IntArraySet(int) - Constructor for class chord.util.IntArraySet
IntArraySet(IntArraySet) - Constructor for class chord.util.IntArraySet
IntHext - Class in chord.util.tuple.integer: An ordered 6-tuple of integers.
IntHext(int, int, int, int, int, int) - Constructor for class chord.util.tuple.integer.IntHext
IntPair - Class in chord.util.tuple.integer: An ordered 2-tuple of integers.
IntPair(int, int) - Constructor for class chord.util.tuple.integer.IntPair
IntPent - Class in chord.util.tuple.integer: An ordered 5-tuple of integers.
IntPent(int, int, int, int, int) - Constructor for class chord.util.tuple.integer.IntPent
IntQuad - Class in chord.util.tuple.integer: An ordered 4-tuple of integers.
IntQuad(int, int, int, int) - Constructor for class chord.util.tuple.integer.IntQuad
IntTrio - Class in chord.util.tuple.integer: An ordered 3-tuple of integers.
IntTrio(int, int, int) - Constructor for class chord.util.tuple.integer.IntTrio
invkQuadToLoc - Variable in class chord.project.analyses.rhs.RHSAnalysis
IPathVisitor<Node> - Interface in chord.util.graph: Specification of a visitor over edges in a path of a directed graph.
IPhiInstVisitor - Interface in chord.program.visitors: Visitor over all phi statements in all methods in the program.
IRelLockInstVisitor - Interface in chord.program.visitors: Visitor over all monitorexit statements in all methods in the program.
IReturnInstVisitor - Interface in chord.program.visitors: Visitor over all return statements in all methods in the program.
isAft() - Method in class chord.instr.InstrScheme.EventFormat
isBef() - Method in class chord.instr.InstrScheme.EventFormat
isBootResource(String) - Method in class chord.instr.JavassistPool
isConnected() - Method in class chord.util.graph.AbstractGraph
isConnected() - Method in interface chord.util.graph.IGraph: Determines whether each node in the graph is reachable from some root node.
isDone() - Method in class chord.util.ByteBufferedFile
isEmpty() - Method in class chord.util.IntArraySet: Tests whether this list contains any values.
isEmpty() - Method in class chord.util.WeakIdentityHashMap: Returns true if this map contains no key-value mappings.
isExcluded(String) - Method in class chord.instr.BasicInstrumentor
isExcludedFromCheck(String) - Static method in class chord.project.Config
isExcludedFromScope(String) - Static method in class chord.project.Config
isExplicitlyExcluded(String) - Method in class chord.instr.BasicInstrumentor
isForward() - Method in class chord.project.analyses.rhs.BackwardRHSAnalysis
isForward() - Method in class chord.project.analyses.rhs.ForwardRHSAnalysis
isForward - Variable in class chord.project.analyses.rhs.RHSAnalysis
isForward() - Method in class chord.project.analyses.rhs.RHSAnalysis: Determines whether this analysis is a forward analysis (as opposed to a backward analysis.
isImplicitlyExcluded(String) - Method in class chord.instr.BasicInstrumentor
isInited - Variable in class chord.project.analyses.rhs.RHSAnalysis
isMainClass - Variable in class chord.instr.BasicInstrumentor
isOpen() - Method in class chord.bddbddb.Rel: Determines whether the relation in memory is initialized.
isOutOfScope(String) - Static method in class chord.analyses.method.RelScopeExcludedM
isOutOfScope(jq_Method) - Static method in class chord.analyses.method.RelScopeExcludedM
isRelevant(Quad) - Static method in class chord.instr.Instrumentor
isRunning() - Method in class chord.util.StopWatch
isSubclass(Class, Class) - Static method in class chord.util.Utils: Determines whether a given class is a subclass of another.
isTaskDone(ITask) - Method in class chord.project.ClassicProject
isTaskDone(String) - Method in class chord.project.ClassicProject
IStepCollection - Interface in chord.project
isTrgtDone(Object) - Method in class chord.project.ClassicProject
isTrgtDone(String) - Method in class chord.project.ClassicProject
isUserResource(String) - Method in class chord.instr.JavassistPool
it - Variable in class chord.bddbddb.Rel.TupleIterator
ITask - Interface in chord.project: Specification of an analysis.
iterableToSet(Iterable<T>, int) - Static method in class chord.util.SetUtils: Create a set from the given iterable of the given estimated size.
iterator() - Method in class chord.bddbddb.Rel.AryNIterable
iterator() - Method in class chord.bddbddb.Rel.HextIterable
iterator() - Method in class chord.bddbddb.Rel.IntAryNIterable
iterator() - Method in class chord.bddbddb.Rel.IntHextIterable
iterator() - Method in class chord.bddbddb.Rel.IntPairIterable
iterator() - Method in class chord.bddbddb.Rel.IntPentIterable
iterator() - Method in class chord.bddbddb.Rel.IntQuadIterable
iterator() - Method in class chord.bddbddb.Rel.IntTrioIterable
iterator() - Method in class chord.bddbddb.Rel.PairIterable
iterator() - Method in class chord.bddbddb.Rel.PentIterable
iterator() - Method in class chord.bddbddb.Rel.QuadIterable
iterator() - Method in class chord.bddbddb.Rel.SelfIterable
iterator() - Method in class chord.bddbddb.Rel.TrioIterable
iterator() - Method in class chord.util.IndexMap
iterator() - Method in class chord.util.IndexSet
iterBdd - Variable in class chord.bddbddb.Rel

J

JavaAnalysis - Class in chord.project.analyses: Generic implementation of a Java task (a program analysis expressed in Java).
JavaAnalysis() - Constructor for class chord.project.analyses.JavaAnalysis
javaAnalysisPathName - Static variable in class chord.project.Config
javaClassPathName - Static variable in class chord.project.Config
javadocURL - Static variable in class chord.project.Config
JavassistPool - Class in chord.instr: Class pool specifying program classpath for Javassist bytecode instrumentor.
JavassistPool() - Constructor for class chord.instr.JavassistPool
jInstrAgentFileName - Static variable in class chord.project.Config
join(T[]) - Static method in class chord.util.Execution
join(List<T>, String) - Static method in class chord.util.Utils
join(List<T>, String, int, int) - Static method in class chord.util.Utils
jvmargs - Static variable in class chord.project.Config

K

KCFASEN - Static variable in class chord.analyses.alias.CtxtsAnalysis
keySet() - Method in class chord.util.WeakIdentityHashMap: Returns a set view of the keys contained in this map.
KOBJSEN - Static variable in class chord.analyses.alias.CtxtsAnalysis

L

last() - Method in class chord.analyses.alias.Ctxt
lastA - Variable in class chord.analyses.alloc.DomH
lastI - Variable in class chord.analyses.alloc.DomH
LEAVE_METHOD - Static variable in class chord.instr.EventKind
LEAVE_METHOD - Static variable in class chord.instr.InstrScheme
leaveMethodEvent - Variable in class chord.instr.Instrumentor
leaveMethodEvent(int) - Static method in class chord.runtime.EventHandler
leaveMethodEventCall - Variable in class chord.instr.Instrumentor
length() - Method in class chord.analyses.alias.Ctxt
list - Variable in class chord.util.IndexMap
list - Variable in class chord.util.IndexSet
LIST_SEPARATOR - Static variable in class chord.util.Utils
Lmap - Variable in class chord.instr.Instrumentor
load(String) - Method in class chord.bddbddb.Rel: Copies this relation from disk to memory.
load(String) - Static method in class chord.instr.InstrScheme
load() - Method in class chord.project.analyses.ProgramRel
loadClass(String) - Method in class chord.program.Program: Loads the given class, if it is not already loaded, and provides its quadcode representation.
LoadedClassesInstrumentor - Class in chord.program: Bytecode instrumentor for determining all loaded classes.
LoadedClassesInstrumentor(Map<String, String>) - Constructor for class chord.program.LoadedClassesInstrumentor
Location - Class in chord.program: Representation of the location of a statement.
Location(jq_Method, BasicBlock, int, Quad) - Constructor for class chord.program.Location
location - Variable in class chord.project.TrgtInfo
log(String, Object...) - Static method in class chord.project.Messages
logs(String, Object...) - Method in class chord.util.Execution

M

m - Variable in class chord.program.Location
main(String[]) - Static method in class chord.project.Boot
Main - Class in chord.project: Entry point of Chord after JVM settings are resolved.
Main() - Constructor for class chord.project.Main
main(String[]) - Static method in class chord.project.Main
main(String[]) - Static method in class chord.util.Alarm
mainClassName - Static variable in class chord.project.Config
mainDirName - Static variable in class chord.project.Config
mainMethod - Variable in class chord.instr.Instrumentor
matchesSrcNodeOf(IEdge) - Method in interface chord.project.analyses.rhs.IEdge: Determines whether the source node of a given path or summary edge is identical to the source node of this edge.
max - Variable in class chord.util.StatFig
MAX_NUM_EVENT_FORMATS - Static variable in class chord.instr.InstrScheme
maxConsSize - Static variable in class chord.project.Config
maxHeap - Static variable in class chord.project.Config
maxStack - Static variable in class chord.project.Config
MAXZ - Static variable in class chord.analyses.argret.DomK
mayAlias(CIObj) - Method in class chord.analyses.alias.CIObj: Determines whether this abstract object may alias with a given abstract object.
mayAlias(CSObj) - Method in class chord.analyses.alias.CSObj: Determines whether this abstract object may alias with a given abstract object.
maybeReplaceCallDest(jq_Method) - Static method in class chord.analyses.invk.StubRewrite
mDesc - Variable in class chord.program.MethodSign
mean() - Method in class chord.util.StatFig
mergeWith(IEdge) - Method in interface chord.project.analyses.rhs.IEdge: Merges the given path or summary edge with this edge.
Messages - Class in chord.project: Utility for logging messages during Chord's execution.
METHOD_CALL - Static variable in class chord.instr.InstrScheme
methodCallEvent - Variable in class chord.instr.Instrumentor
MethodElem - Class in chord.program: Representation of the unique identifier of any bytecode instruction in any method in the program.
MethodElem(int, String, String, String) - Constructor for class chord.program.MethodElem: Creates the representation of the unique identifier of the given bytecode instruction.
methodsFileName - Static variable in class chord.project.Config
MethodSign - Class in chord.program: Representation of the unique identifier of any field or method in the program.
MethodSign(String, String, String) - Constructor for class chord.program.MethodSign: Creates the representation of the unique identifier of the given field/method.
min - Variable in class chord.util.StatFig
MISSING_FIELD_VAL - Static variable in class chord.runtime.EventHandler
mkdirs(String) - Static method in class chord.util.Utils
mkdirs(String, String) - Static method in class chord.util.Utils
mkdirs(File) - Static method in class chord.util.Utils
Mmap - Variable in class chord.instr.Instrumentor
mName - Variable in class chord.program.MethodSign
ModernProject - Class in chord.project: A Chord project comprising a set of tasks and a set of targets produced/consumed by those tasks.
ms - Variable in class chord.util.StopWatch
MutableGraph<Node> - Class in chord.util.graph: Complete implementation of a mutable, unlabeled, directed graph with useful operations on it.
MutableGraph() - Constructor for class chord.util.graph.MutableGraph: Constructs an empty mutable, unlabeled, directed graph.
MutableGraph(IGraph<Node>) - Constructor for class chord.util.graph.MutableGraph: Constructs a mutable, unlabeled directed graph as a copy of the specified graph.
MutableGraph(Set<Node>, Map<Node, Set<Node>>, Map<Node, Set<Node>>) - Constructor for class chord.util.graph.MutableGraph: Constructs a mutable, unlabeled, directed graph with the provided roots, nodes, and edges.
MutableLabeledGraph<Node,Label> - Class in chord.util.graph: Complete implementation of a mutable, labeled, directed graph with useful operations on it.
MutableLabeledGraph() - Constructor for class chord.util.graph.MutableLabeledGraph: Constructs an empty mutable, labeled, directed graph.
MutableLabeledGraph(Set<Node>, Map<Node, Set<Node>>, Map<Node, Set<Node>>, Map<Pair<Node, Node>, Set<Label>>) - Constructor for class chord.util.graph.MutableLabeledGraph: Constructs a mutable, labeled, directed graph with the specified roots, nodes, edges, and labels on edges.

N

n - Variable in class chord.util.StatFig
n - Variable in class chord.util.StopWatch
name - Variable in class chord.bddbddb.Dom
name - Variable in class chord.bddbddb.Rel
name - Variable in class chord.project.AbstractStepCollection
name - Variable in class chord.project.analyses.JavaAnalysis
name - Variable in class chord.project.DefaultCtrlCollection
name() - Method in class chord.project.DefaultCtrlCollection
name - Variable in class chord.project.DefaultDataCollection
name - Variable in class chord.util.Timer
needNewIter() - Method in class chord.program.reflect.CastBasedStaticReflect
needNewIter() - Method in class chord.program.reflect.StaticReflectResolver: Used to cue RTA to do a new iteration
needsBmap() - Method in class chord.instr.InstrScheme
needsEmap() - Method in class chord.instr.InstrScheme
needsFmap() - Method in class chord.instr.InstrScheme
needsHmap() - Method in class chord.instr.InstrScheme
needsImap() - Method in class chord.instr.InstrScheme
needsLmap() - Method in class chord.instr.InstrScheme
needsMmap() - Method in class chord.instr.InstrScheme
needsPmap() - Method in class chord.instr.InstrScheme
needsRmap() - Method in class chord.instr.InstrScheme
needsTraceTransform() - Method in class chord.instr.InstrScheme
NEW - Static variable in class chord.instr.InstrScheme
NEWARRAY - Static variable in class chord.instr.EventKind
NEWARRAY - Static variable in class chord.instr.InstrScheme
newArrayEvent - Variable in class chord.instr.Instrumentor
newArrayEvent(int, Object) - Static method in class chord.runtime.EventHandler
newArrayEventCall - Variable in class chord.instr.Instrumentor
newEvent - Variable in class chord.instr.Instrumentor
newInstSites - Variable in class chord.program.reflect.StaticReflectResolver
newPrintWriter(String) - Static method in class chord.project.OutDirUtils
newSet() - Static method in class chord.util.SetUtils: Create a new set of the default estimated size.
newSet(int) - Static method in class chord.util.SetUtils: Create a new set of the given estimated size.
newSet(Set<T>) - Static method in class chord.util.SetUtils: Create a copy of the given set.
nodesToLabels - Variable in class chord.util.graph.MutableLabeledGraph: Map from each pair of nodes (u,v) to the set containing each label l such that u->v is an edge labeled l in the graph.
nodeToPreds - Variable in class chord.util.graph.MutableGraph: Map from each node in the graph to the set of all its immediate predecessors.
nodeToSuccs - Variable in class chord.util.graph.MutableGraph: Map from each node in the graph to the set of all its immediate successors.
NOTIFY - Static variable in class chord.instr.EventKind
NOTIFY - Static variable in class chord.instr.InstrScheme
NOTIFY_ALL - Static variable in class chord.instr.EventKind
notifyAllEvent(int, Object) - Static method in class chord.runtime.EventHandler
notifyAllEventCall - Variable in class chord.instr.Instrumentor
notifyEvent - Variable in class chord.instr.Instrumentor
notifyEvent(int, Object) - Static method in class chord.runtime.EventHandler
notifyEventCall - Variable in class chord.instr.Instrumentor
numArgs - Variable in class chord.program.reflect.StaticReflectResolver
numDoms - Variable in class chord.bddbddb.Rel
numNodes() - Method in class chord.analyses.alias.CICG
numNodes() - Method in class chord.analyses.alias.CSCG
numNodes() - Method in interface chord.util.graph.IGraph: Provides the total number of nodes in this graph.
numNodes() - Method in class chord.util.graph.MutableGraph
numPreds(jq_Method) - Method in class chord.analyses.alias.CICG
numPreds(Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
numPreds(Node) - Method in interface chord.util.graph.IGraph: Provides the number of immediate predecessors of a given node in this graph.
numPreds(Node) - Method in class chord.util.graph.MutableGraph
numRoots() - Method in class chord.analyses.alias.CICG
numRoots() - Method in class chord.analyses.alias.CSCG
numRoots() - Method in interface chord.util.graph.IGraph: Provides the total number of roots of this graph.
numRoots() - Method in class chord.util.graph.MutableGraph
numSuccs(jq_Method) - Method in class chord.analyses.alias.CICG
numSuccs(Pair<Ctxt, jq_Method>) - Method in class chord.analyses.alias.CSCG
numSuccs(Node) - Method in interface chord.util.graph.IGraph: Provides the number of immediate successors of a given node in this graph.
numSuccs(Node) - Method in class chord.util.graph.MutableGraph

O

OBJ_NEW_INST_CALL - Static variable in class chord.program.reflect.ReflectEventKind
ObjectCloneCFGBuilder - Class in chord.program.stubs: Stub for instance method "Object clone()" in class java.lang.Object.
ObjectCloneCFGBuilder() - Constructor for class chord.program.stubs.ObjectCloneCFGBuilder
objmap - Static variable in class chord.runtime.BasicEventHandler
ObjNewInstAnalysis - Class in chord.analyses.reflect: Analysis producing the following two relations: - objNewInstIH: Relation containing each tuple (i,h) such that call site i calling method "Object newInstance()" defined in class "java.lang.Class" is treated as object allocation site h.
ObjNewInstAnalysis() - Constructor for class chord.analyses.reflect.ObjNewInstAnalysis
objNewInstEvent(String, String) - Static method in class chord.program.reflect.ReflectEventHandler
OfflineTransformer - Class in chord.instr: Offline class-file transformer.
OfflineTransformer(BasicInstrumentor) - Constructor for class chord.instr.OfflineTransformer
offset - Variable in class chord.program.MethodElem
one() - Method in class chord.bddbddb.Rel: Sets this relation in memory to the full relation (containing all tuples).
OnlineTransformer - Class in chord.instr: Online (load-time) class-file transformer.
OnlineTransformer(BasicInstrumentor) - Constructor for class chord.instr.OnlineTransformer
openOut(String) - Static method in class chord.util.Utils
openOutAppend(String) - Static method in class chord.util.Utils
options - Variable in class chord.util.Execution
outDirName - Static variable in class chord.project.Config
OutDirUtils - Class in chord.project: Common operations on files in the directory specified by system property chord.out.dir to which Chord outputs all files.
OutDirUtils() - Constructor for class chord.project.OutDirUtils
outFileName - Static variable in class chord.project.Config
output - Variable in class chord.util.Execution
outRel2Abs(String) - Static method in class chord.project.Config
overlaps(IntArraySet) - Method in class chord.util.IntArraySet

P

Pair<T0,T1> - Class in chord.util.tuple.object: An ordered 2-tuple of objects.
Pair(T0, T1) - Constructor for class chord.util.tuple.object.Pair
parse(String) - Static method in class chord.program.MethodElem: Provides the representation of the unique identifier of the given bytecode instruction.
parse(String) - Static method in class chord.program.MethodSign: Provides the representation of the unique identifier of the given field/method.
parse(String) - Method in class chord.project.analyses.DlogAnalysis: Parses the Datalog analysis in the specified file.
parse() - Method in class chord.project.ChordAnnotParser: Parses this Chord annotation.
passTimedOut() - Method in class chord.util.Alarm
path(String) - Method in class chord.util.Execution
PATH_SEPARATOR - Static variable in class chord.util.Utils
pathEdges - Variable in class chord.project.analyses.rhs.RHSAnalysis
pause() - Method in class chord.util.Timer
Pent<T0,T1,T2,T3,T4> - Class in chord.util.tuple.object: An ordered 5-tuple of objects.
Pent(T0, T1, T2, T3, T4) - Constructor for class chord.util.tuple.object.Pent
PhantomClsVal - Class in chord.program
PhantomClsVal(jq_Reference) - Constructor for class chord.program.PhantomClsVal
PhantomObjVal - Class in chord.program
PhantomObjVal(jq_Reference) - Constructor for class chord.program.PhantomObjVal
Pmap - Variable in class chord.instr.Instrumentor
pointsTo(RegisterFactory.Register) - Method in class chord.analyses.alias.CIAliasAnalysis: Provides the abstract object to which a given local variable may point.
pointsTo(jq_Field) - Method in class chord.analyses.alias.CIAliasAnalysis: Provides the abstract object to which a given static field may point.
pointsTo(CIObj, jq_Field) - Method in class chord.analyses.alias.CIAliasAnalysis: Provides the abstract object to which a given instance field of a given abstract object may point.
pointsTo(Ctxt, RegisterFactory.Register) - Method in class chord.analyses.alias.CSAliasAnalysis: Provides the abstract object to which a given local variable may point in a given abstract context of its declaring method.
pointsTo(jq_Field) - Method in class chord.analyses.alias.CSAliasAnalysis: Provides the abstract object to which a given static field may point.
pointsTo(CSObj, jq_Field) - Method in class chord.analyses.alias.CSAliasAnalysis: Provides the abstract object to which a given instance field of a given abstract object may point.
pool - Variable in class chord.instr.BasicInstrumentor
prefix(int) - Method in class chord.analyses.alias.Ctxt
prefixMatch(String, String[]) - Static method in class chord.util.Utils: Checks a string against a set of prefixes.
premain(String, Instrumentation) - Static method in class chord.instr.OnlineTransformer
prepend(Quad) - Method in class chord.analyses.alias.Ctxt
prepend(Quad, int) - Method in class chord.analyses.alias.Ctxt
prescribedCollections - Variable in class chord.project.DefaultCtrlCollection
prescribingCollection - Variable in class chord.project.AbstractStepCollection
present() - Method in class chord.instr.InstrScheme.EventFormat
print() - Method in class chord.bddbddb.Dom: Prints the values in the domain in memory to the standard output stream.
print(PrintStream) - Method in class chord.bddbddb.Dom: Prints the values in the domain in memory to the specified output stream.
print(String) - Method in class chord.bddbddb.Rel
print() - Method in class chord.bddbddb.Rel
print(PrintStream) - Method in class chord.bddbddb.Rel
print() - Method in class chord.project.analyses.ProgramRel
print() - Method in class chord.project.ClassicProject
print() - Static method in class chord.project.Config
print() - Method in class chord.project.ModernProject
print() - Method in class chord.project.Project
printAllClasses() - Method in class chord.program.Program: Prints the quadcode representation of all reachable classes.
printAllClasses - Static variable in class chord.project.Config
printClass(String) - Method in class chord.program.Program: Prints the quadcode representation of the given class, if it is deemed reachable, and exits otherwise.
printClasses - Static variable in class chord.project.Config
printMethod(String) - Method in class chord.program.Program: Prints the quadcode representation of the given method, if it is deemed reachable, and exits otherwise.
printMethods - Static variable in class chord.project.Config
printProject - Static variable in class chord.project.Config
printRels(String[]) - Method in class chord.project.ClassicProject
printRels - Static variable in class chord.project.Config
printRels(String[]) - Method in class chord.project.ModernProject
printRels(String[]) - Method in class chord.project.Project
printResults - Static variable in class chord.project.Config
printSummaries() - Method in class chord.project.analyses.rhs.RHSAnalysis
processAcquireLock(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processAftMethodCall(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processAftNew(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processAloadPrimitive(int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processAloadReference(int, int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processAstorePrimitive(int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processAstoreReference(int, int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processBasicBlock(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processBefMethodCall(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processBefNew(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processCheckCast(RegisterFactory.Register, RegisterFactory.Register, Quad) - Method in class chord.program.reflect.CastBasedStaticReflect
processCheckCast(RegisterFactory.Register, RegisterFactory.Register, Quad) - Method in class chord.program.reflect.StaticReflectResolver
processCopy(RegisterFactory.Register, RegisterFactory.Register) - Method in class chord.program.reflect.CastBasedStaticReflect
processCopy(RegisterFactory.Register, RegisterFactory.Register) - Method in class chord.program.reflect.StaticReflectResolver
processEnterLoop(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processEnterMainMethod(int) - Method in class chord.project.analyses.DynamicAnalysis
processEnterMethod(int, int) - Method in class chord.project.analyses.DynamicAnalysis
ProcessExecutor - Class in chord.util: Utility to execute a system command specified as a string in a separate process.
ProcessExecutor() - Constructor for class chord.util.ProcessExecutor
processExplicitThrow(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processGetfieldPrimitive(int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processGetfieldReference(int, int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processGetstaticPrimitive(int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processGetstaticReference(int, int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processImplicitThrow(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processInvoke(Quad) - Method in class chord.program.reflect.CastBasedStaticReflect
processInvoke(Quad) - Method in class chord.program.reflect.StaticReflectResolver
processLeaveLoop(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processLeaveMethod(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processLoopIteration(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processNewArray(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processNotify(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processPhi(Quad) - Method in class chord.program.reflect.StaticReflectResolver
processPutfieldPrimitive(int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processPutfieldReference(int, int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processPutstaticPrimitive(int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processPutstaticReference(int, int, int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processQuad(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processReleaseLock(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processReturn(Quad) - Method in class chord.program.reflect.CastBasedStaticReflect
processReturn(Quad) - Method in class chord.program.reflect.StaticReflectResolver
processReturnPrimitive(int, int) - Method in class chord.project.analyses.DynamicAnalysis
processReturnReference(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processThreadJoin(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processThreadRelatedCall(MethodCall, CtBehavior) - Method in class chord.instr.Instrumentor
processThreadStart(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
processTrace(String) - Method in class chord.project.analyses.BasicDynamicAnalysis
processWait(int, int, int) - Method in class chord.project.analyses.DynamicAnalysis
producedCtrlCollections - Variable in class chord.project.AbstractStepCollection
producedDataCollections - Variable in class chord.project.AbstractStepCollection
produces - Variable in class chord.project.analyses.JavaAnalysis
producingCollections - Variable in class chord.project.DefaultDataCollection
program - Variable in class chord.instr.Instrumentor
Program - Class in chord.program: Quadcode intermediate representation of a Java program.
ProgramDom<T> - Class in chord.project.analyses: Generic implementation of a program domain (a specialized kind of Java task).
ProgramDom() - Constructor for class chord.project.analyses.ProgramDom
ProgramRel - Class in chord.project.analyses: Generic implementation of a program relation (a specialized kind of Java task).
ProgramRel() - Constructor for class chord.project.analyses.ProgramRel
Project - Class in chord.project: A Chord project comprising a set of tasks and a set of targets produced/consumed by those tasks.
Project() - Constructor for class chord.project.Project
prologue() - Method in class chord.util.graph.CycleFindingSCCVisitor
prologue() - Method in class chord.util.graph.CycleTestingSCCVisitor
prologue() - Method in interface chord.util.graph.IGraphEntityVisitor: Method called just before starting to visit any node of an entity.
prologue() - Method in class chord.util.graph.SCCFindingVisitor
pts - Variable in class chord.analyses.alias.CIObj
pts - Variable in class chord.analyses.alias.CSObj
Put(Object) - Method in class chord.project.DefaultCtrlCollection
put(Object, Object) - Method in class chord.util.WeakIdentityHashMap: Associates the specified value with the specified key in this map.
putAll(Map) - Method in class chord.util.WeakIdentityHashMap: Copies all of the mappings from the specified map to this map These mappings will replace any mappings that this map had for any of the keys currently in the specified map.
putByte(byte) - Method in class chord.util.ByteBufferedFile
PUTFIELD_PRIMITIVE - Static variable in class chord.instr.EventKind
PUTFIELD_PRIMITIVE - Static variable in class chord.instr.InstrScheme
PUTFIELD_REFERENCE - Static variable in class chord.instr.EventKind
PUTFIELD_REFERENCE - Static variable in class chord.instr.InstrScheme
putfieldPriEventCall - Variable in class chord.instr.Instrumentor
putfieldPrimitive(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
putfieldPrimitiveEvent - Variable in class chord.instr.Instrumentor
putfieldPrimitiveEvent(int, Object, int) - Static method in class chord.runtime.EventHandler
putfieldReference(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
putfieldReferenceEvent - Variable in class chord.instr.Instrumentor
putfieldReferenceEvent(int, Object, int, Object) - Static method in class chord.runtime.EventHandler
putfieldRefEventCall - Variable in class chord.instr.Instrumentor
putInt(int) - Method in class chord.util.ByteBufferedFile
putLong(long) - Method in class chord.util.ByteBufferedFile
putOption(String, Object) - Method in class chord.util.Execution
putOutput(String, Object) - Method in class chord.util.Execution
PUTSTATIC_PRIMITIVE - Static variable in class chord.instr.EventKind
PUTSTATIC_PRIMITIVE - Static variable in class chord.instr.InstrScheme
PUTSTATIC_REFERENCE - Static variable in class chord.instr.EventKind
PUTSTATIC_REFERENCE - Static variable in class chord.instr.InstrScheme
putstaticPriEventCall - Variable in class chord.instr.Instrumentor
putstaticPrimitive(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
putstaticPrimitiveEvent - Variable in class chord.instr.Instrumentor
putstaticPrimitiveEvent(int, Object, int) - Static method in class chord.runtime.EventHandler
putstaticReference(FieldAccess, CtField) - Method in class chord.instr.Instrumentor
putstaticReferenceEvent - Variable in class chord.instr.Instrumentor
putstaticReferenceEvent(int, Object, int, Object) - Static method in class chord.runtime.EventHandler
putstaticRefEventCall - Variable in class chord.instr.Instrumentor
putString(String) - Method in class chord.util.ByteBufferedFile

Q

q - Variable in class chord.program.Location
qIdx - Variable in class chord.program.Location
QUAD - Static variable in class chord.instr.EventKind
Quad<T0,T1,T2,T3> - Class in chord.util.tuple.object: An ordered 4-tuple of objects.
Quad(T0, T1, T2, T3) - Constructor for class chord.util.tuple.object.Quad
quadEvent(int) - Static method in class chord.runtime.EventHandler
quadEventCall - Variable in class chord.instr.Instrumentor
QuadToJasmin - Class in chord.program
QuadToJasmin() - Constructor for class chord.program.QuadToJasmin

R

r - Variable in class chord.program.PhantomClsVal
r - Variable in class chord.program.PhantomObjVal
ReadException - Exception in chord.util
ReadException() - Constructor for exception chord.util.ReadException
readFileToList(String, List<String>) - Static method in class chord.util.Utils
readFileToList(File, List<String>) - Static method in class chord.util.Utils
readFileToList(String) - Static method in class chord.util.Utils
readFileToList(File) - Static method in class chord.util.Utils
readFileToMap(String) - Static method in class chord.util.Utils
readFileToMap(File) - Static method in class chord.util.Utils
readSerialFile(String) - Static method in class chord.util.Utils
Reflect - Class in chord.program
Reflect(List<Pair<Quad, List<jq_Reference>>>, List<Pair<Quad, List<jq_Reference>>>, List<Pair<Quad, List<jq_Reference>>>, List<Pair<Quad, List<jq_Reference>>>) - Constructor for class chord.program.Reflect
Reflect() - Constructor for class chord.program.Reflect
ReflectEventHandler - Class in chord.program.reflect
ReflectEventHandler() - Constructor for class chord.program.reflect.ReflectEventHandler
ReflectEventKind - Class in chord.program.reflect: Kinds of events generated by dynamic analysis for resolving reflection.
ReflectEventKind() - Constructor for class chord.program.reflect.ReflectEventKind
reflectFileName - Static variable in class chord.project.Config
ReflectInstrumentor - Class in chord.program.reflect: Load-time bytecode instrumentor for dynamic analysis for resolving reflection.
ReflectInstrumentor(Map<String, String>) - Constructor for class chord.program.reflect.ReflectInstrumentor
reflectKind - Static variable in class chord.project.Config
Rel - Class in chord.bddbddb: Generic implementation of a BDD-based relation.
Rel() - Constructor for class chord.bddbddb.Rel
Rel.AryNIterable - Class in chord.bddbddb
Rel.AryNIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.AryNIterable
Rel.HextIterable<T0,T1,T2,T3,T4,T5> - Class in chord.bddbddb
Rel.HextIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.HextIterable
Rel.IntAryNIterable - Class in chord.bddbddb
Rel.IntAryNIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.IntAryNIterable
Rel.IntHextIterable - Class in chord.bddbddb
Rel.IntHextIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.IntHextIterable
Rel.IntPairIterable - Class in chord.bddbddb
Rel.IntPairIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.IntPairIterable
Rel.IntPentIterable - Class in chord.bddbddb
Rel.IntPentIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.IntPentIterable
Rel.IntQuadIterable - Class in chord.bddbddb
Rel.IntQuadIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.IntQuadIterable
Rel.IntTrioIterable - Class in chord.bddbddb
Rel.IntTrioIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.IntTrioIterable
Rel.PairIterable<T0,T1> - Class in chord.bddbddb
Rel.PairIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.PairIterable
Rel.PentIterable<T0,T1,T2,T3,T4> - Class in chord.bddbddb
Rel.PentIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.PentIterable
Rel.QuadIterable<T0,T1,T2,T3> - Class in chord.bddbddb
Rel.QuadIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.QuadIterable
Rel.RelView - Class in chord.bddbddb: An immutable view of a relation.
Rel.RelView() - Constructor for class chord.bddbddb.Rel.RelView
Rel.SelfIterable<T> - Class in chord.bddbddb
Rel.SelfIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.SelfIterable
Rel.TrioIterable<T0,T1,T2> - Class in chord.bddbddb
Rel.TrioIterable(BDD, boolean[]) - Constructor for class chord.bddbddb.Rel.TrioIterable
Rel.TupleIterator<T> - Class in chord.bddbddb
Rel.TupleIterator(Rel.BDDIterator, int[]) - Constructor for class chord.bddbddb.Rel.TupleIterator
RelAryElemE - Class in chord.analyses.heapacc: Relation containing each statement that accesses (reads or writes) an array element (as opposed to an instance or static field).
RelAryElemE() - Constructor for class chord.analyses.heapacc.RelAryElemE
RelAryNewInstIH - Class in chord.analyses.reflect: Relation containing each tuple (i,h) such that call site i calling method "static Object newInstance(Class componentType, int length)" defined in class "java.lang.reflect.Array" is treated as object allocation site h.
RelAryNewInstIH() - Constructor for class chord.analyses.reflect.RelAryNewInstIH
RelCHA - Class in chord.analyses.type: Relation containing each tuple (m1,t,m2) such that method m2 is the resolved method of an invokevirtual or invokeinterface call with resolved method m1 on an object of concrete class t.
RelCHA() - Constructor for class chord.analyses.type.RelCHA
RelCheckExcludedT - Class in chord.analyses.type: Relation containing each type t the prefix of whose name is contained in the value of system property chord.check.exclude.
RelCheckExcludedT() - Constructor for class chord.analyses.type.RelCheckExcludedT
relCICM - Variable in class chord.analyses.alias.CSCG
relCICM - Variable in class chord.analyses.alias.CSCGAnalysis
RelClassT - Class in chord.analyses.type: Relation containing each (concrete or abstract) class type (as opposed to interface types, primitive types, etc.).
RelClassT() - Constructor for class chord.analyses.type.RelClassT
RelClinitM - Class in chord.analyses.method: Relation containing all class initializer methods, namely, methods having signature <clinit>().
RelClinitM() - Constructor for class chord.analyses.method.RelClinitM
RelClinitTM - Class in chord.analyses.method: Relation containing each tuple (t,m) such that method m is the class initializer method of class t.
RelClinitTM() - Constructor for class chord.analyses.method.RelClinitTM
RelClsForNameIT - Class in chord.analyses.reflect: Relation containing each tuple (i,t) such that call site i calling method "static Class forName(String className)" defined in class "java.lang.Class" was determined by reflection analysis as potentially loading class t.
RelClsForNameIT() - Constructor for class chord.analyses.reflect.RelClsForNameIT
RelClsTH - Class in chord.analyses.reflect: Relation containing each tuple (t,h) such that h is the hypothetical site at which class t is reflectively created.
RelClsTH() - Constructor for class chord.analyses.reflect.RelClsTH
relCMCM - Variable in class chord.analyses.alias.CSCG
relCMCM - Variable in class chord.analyses.alias.CSCGAnalysis
RELEASE_LOCK - Static variable in class chord.instr.EventKind
RELEASE_LOCK - Static variable in class chord.instr.InstrScheme
releaseLockEvent - Variable in class chord.instr.Instrumentor
releaseLockEvent(int, Object) - Static method in class chord.runtime.EventHandler
releaseLockEventCall - Variable in class chord.instr.Instrumentor
RelEF - Class in chord.analyses.heapacc: Relation containing each tuple (e,f) such that statement e accesses (reads or writes) instance field, static field, or array element f.
RelEF() - Constructor for class chord.analyses.heapacc.RelEF
RelEV - Class in chord.analyses.heapacc: Relation containing each tuple (e,v) such that statement e accesses (reads or writes) an instance field or array element of an object denoted by local variable v.
RelEV() - Constructor for class chord.analyses.heapacc.RelEV
RelExtraEntryPoints - Class in chord.analyses.method
RelExtraEntryPoints() - Constructor for class chord.analyses.method.RelExtraEntryPoints
RelHT - Class in chord.analyses.alloc: Relation containing each tuple (h,t) such that object allocation quad h allocates objects of non-array type t.
RelHT() - Constructor for class chord.analyses.alloc.RelHT
RelIinvkArg - Class in chord.analyses.argret: Relation containing each tuple (i,z,v) such that local variable v is the zth argument variable of method invocation statement i.
RelIinvkArg() - Constructor for class chord.analyses.argret.RelIinvkArg
RelIinvkArg0 - Class in chord.analyses.argret: Relation containing each tuple (i,v) such that local variable v is the 0th argument variable of method invocation statement i, if i has >= 0 arguments.
RelIinvkArg0() - Constructor for class chord.analyses.argret.RelIinvkArg0
RelIinvkRet - Class in chord.analyses.argret: Relation containing each tuple (i,z,v) such that local variable v is the zth return variable of method invocation statement i.
RelIinvkRet() - Constructor for class chord.analyses.argret.RelIinvkRet
relIM - Variable in class chord.analyses.alias.CICGAnalysis
RelInitM - Class in chord.analyses.method: Relation containing all constructor methods, that is, methods having name <init>.
RelInitM() - Constructor for class chord.analyses.method.RelInitM
RelInstF - Class in chord.analyses.field: Relation containing all instance (as opposed to static) fields.
RelInstF() - Constructor for class chord.analyses.field.RelInstF
RelInstFldE - Class in chord.analyses.heapacc: Relation containing each statement that accesses (reads or writes) an instance field (as opposed to a static field or array element).
RelInstFldE() - Constructor for class chord.analyses.heapacc.RelInstFldE
RelInstI - Class in chord.analyses.invk: Relation containing all method invocation statements whose target is an instance method.
RelInstI() - Constructor for class chord.analyses.invk.RelInstI
RelInstM - Class in chord.analyses.method: Relation containing all instance (as opposed to static) methods.
RelInstM() - Constructor for class chord.analyses.method.RelInstM
RelInterfaceT - Class in chord.analyses.type: Relation containing each interface type.
RelInterfaceT() - Constructor for class chord.analyses.type.RelInterfaceT
RelLE - Class in chord.analyses.lock: Relation containing each tuple (e,l) such that statement e that accesses (reads or writes) an instance field, a static field, or an array element is lexically enclosed in the synchronized block or synchronized method that acquires the lock at point l.
RelLE() - Constructor for class chord.analyses.lock.RelLE
RelLI - Class in chord.analyses.lock: Relation containing each tuple (l,i) such that method invocation statement i is lexically enclosed in the synchronized block or synchronized method that acquires the lock at point l.
RelLI() - Constructor for class chord.analyses.lock.RelLI
RelLL - Class in chord.analyses.lock: Relation containing each tuple (l1,l2) such that the synchronized block or synchronized method that acquires the lock at point l1 lexically encloses (directly or transitively) the synchronized block that acquires the lock at point l2.
RelLL() - Constructor for class chord.analyses.lock.RelLL
RelMcheckCastInst - Class in chord.analyses.inst: Relation containing each tuple (m,v1,t,v2) such that method m contains a statement of the form v1 = (t) v2.
RelMcheckCastInst() - Constructor for class chord.analyses.inst.RelMcheckCastInst
RelMclsValAsgnInst - Class in chord.analyses.inst: Relation containing each tuple (m,v,t) such that method m contains a statement of the form v = t.class/tt>.
RelMclsValAsgnInst() - Constructor for class chord.analyses.inst.RelMclsValAsgnInst
RelME - Class in chord.analyses.heapacc: Relation containing each tuple (m,e) such that method m contains statement e that accesses (reads or writes) an instance field, a static field, or an array element.
RelME() - Constructor for class chord.analyses.heapacc.RelME
RelMgetClassInvkInst - Class in chord.analyses.inst: Relation containing each tuple (m,i) such that method m contains a statement i invoking instance method getClass() defined in class java.lang.Object.
RelMgetClassInvkInst() - Constructor for class chord.analyses.inst.RelMgetClassInvkInst
RelMgetInstFldInst - Class in chord.analyses.inst: Relation containing each tuple (m,v,b,f) such that method m contains a statement of the form v = b.f.
RelMgetInstFldInst() - Constructor for class chord.analyses.inst.RelMgetInstFldInst
RelMgetStatFldInst - Class in chord.analyses.inst: Relation containing each tuple (m,v,f) such that method m contains a statement of the form v = f.
RelMgetStatFldInst() - Constructor for class chord.analyses.inst.RelMgetStatFldInst
RelMH - Class in chord.analyses.alloc: Relation containing each tuple (m,h) such that method m contains object allocation statement h.
RelMH() - Constructor for class chord.analyses.alloc.RelMH
RelMI - Class in chord.analyses.invk: Relation containing each tuple (m,i) such that method m contains method invocation statement i.
RelMI() - Constructor for class chord.analyses.invk.RelMI
RelML - Class in chord.analyses.lock: Relation containing each tuple (m,l) such that method m contains synchronized statement l.
RelML() - Constructor for class chord.analyses.lock.RelML
relMM - Variable in class chord.analyses.alias.CICGAnalysis
RelMmethArg - Class in chord.analyses.argret: Relation containing each tuple (m,z,v) such that local variable v is the zth argument variable of method m.
RelMmethArg() - Constructor for class chord.analyses.argret.RelMmethArg
RelMmethRet - Class in chord.analyses.argret: Relation containing each tuple (m,z,v) such that local variable v is the zth return variable of method m.
RelMmethRet() - Constructor for class chord.analyses.argret.RelMmethRet
RelMobjValAsgnInst - Class in chord.analyses.inst: Relation containing each tuple (m,v,h) such that method m contains object allocation statement h which assigns to local variable v.
RelMobjValAsgnInst() - Constructor for class chord.analyses.inst.RelMobjValAsgnInst
RelMobjVarAsgnInst - Class in chord.analyses.inst: Relation containing each tuple (m,v1,v2) such that method m contains a statement of the form v1 = v2.
RelMobjVarAsgnInst() - Constructor for class chord.analyses.inst.RelMobjVarAsgnInst
RelMP - Class in chord.analyses.point: Relation containing each tuple (m,p) such that method m contains program point p.
RelMP() - Constructor for class chord.analyses.point.RelMP
RelMPhead - Class in chord.analyses.point: Relation containing each tuple (m,p) such that statement p is the unique entry basic block of method m.
RelMPhead() - Constructor for class chord.analyses.point.RelMPhead
RelMPtail - Class in chord.analyses.point: Relation containing each tuple (m,p) such that statement p is the unique exit basic block of method m.
RelMPtail() - Constructor for class chord.analyses.point.RelMPtail
RelMputInstFldInst - Class in chord.analyses.inst: Relation containing each tuple (m,b,f,v) such that method m contains a statement of the form b.f = v.
RelMputInstFldInst() - Constructor for class chord.analyses.inst.RelMputInstFldInst
RelMputStatFldInst - Class in chord.analyses.inst: Relation containing each tuple (m,f,v) such that method m contains a statement of the form f = v.
RelMputStatFldInst() - Constructor for class chord.analyses.inst.RelMputStatFldInst
RelMV - Class in chord.analyses.var: Relation containing each tuple (m,v) such that method m declares local variable v, that is, v is either an argument or temporary variable of m.
RelMV() - Constructor for class chord.analyses.var.RelMV
RelPE - Class in chord.analyses.heapacc: Relation containing each tuple (p,e) such that the statement at program point p is a heap access statement e that accesses (reads or writes) an instance field, a static field, or an array element.
RelPE() - Constructor for class chord.analyses.heapacc.RelPE
RelPgetInstFldInst - Class in chord.analyses.inst: Relation containing each tuple (p,b,f,v) such that the statement at program point p is of the form b.f = v.
RelPgetInstFldInst() - Constructor for class chord.analyses.inst.RelPgetInstFldInst
RelPgetStatFldInst - Class in chord.analyses.inst: Relation containing each tuple (p,v,f) such that the statement at program point p is of the form v = f.
RelPgetStatFldInst() - Constructor for class chord.analyses.inst.RelPgetStatFldInst
RelPI - Class in chord.analyses.invk: Relation containing each tuple (p,i) such that the statement at program point p is method invocation statement i.
RelPI() - Constructor for class chord.analyses.invk.RelPI
RelPL - Class in chord.analyses.lock: Relation containing each tuple (p,e) such that the statement at program point p is a heap access statement e that accesses (reads or writes) an instance field, a static field, or an array element.
RelPL() - Constructor for class chord.analyses.lock.RelPL
RelPobjValAsgnInst - Class in chord.analyses.inst: Relation containing each tuple (p,v,h) such that the statement at program point p is an object allocation statement h which assigns to local variable v.
RelPobjValAsgnInst() - Constructor for class chord.analyses.inst.RelPobjValAsgnInst
RelPobjVarAsgnInst - Class in chord.analyses.inst: Relation containing each tuple (p,v1,v2) such that the statement at program point p is of the form v1 = v2.
RelPobjVarAsgnInst() - Constructor for class chord.analyses.inst.RelPobjVarAsgnInst
RelPostDomBB - Class in chord.analyses.basicblock: Relation containing each pair of basic blocks (b1,b2) in each method such that b1 is immediate postdominator of b2.
RelPostDomBB() - Constructor for class chord.analyses.basicblock.RelPostDomBB
RelPP - Class in chord.analyses.point: Relation containing each tuple (p1,p2) such that program point p2 is an immediate successor of program point p1.
RelPP() - Constructor for class chord.analyses.point.RelPP
RelPputInstFldInst - Class in chord.analyses.inst: Relation containing each tuple (p,b,f,v) such that the statement at program point p is of the form b.f = v.
RelPputInstFldInst() - Constructor for class chord.analyses.inst.RelPputInstFldInst
RelPputStatFldInst - Class in chord.analyses.inst: Relation containing each tuple (p,f,v) such that the statement at program point p is of the form f = v.
RelPputStatFldInst() - Constructor for class chord.analyses.inst.RelPputStatFldInst
RelPrivateM - Class in chord.analyses.method: Relation containing all private (as opposed to protected or public) methods.
RelPrivateM() - Constructor for class chord.analyses.method.RelPrivateM
relReachableCM - Variable in class chord.analyses.alias.CSCG
relReachableCM - Variable in class chord.analyses.alias.CSCGAnalysis
relReachableM - Variable in class chord.analyses.alias.CICGAnalysis
relRootCM - Variable in class chord.analyses.alias.CSCG
relRootCM - Variable in class chord.analyses.alias.CSCGAnalysis
relRootM - Variable in class chord.analyses.alias.CICGAnalysis
RelScopeExcludedM - Class in chord.analyses.method
RelScopeExcludedM() - Constructor for class chord.analyses.method.RelScopeExcludedM
RelScopeExcludedT - Class in chord.analyses.type
RelScopeExcludedT() - Constructor for class chord.analyses.type.RelScopeExcludedT
RelSign - Class in chord.bddbddb: Signature of a BDD-based relation.
RelSign(String[], String) - Constructor for class chord.bddbddb.RelSign: Constructor.
RelSpecIM - Class in chord.analyses.invk: Relation containing each tuple (i,m) such that m is the resolved method of method invocation statement i of kind INVK_SPECIAL.
RelSpecIM() - Constructor for class chord.analyses.invk.RelSpecIM
RelStatF - Class in chord.analyses.field: Relation containing all static (as opposed to instance) fields.
RelStatF() - Constructor for class chord.analyses.field.RelStatF
RelStatFldE - Class in chord.analyses.heapacc: Relation containing each statement that accesses (reads or writes) a static field (as opposed to an instance field or array element).
RelStatFldE() - Constructor for class chord.analyses.heapacc.RelStatFldE
RelStatIM - Class in chord.analyses.invk: Relation containing each tuple (i,m) such that m is the resolved method of method invocation statement i of kind INVK_STATIC.
RelStatIM() - Constructor for class chord.analyses.invk.RelStatIM
RelStatM - Class in chord.analyses.method: Relation containing all static (as opposed to instance) methods.
RelStatM() - Constructor for class chord.analyses.method.RelStatM
RelStatTF - Class in chord.analyses.field: Relation containing each tuple (t,f) such that f is a static field defined in type t.
RelStatTF() - Constructor for class chord.analyses.field.RelStatTF
RelStatTM - Class in chord.analyses.method: Relation containing each tuple (t,m) such that m is a static method defined in type t.
RelStatTM() - Constructor for class chord.analyses.method.RelStatTM
RelSub - Class in chord.analyses.type: Relation containing each tuple (s,t) such that type s is a subtype of type t.
RelSub() - Constructor for class chord.analyses.type.RelSub
RelSuccBB - Class in chord.analyses.basicblock: Relation containing each pair of basic blocks (b1,b2) in each method such that b1 is immediate postdominator of b2.
RelSuccBB() - Constructor for class chord.analyses.basicblock.RelSuccBB
RelSyncLM - Class in chord.analyses.lock: Relation containing each tuple (l,m) such that method m is synchronized on lock l.
RelSyncLM() - Constructor for class chord.analyses.lock.RelSyncLM
RelSyncLV - Class in chord.analyses.lock: Relation containing each tuple (l,v) such that monitorenter statement l is synchronized on variable v.
RelSyncLV() - Constructor for class chord.analyses.lock.RelSyncLV
RelSyncM - Class in chord.analyses.method: Relation containing all synchronized methods.
RelSyncM() - Constructor for class chord.analyses.method.RelSyncM
RelThisMV - Class in chord.analyses.argret: Relation containing each tuple (m,v) such that local variable v is the implicit this argument variable of instance method m.
RelThisMV() - Constructor for class chord.analyses.argret.RelThisMV
RelTM - Class in chord.analyses.method: Relation containing each tuple (t,m) such that method m is declared in type t.
RelTM() - Constructor for class chord.analyses.method.RelTM
RelVirtIM - Class in chord.analyses.invk: Relation containing each tuple (i,m) such that m is the resolved method of method invocation statement i of kind INVK_VIRTUAL or INVK_INTERFACE.
RelVirtIM() - Constructor for class chord.analyses.invk.RelVirtIM
RelVT - Class in chord.analyses.var: Relation containing each tuple (v,t) such that local variable v of reference type has type t.
RelVT() - Constructor for class chord.analyses.var.RelVT
RelWriteE - Class in chord.analyses.heapacc: Relation containing all statements that write to an instance field, static field, or array element.
RelWriteE() - Constructor for class chord.analyses.heapacc.RelWriteE
remove(T0) - Method in class chord.bddbddb.Rel
remove(int) - Method in class chord.bddbddb.Rel
remove(T0, T1) - Method in class chord.bddbddb.Rel
remove(int, int) - Method in class chord.bddbddb.Rel
remove() - Method in class chord.bddbddb.Rel.TupleIterator
remove(Object) - Method in class chord.util.WeakIdentityHashMap: Removes the mapping for this key from this map if present.
removeEdge(Node, Node) - Method in interface chord.util.graph.IMutableGraph: Removes a given directed edge from the graph.
removeEdge(Node, Node) - Method in class chord.util.graph.MutableGraph
removeEdge(Node, Node) - Method in class chord.util.graph.MutableLabeledGraph
removeLabel(Node, Node, Label) - Method in interface chord.util.graph.IMutableLabeledGraph: Removes a given label from a given directed edge in the graph.
removeLabel(Node, Node, Label) - Method in class chord.util.graph.MutableLabeledGraph
removeNode(Node) - Method in interface chord.util.graph.IMutableGraph: Removes a given node from the graph along with edges incident upon it.
removeNode(Node) - Method in class chord.util.graph.MutableGraph
removeNode(Node) - Method in class chord.util.graph.MutableLabeledGraph
removeRootStrict(Node) - Method in interface chord.util.graph.IMutableGraph: Designates a given node in the graph as a non-root node.
removeRootStrict(Node) - Method in class chord.util.graph.MutableGraph
replaceNode(Node, Node) - Method in interface chord.util.graph.IMutableGraph: Replaces a given node in the graph by another given node.
replaceNode(Node, Node) - Method in class chord.util.graph.MutableGraph
replaceNode(Node, Node) - Method in class chord.util.graph.MutableLabeledGraph
reset() - Method in class chord.util.StopWatch
resetAll() - Method in class chord.project.ClassicProject
resetTaskDone(ITask) - Method in class chord.project.ClassicProject
resetTaskDone(String) - Method in class chord.project.ClassicProject
resetTrgtDone(Object) - Method in class chord.project.ClassicProject
resetTrgtDone(String) - Method in class chord.project.ClassicProject
resolutions - Variable in class chord.program.reflect.StaticReflectResolver
resolvedClsForNameSites - Variable in class chord.program.reflect.StaticReflectResolver
resolvedObjNewInstSites - Variable in class chord.program.reflect.StaticReflectResolver
resolveForNameSites() - Method in class chord.program.reflect.StaticReflectResolver
resolveNewInstSites() - Method in class chord.program.reflect.StaticReflectResolver
resume() - Method in class chord.util.Timer
RETURN_PRIMITIVE - Static variable in class chord.instr.EventKind
RETURN_PRIMITIVE - Static variable in class chord.instr.InstrScheme
RETURN_REFERENCE - Static variable in class chord.instr.EventKind
RETURN_REFERENCE - Static variable in class chord.instr.InstrScheme
returnPrimitiveEvent(int) - Static method in class chord.runtime.EventHandler
returnReferenceEvent(int, Object) - Static method in class chord.runtime.EventHandler
reuseRels - Static variable in class chord.project.Config
reuseScope - Static variable in class chord.project.Config
reuseTraces() - Method in class chord.project.analyses.BasicDynamicAnalysis: Subclasses can override this method.
reuseTraces - Static variable in class chord.project.Config
RHSAnalysis<PE extends IEdge,SE extends IEdge> - Class in chord.project.analyses.rhs: Implementation of the Reps-Horwitz-Sagiv algorithm for context-sensitive dataflow analysis.
RHSAnalysis() - Constructor for class chord.project.analyses.rhs.RHSAnalysis
Rmap - Variable in class chord.instr.Instrumentor
roots - Variable in class chord.util.graph.MutableGraph: Set of root nodes of the graph.
RPOBuilder<Node> - Class in chord.util.graph: Algorithm for computing the Reverse Post Order (RPO) of the nodes in a directed graph.
RTA - Class in chord.program: Rapid Type Analysis algorithm for computing program scope (reachable classes and methods).
RTA(String) - Constructor for class chord.program.RTA
run() - Method in class chord.analyses.alias.CIAliasAnalysis
run() - Method in class chord.analyses.alias.CICGAnalysis
run() - Method in class chord.analyses.alias.CSAliasAnalysis
run() - Method in class chord.analyses.alias.CSCGAnalysis
run() - Method in class chord.analyses.alias.CtxtsAnalysis
run() - Method in class chord.analyses.alias.ThrOblAbbrCICGAnalysis
run() - Method in class chord.analyses.alias.ThrOblAbbrCSCGAnalysis
run() - Method in class chord.analyses.alias.ThrSenAbbrCICGAnalysis
run() - Method in class chord.analyses.alias.ThrSenAbbrCSCGAnalysis
run() - Method in class chord.analyses.datarace.DataraceAnalysis
run() - Method in class chord.analyses.deadlock.DeadlockAnalysis
run() - Method in class chord.analyses.reflect.ConNewInstAnalysis
run() - Method in class chord.analyses.reflect.ObjNewInstAnalysis
run() - Method in class chord.analyses.thread.ThreadsAnalysis
run(String) - Static method in class chord.bddbddb.Solver: Runs bddbddb's BDD-based Datalog solver on the specified Datalog program.
run() - Method in class chord.instr.OfflineTransformer
run() - Method in class chord.instr.TracePrinter: Runs the trace printer.
run() - Method in class chord.instr.TraceTransformer: Runs the trace transformer which creates a new trace that eliminates each "AFT_NEW h t o" event from the original trace and replaces the matching "BEF_NEW h t" event in the original trace by a new event "NEW h t o" in the transformed trace.
run() - Method in class chord.program.QuadToJasmin
run(jq_Method) - Method in class chord.program.reflect.CastBasedStaticReflect
run(jq_Method) - Method in class chord.program.reflect.StaticReflectResolver
run(jq_Method) - Method in class chord.program.stubs.ArraySetCFGBuilder
run(jq_Method) - Method in class chord.program.stubs.ObjectCloneCFGBuilder
run(jq_Method) - Method in class chord.program.stubs.SystemArraycopyCFGBuilder
run(jq_Method) - Method in class chord.program.stubs.ThreadStartCFGBuilder
run() - Method in class chord.project.analyses.BasicDynamicAnalysis
run() - Method in class chord.project.analyses.DlogAnalysis: Executes this Datalog analysis.
run(Object, IStepCollection) - Method in class chord.project.analyses.DlogAnalysis
run() - Method in class chord.project.analyses.DynamicAnalysis
run() - Method in class chord.project.analyses.JavaAnalysis
run(Object, IStepCollection) - Method in class chord.project.analyses.JavaAnalysis
run() - Method in class chord.project.analyses.ProgramDom
run(Object, IStepCollection) - Method in class chord.project.analyses.ProgramDom
run() - Method in class chord.project.analyses.ProgramRel
run(Object, IStepCollection) - Method in class chord.project.analyses.ProgramRel
run(String[]) - Method in class chord.project.ClassicProject
run(Object) - Method in interface chord.project.IStepCollection
run() - Method in interface chord.project.ITask: Executes this analysis in a "classic" project.
run(Object, IStepCollection) - Method in interface chord.project.ITask: Executes this analysis in a "modern" project.
run(String[]) - Method in class chord.project.ModernProject
run(String[]) - Method in class chord.project.Project
run(Object) - Method in class chord.project.StepCollectionForStatelessTask
run(Object) - Method in class chord.project.StepCollectionForTaskWithState
run() - Method in class chord.project.TaskParser
run() - Method in class chord.project.TrgtParser
run(IGraph<Node>, IGraphEntityVisitor<Node>) - Static method in class chord.util.graph.SimpleCyclesFinder: Finds all simple cycles in a given directed graph by invoking a given visitor on each simple cycle.
runAnalyses - Static variable in class chord.project.Config
runEpilogue(Object, IStepCollection, Object[], Object[]) - Method in class chord.project.ModernProject
runIDs - Variable in class chord.project.analyses.BasicDynamicAnalysis
runIDs - Static variable in class chord.project.Config
runPass() - Method in class chord.project.analyses.rhs.RHSAnalysis: Run an instance of the analysis afresh.
runPrologue(Object, IStepCollection) - Method in class chord.project.ModernProject
runSaxon(String, String) - Static method in class chord.project.OutDirUtils
runTask(ITask) - Method in class chord.project.ClassicProject
runTask(String) - Method in class chord.project.ClassicProject
runtimeJvmargs - Static variable in class chord.project.Config

S samplePermutation(Random, int) - Static method in class chord.util.Utils save(String, boolean) - Method in class chord.bddbddb.Dom Reflects the domain in memory onto disk. save(String) - Method in class chord.bddbddb.Rel Copies the relation from memory to disk and frees it from memory. save(String) - Method in class chord.instr.InstrScheme save() - Method in class chord.project.analyses.ProgramDom save() - Method in class chord.project.analyses.ProgramRel saveDomMaps - Static variable in class chord.project.Config saveToXMLFile() - Method in class chord.project.analyses.ProgramDom SCCBuilder<Node> - Class in chord.util.graph Algorithm for computing the Strongly Connected Components (SCCs) of a directed graph. SCCBuilder(IGraph<Node>, IGraphEntityVisitor<Node>) - Constructor for class chord.util.graph.SCCBuilder SCCFindingVisitor<Node> - Class in chord.util.graph A visitor over the Strongly Connected Components (SCCs) of a directed graph. SCCFindingVisitor() - Constructor for class chord.util.graph.SCCFindingVisitor scheme - Variable in class chord.instr.Instrumentor scheme - Variable in class chord.project.analyses.DynamicAnalysis The instrumentation scheme for this dynamic analysis. scheme - Static variable in class chord.runtime.EventHandler scopeExcludeAry - Variable in class chord.instr.BasicInstrumentor scopeExcludeAry - Static variable in class chord.project.Config scopeExcludeStr - Static variable in class chord.project.Config scopeExtExcludeStr - Static variable in class chord.project.Config scopeKind - Static variable in class chord.project.Config scopeStdExcludeStr - Static variable in class chord.project.Config select(int, Object) - Method in class chord.bddbddb.Rel.RelView select(int, int) - Method in class chord.bddbddb.Rel.RelView selectAndDelete(int, Object) - Method in class chord.bddbddb.Rel.RelView selectAndDelete(int, int) - Method in class chord.bddbddb.Rel.RelView set(IndexMap<String>, Expr) - Method in class chord.instr.Instrumentor set(IndexMap<String>, int) - Method in class chord.instr.Instrumentor setAcquireLockEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setAft() - Method in class chord.instr.InstrScheme.EventFormat setAloadPrimitiveEvent(boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setAloadReferenceEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setAstorePrimitiveEvent(boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setAstoreReferenceEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setBaseObj() - Method in class chord.instr.InstrScheme.EventFormat setBasicBlockEvent() - Method in class chord.instr.InstrScheme setBef() - Method in class chord.instr.InstrScheme.EventFormat setConsumedDataCollections(List<IDataCollection>) - Method in class chord.project.AbstractStepCollection setConsumedDataCollections(List<IDataCollection>) - Method in interface chord.project.IStepCollection setCtxt(Quad[]) - Method in class chord.analyses.alias.DomC setDoms(Dom[]) - Method in class chord.bddbddb.Rel Sets the domains of this relation. setEnterAndLeaveLoopEvent() - Method in class chord.instr.InstrScheme setEnterMainMethodEvent(boolean) - Method in class chord.instr.InstrScheme setEnterMethodEvent(boolean, boolean) - Method in class chord.instr.InstrScheme setExplicitThrowEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setFld() - Method in class chord.instr.InstrScheme.EventFormat setGetfieldPrimitiveEvent(boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setGetfieldReferenceEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setGetstaticPrimitiveEvent(boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setGetstaticReferenceEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setIdx() - Method in class chord.instr.InstrScheme.EventFormat setImplicitThrowEvent(boolean, boolean) - Method in class chord.instr.InstrScheme setItemCollection(ItemCollection) - Method in class chord.project.DefaultDataCollection setItemCollection(ItemCollection) - Method in interface chord.project.IDataCollection setLeaveMethodEvent(boolean, boolean) - Method in class chord.instr.InstrScheme setLoc() - Method in class chord.instr.InstrScheme.EventFormat setMethodCallEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setName(String) - Method in class chord.bddbddb.Dom setName(String) - Method in class chord.bddbddb.Rel Sets the name of this relation. setName(String) - Method in class chord.project.AbstractStepCollection setName(String) - Method in class chord.project.analyses.JavaAnalysis setName(String) - Method in class chord.project.DefaultCtrlCollection setName(String) - Method in class chord.project.DefaultDataCollection setName(String) - Method in interface chord.project.ICtrlCollection setName(String) - Method in interface chord.project.IDataCollection setName(String) - Method in interface chord.project.IStepCollection Sets the name of this program analysis. setName(String) - Method in interface chord.project.ITask Sets the name of this analysis. setNewArrayEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setNewEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setNotifyEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setObj() - Method in class chord.instr.InstrScheme.EventFormat setPrescribedCollections(List<IStepCollection>) - Method in class chord.project.DefaultCtrlCollection setPrescribedCollections(List<IStepCollection>) - Method in interface chord.project.ICtrlCollection setPrescribingCollection(ICtrlCollection) - Method in class chord.project.AbstractStepCollection setPrescribingCollection(ICtrlCollection) - Method in interface chord.project.IStepCollection setPresent() - Method in class chord.instr.InstrScheme.EventFormat setProducedCtrlCollections(List<ICtrlCollection>) - Method in class chord.project.AbstractStepCollection setProducedCtrlCollections(List<ICtrlCollection>) - Method in interface chord.project.IStepCollection setProducedDataCollections(List<IDataCollection>) - Method in class chord.project.AbstractStepCollection setProducedDataCollections(List<IDataCollection>) - Method in interface chord.project.IStepCollection setProducingCollections(List<IStepCollection>) - Method in class chord.project.DefaultDataCollection setProducingCollections(List<IStepCollection>) - Method in interface chord.project.IDataCollection setPutfieldPrimitiveEvent(boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setPutfieldReferenceEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setPutstaticPrimitiveEvent(boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setPutstaticReferenceEvent(boolean, boolean, boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setQuadEvent() - Method in class chord.instr.InstrScheme setReadOnly() - Method in class chord.util.IntArraySet setReleaseLockEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setReturnPrimitiveEvent(boolean, boolean) - Method in class chord.instr.InstrScheme setReturnReferenceEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setSign(String, String) - Method in class chord.bddbddb.Rel Sets the signature of this relation. setSign(String[], String) - Method in class chord.bddbddb.Rel Sets the signature of this relation. setSign(RelSign) - Method in class chord.bddbddb.Rel Sets the signature of this relation. setTask(ITask) - Method in class chord.project.StepCollectionForStatelessTask setTaskDone(ITask) - Method in class chord.project.ClassicProject setTaskDone(String) - Method in class chord.project.ClassicProject setTaskKind(Class<ITask>) - Method in class chord.project.StepCollectionForTaskWithState setThr() - Method in class chord.instr.InstrScheme.EventFormat setThreadJoinEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setThreadStartEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme setTrgtDone(Object) - Method in class chord.project.ClassicProject setTrgtDone(String) - Method in class chord.project.ClassicProject SetUtils - Class in chord.util Set related utilities. SetUtils() - Constructor for class chord.util.SetUtils setWaitEvent(boolean, boolean, boolean) - Method in class chord.instr.InstrScheme ShortestPathBuilder<Node> - Class in chord.util.graph Algorithm for computing the shortest path between a pair of nodes in a directed graph. ShortestPathBuilder(IGraph<Node>, Node, IPathVisitor<Node>) - Constructor for class chord.util.graph.ShortestPathBuilder sign - Variable in class chord.bddbddb.Rel sign - Variable in class chord.project.TrgtInfo SimpleCyclesFinder<Node> - Class in chord.util.graph Algorithm for finding all simple cycles in a directed graph. size() - Method in class chord.bddbddb.Rel.RelView Provides the number of tuples in this view. size() - Method in class chord.bddbddb.Rel Provides the size of the relation. size() - Method in class chord.instr.InstrScheme.EventFormat size() - Method in class chord.util.IndexMap size() - Method in class chord.util.IndexSet size() - Method in class chord.util.IntArraySet Returns the number of values in the list. size() - Method in class chord.util.WeakIdentityHashMap Returns the number of key-value mappings in this map. skip(Object, ProgramDom) - Method in class chord.project.analyses.ProgramRel slurpMList() - Static method in class chord.analyses.method.RelExtraEntryPoints Solver - Class in chord.bddbddb Interface to bddbddb's BDD-based Datalog solver. Solver() - Constructor for class chord.bddbddb.Solver SPELLCHECK_ON - Static variable in class chord.project.Boot srcPathName - Static variable in class chord.project.Config start() - Method in class chord.util.StopWatch startedNewIter() - Method in class chord.program.reflect.CastBasedStaticReflect startedNewIter() - Method in class chord.program.reflect.StaticReflectResolver startTime - Variable in class chord.util.StopWatch StatFig - Class in chord.util StatFig() - Constructor for class chord.util.StatFig StaticReflectResolver - Class in chord.program.reflect Static analysis for resolving reflection. StaticReflectResolver() - Constructor for class chord.program.reflect.StaticReflectResolver stdDlogAnalysisPathName - Static variable in class chord.project.Config stdJavaAnalysisPathName - Static variable in class chord.project.Config StepCollectionForStatelessTask - Class in chord.project StepCollectionForStatelessTask() - Constructor for class chord.project.StepCollectionForStatelessTask StepCollectionForTaskWithState - Class in chord.project StepCollectionForTaskWithState() - Constructor for class chord.project.StepCollectionForTaskWithState stop() - Method in class chord.util.StopWatch StopWatch - Class in chord.util Simple class for measuring elapsed time. StopWatch() - Constructor for class chord.util.StopWatch StopWatch(long) - Constructor for class chord.util.StopWatch StubRewrite - Class in chord.analyses.invk Used to rewrite method calls, to facilitate stub implementations or analyzable models. StubRewrite() - Constructor for class chord.analyses.invk.StubRewrite stubsFileName - Static variable in class chord.project.Config subset(IntArraySet) - Method in class chord.util.IntArraySet suffix(int) - Method in class chord.analyses.alias.Ctxt sum - Variable in class chord.util.StatFig summEdges - Variable in class chord.project.analyses.rhs.RHSAnalysis symlinkPath - Variable in class chord.util.Execution system(String[]) - Static method in class chord.util.Execution SystemArraycopyCFGBuilder - Class in chord.program.stubs Stub for static method "void arraycopy(Object src, int srcPos, Object dest, int destPos, int length)" in class java.lang.System. SystemArraycopyCFGBuilder() - Constructor for class chord.program.stubs.SystemArraycopyCFGBuilder systemHard(String[]) - Static method in class chord.util.Execution T tags - Variable in class chord.project.DefaultCtrlCollection tail() - Method in class chord.analyses.alias.Ctxt targetsMap - Variable in class chord.project.analyses.rhs.RHSAnalysis task - Variable in class chord.project.StepCollectionForStatelessTask taskKind - Variable in class chord.project.StepCollectionForTaskWithState TaskParser - Class in chord.project A Chord project comprising a set of tasks and a set of targets produced/consumed by those tasks. TaskParser() - Constructor for class chord.project.TaskParser THREAD_JOIN - Static variable in class chord.instr.EventKind THREAD_JOIN - Static variable in class chord.instr.InstrScheme THREAD_START - Static variable in class chord.instr.EventKind THREAD_START - Static variable in class chord.instr.InstrScheme threadJoinEvent - Variable in class chord.instr.Instrumentor threadJoinEvent(int, Object) - Static method in class chord.runtime.EventHandler threadJoinEventCall - Variable in class chord.instr.Instrumentor ThreadsAnalysis - Class in chord.analyses.thread Static analysis computing reachable abstract threads. ThreadsAnalysis() - Constructor for class chord.analyses.thread.ThreadsAnalysis ThreadStartCFGBuilder - Class in chord.program.stubs Stub for instance method "void start()" in class java.lang.Thread. ThreadStartCFGBuilder() - Constructor for class chord.program.stubs.ThreadStartCFGBuilder threadStartEvent - Variable in class chord.instr.Instrumentor threadStartEvent(int, Object) - Static method in class chord.runtime.EventHandler threadStartEventCall - Variable in class chord.instr.Instrumentor THRESHOLD - Static variable in class chord.util.SetUtils Threshold that, given the estimated size of a set to be created, is used to decide whether to use a lightweight (e.g. ThrOblAbbrCICGAnalysis - Class in chord.analyses.alias Call graph analysis producing a thread-oblivious, abbreviated, context-insensitive call graph of the program. ThrOblAbbrCICGAnalysis() - Constructor for class chord.analyses.alias.ThrOblAbbrCICGAnalysis ThrOblAbbrCSCGAnalysis - Class in chord.analyses.alias Call graph analysis producing a thread-oblivious, abbreviated, context-sensitive call graph of the program. ThrOblAbbrCSCGAnalysis() - Constructor for class chord.analyses.alias.ThrOblAbbrCSCGAnalysis ThrSenAbbrCICGAnalysis - Class in chord.analyses.alias Call graph analysis producing a thread-sensitive, abbreviated, context-insensitive call graph of the program. ThrSenAbbrCICGAnalysis() - Constructor for class chord.analyses.alias.ThrSenAbbrCICGAnalysis ThrSenAbbrCSCGAnalysis - Class in chord.analyses.alias Call graph analysis producing a thread-sensitive, abbreviated, context-sensitive call graph of the program. ThrSenAbbrCSCGAnalysis() - Constructor for class chord.analyses.alias.ThrSenAbbrCSCGAnalysis TimeoutException - Exception in chord.project.analyses.rhs TimeoutException() - Constructor for exception chord.project.analyses.rhs.TimeoutException Timer - Class in chord.util Implementation of a timer with facility to pause and resume. Timer() - Constructor for class chord.util.Timer Timer(String) - Constructor for class chord.util.Timer toArray(String) - Static method in class chord.util.Utils tokenize(String) - Static method in class chord.util.Utils toolClassPathName - Static variable in class chord.project.Config toString() - Method in class chord.analyses.alias.CIObj toString() - Method in class chord.analyses.alias.CSObj toString() - Method in class chord.analyses.alias.Ctxt toString() - Method in class chord.bddbddb.RelSign toString() - Method in class chord.program.Location toString() - Method in class chord.program.MethodElem toString() - Method in class chord.project.analyses.JavaAnalysis toString() - Method in class chord.project.analyses.ProgramDom toString() - Method in class chord.project.analyses.ProgramRel toString() - Method in class chord.util.graph.AbstractGraph toString() - Method in class chord.util.graph.MutableLabeledGraph toString() - Method in class chord.util.StatFig toString() - Method in class chord.util.