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.