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

A

ABSTRACT - Static variable in class accrue.analysis.parse.sym
 
AbstractDataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> - Class in accrue.analysis.interprocanalysis
 
AbstractDataFlowDispatch() - Constructor for class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
AbstractLocation - Class in accrue.analysis.interprocanalysis
Represents an abstract location, i.e., zero or more concrete locations.
abstractLocations(AntiDepAbsVal, Field) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
abstractLocations(AntiDepAbsVal, ArrayAccess) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
abstractLocations(DefUseAbsVal, Field) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
abstractLocations(DefUseAbsVal, ArrayAccess) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
abstractLocations(Field) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field could point to
abstractLocations(Expr, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field in the given receiver could reference
abstractLocations(HContext, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field in the given context could reference
abstractLocations(HContext, String) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field in the given context could reference
abstractLocations(Formal, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field in the given formal parameter could reference
abstractLocations(Expr, List<String>, List<Type>) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
if path = f1, f2, f3, then returns abstract locations for e.f1.f2.f3 if types = t1.t2.t3, then e.f1 is of type t1, e.f1.f2 is of type t2, etc.
abstractLocations(ArrayAccess) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
abstractLocations(AccrueExtensionInfo, AnalysisContext, Field) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field in the given context parameter could reference
abstractLocations(AccrueExtensionInfo, AnalysisContext, ArrayAccess) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given array access in the given context parameter could reference
abstractLocationsForArray(Expr) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
abstractLocationsForArray(Set<HContext>) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
abstractLocationsForArray(Formal) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
abstractLocationsImplicitTarget(DefUseAbsVal, FieldInstance) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
abstractLocationsImplicitTarget(FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the set of abstract locations the given field could point to.
AbstractValue<T> - Interface in accrue.analysis.interprocvarcontext
An abstract value
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueCall_c
 
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueConstructorCall_c
 
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueNew_c
 
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.AccrueTry_c
 
acceptCFG(CFGBuilder<?>, List<T>) - Method in class accrue.analysis.ast.Suppress_c
 
accrue - package accrue
 
ACCRUE - Static variable in class accrue.analysis.AnalysisTopics
 
accrue.analysis - package accrue.analysis
 
accrue.analysis.antidep - package accrue.analysis.antidep
 
accrue.analysis.ast - package accrue.analysis.ast
 
accrue.analysis.callgraph - package accrue.analysis.callgraph
 
accrue.analysis.ctldep - package accrue.analysis.ctldep
 
accrue.analysis.defuse - package accrue.analysis.defuse
 
accrue.analysis.domination - package accrue.analysis.domination
 
accrue.analysis.ext - package accrue.analysis.ext
 
accrue.analysis.goals - package accrue.analysis.goals
 
accrue.analysis.interprocanalysis - package accrue.analysis.interprocanalysis
 
accrue.analysis.interprocvarcontext - package accrue.analysis.interprocvarcontext
 
accrue.analysis.notnulldataflow - package accrue.analysis.notnulldataflow
 
accrue.analysis.parse - package accrue.analysis.parse
 
accrue.analysis.pointer - package accrue.analysis.pointer
 
accrue.analysis.pointer.analyses - package accrue.analysis.pointer.analyses
 
accrue.analysis.preciseExceptions - package accrue.analysis.preciseExceptions
 
accrue.analysis.readwritesets - package accrue.analysis.readwritesets
 
accrue.analysis.signatures - package accrue.analysis.signatures
 
accrue.analysis.visit - package accrue.analysis.visit
 
accrue.jl5 - package accrue.jl5
 
accrue.jl5.ext - package accrue.jl5.ext
 
accrue.jl5.goals - package accrue.jl5.goals
 
accrue.jl5.pointer - package accrue.jl5.pointer
 
ACCRUE_ANNOTATION - Static variable in class accrue.analysis.parse.Lexer_c
 
AccrueCall_c - Class in accrue.analysis.ast
 
AccrueCall_c(Position, Receiver, Id, List<Expr>) - Constructor for class accrue.analysis.ast.AccrueCall_c
 
AccrueCatch_c - Class in accrue.analysis.ast
 
AccrueCatch_c(Position, Formal, Block) - Constructor for class accrue.analysis.ast.AccrueCatch_c
 
AccrueConstructorCall_c - Class in accrue.analysis.ast
 
AccrueConstructorCall_c(Position, ConstructorCall.Kind, Expr, List<? extends Expr>) - Constructor for class accrue.analysis.ast.AccrueConstructorCall_c
 
accrueExt(Node) - Static method in class accrue.analysis.ast.AccrueLang_c
 
AccrueExt - Interface in accrue.analysis.ext
 
AccrueExt_c - Class in accrue.analysis.ext
 
AccrueExt_c() - Constructor for class accrue.analysis.ext.AccrueExt_c
 
AccrueExtensionInfo - Interface in accrue
An ExtensionInfo that implements the needed functionality for Accrue.
AccrueJL5ExtensionInfo - Class in accrue.jl5
Extension information for Accrue extension for JL5 source code.
AccrueJL5ExtensionInfo() - Constructor for class accrue.jl5.AccrueJL5ExtensionInfo
 
AccrueJL5Options - Class in accrue.jl5
Polyglot options for an object sensitive analysis
AccrueJL5Options(ExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5Options
 
AccrueJL5Scheduler - Class in accrue.jl5
 
AccrueJL5Scheduler(JLExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5Scheduler
 
AccrueJL5Scheduler.AccrueJL5SchedulerHelper - Class in accrue.jl5
 
AccrueJL5Scheduler.AccrueJL5SchedulerHelper(ExtensionInfo, Scheduler) - Constructor for class accrue.jl5.AccrueJL5Scheduler.AccrueJL5SchedulerHelper
 
AccrueJL5TranslationExtensionInfo - Class in accrue.jl5
Polyglot extension that pre-processes java5 code with the JL5 extension, converting it to Java 1.4 code, and then performs an analysis pass.
AccrueJL5TranslationExtensionInfo(AccrueExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5TranslationExtensionInfo
 
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions - Class in accrue.jl5
This options class uses the options of the succeeding info flow extension pass
AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions(AccrueJL5TranslationExtensionInfo) - Constructor for class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
Create the Options by passing in the extension info an setting it into the Options for the info flow pass
AccrueJLExtensionInfo - Class in accrue
Extension information for Accrue extension for JL source code.
AccrueJLExtensionInfo() - Constructor for class accrue.AccrueJLExtensionInfo
 
AccrueJLOptions - Class in accrue
Polyglot options for an object sensitive analysis
AccrueJLOptions(ExtensionInfo) - Constructor for class accrue.AccrueJLOptions
 
AccrueJLScheduler - Class in accrue
 
AccrueJLScheduler(JLExtensionInfo) - Constructor for class accrue.AccrueJLScheduler
 
AccrueLang_c - Class in accrue.analysis.ast
 
AccrueLang_c() - Constructor for class accrue.analysis.ast.AccrueLang_c
 
AccrueNew_c - Class in accrue.analysis.ast
 
AccrueNew_c(Position, Expr, TypeNode, List<Expr>, ClassBody) - Constructor for class accrue.analysis.ast.AccrueNew_c
 
AccrueNodeFactory - Interface in accrue.analysis.ast
 
AccrueNodeFactory_c - Class in accrue.analysis.ast
 
AccrueNodeFactory_c(ExtFactory) - Constructor for class accrue.analysis.ast.AccrueNodeFactory_c
 
AccrueNodeFactory_c(ExtFactory, DelFactory) - Constructor for class accrue.analysis.ast.AccrueNodeFactory_c
 
AccrueOptions - Interface in accrue
 
AccrueOptionsHelper - Class in accrue
Polyglot options for an object sensitive analysis
AccrueOptionsHelper() - Constructor for class accrue.AccrueOptionsHelper
 
AccrueScheduler - Interface in accrue
 
AccrueSchedulerHelper - Class in accrue
This class defines a number of Accrue-relevant scheduler goals.
AccrueSchedulerHelper(ExtensionInfo, Scheduler) - Constructor for class accrue.AccrueSchedulerHelper
 
AccrueTry_c - Class in accrue.analysis.ast
 
AccrueTry_c(Position, Block, List<Catch>, Block) - Constructor for class accrue.analysis.ast.AccrueTry_c
 
AccrueUtil - Class in accrue
 
AccrueUtil() - Constructor for class accrue.AccrueUtil
 
action_obj - Variable in class accrue.analysis.parse.Grm
Instance of action encapsulation class.
action_table() - Method in class accrue.analysis.parse.Grm
Access to parse-action table.
actuals - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
 
add(String, String, List<String>, String, T) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
add(String, String, List<String>, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
add(String, String, List<String>, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
add(String, String, List<String>, String, Object, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
addAssignment(ReferenceVariable, ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
left = right
addAssignment(ReferenceVariable, ReferenceVariable, FieldInstance, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
left = right.fi
addAssignment(ReferenceVariable, ReferenceVariable, String, Type, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
left = right.fi
addAssignmentToField(ReferenceVariable, FieldInstance, ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
left.fi = right
addAssignmentToField(ReferenceVariable, String, Type, ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
left.fi = right
addCall(PointsToEngine.StmtAndContext, CodeInstance, CContext, ProcedureInstance, CContext, Position) - Method in class accrue.analysis.pointer.PointsToGraph
 
addCall(PointsToEngine.StmtAndContext, CodeInstance, CContext, ProcedureInstance, CContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
addCall(PointsToEngine.StmtAndContext, CodeInstance, CContext, ProcedureInstance, CContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
addCatchImplicitError(ReferenceVariable, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
catch (T e) { ...
addConstructor(String, List<String>, String, T) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
addConstructor(String, List<String>, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
addConstructor(String, List<String>, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
addConstructor(String, List<String>, String, Object, String, Object, String, Object, String, Object) - Method in class accrue.analysis.signatures.AnalysisSignatures
 
addConstructorCall(ReferenceVariable, ConstructorInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
 
addDefs(HContext, VarContext<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, List<String>, Set<AbstractLocation>, NodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
 
addEdge(AnalysisUnit, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
addEdge(PointsToEngine.StmtAndContext, PointsToGraphNode, HContext, Position) - Method in class accrue.analysis.pointer.PointsToGraph
 
addEdge(PointsToEngine.StmtAndContext, PointsToGraphNode, HContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSerial
Returns true iff changes were made to the graph.
addEdge(PointsToEngine.StmtAndContext, PointsToGraphNode, HContext, Position) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
addEdges(PointsToEngine.StmtAndContext, PointsToGraphNode, Set<HContext>, Position) - Method in class accrue.analysis.pointer.PointsToGraph
 
addEdges(PointsToEngine.StmtAndContext, PointsToGraphNode, Set<HContext>, Position) - Method in class accrue.analysis.pointer.PointsToGraphSerial
Returns true iff changes were made to the graph.
addEdges(PointsToEngine.StmtAndContext, PointsToGraphNode, Set<HContext>, Position) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
addEdgesForCall(CodeInstance, CContext, CallSiteNode, StmtRegistrar, PointsToGraph, StmtRegistrar.CodeInfo, HContext, List<ReferenceVariableReplica>, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Static method in class accrue.analysis.pointer.StmtProcedureCall
 
addExceptionAssignments(Type, ReferenceVariable, Position, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.pointer.StmtRegistrar
Utility method for adding exceptions
addExceptions(VarContext<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, Set<ExitMap.Key>) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
 
addFieldInitializer(ClassType, FieldDecl) - Method in class accrue.analysis.visit.MakeInstanceInitializersExplicit
 
addFilteredAssignment(ReferenceVariable, ReferenceVariable, Type, Set<Type>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
left = right, and only allow left to point to objects that are subtypes of t and not subtypes of any element of notT.
addGeneratedExceptionAssignments(Set<ClassType>, Term, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.pointer.StmtRegistrar
Utility method for adding exceptions
addKey(ExitMap.Key, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Functional update of an ExitMap.
addLocal(String, T) - Method in class accrue.analysis.interprocvarcontext.VarContext
Add a new local variable to the context
addLocations(VarContext<T>, Set<AbstractLocation>, T) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Add a set of locations at the given value.
addLocations(Set<AbstractLocation>, T) - Method in class accrue.analysis.interprocvarcontext.VarContext
Only call this through AnalysisUtil.addLocations AbsVal for abstract locations only increase, they never get replaced...
addLocationsImpl(Set<AbstractLocation>, T) - Method in class accrue.analysis.interprocvarcontext.VarContext
Add the locations with the upper bound of the existing abstract value (if any) and absVal
addReachingDef(EdgeIdentifier) - Method in class accrue.analysis.defuse.DefUseAbsVal
 
addReachingUse(EdgeIdentifier) - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
addResults(String, AccrueExt, AnalysisContext, Set<T>) - Static method in class accrue.analysis.antidep.AntiDepDataFlow
Adds a set of results to the current set
addResults(String, AccrueExt, AnalysisContext, FlowGraph.PeerKey, Set<EdgeIdentifier>) - Static method in class accrue.analysis.ctldep.CtlDepDataFlow
Adds a set of results to the current set
addResults(String, AccrueExt, AnalysisContext, Set<T>) - Static method in class accrue.analysis.defuse.DefUseDataFlow
Adds a set of results to the current set
addResults(String, AccrueExt, AnalysisContext, Set<T>) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
Adds a set of results to the current set
addSignature(String, String, List<String>, T) - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
 
addSignatureForConstructor(String, List<String>, T) - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
 
addSpecialCall(ReferenceVariable, ReferenceVariable, MethodInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
 
addStaticCall(ReferenceVariable, MethodInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
 
addStmt(PointsToStmt) - Method in class accrue.analysis.pointer.StmtRegistrar
 
addToAll(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Upper bound c with the context for each key
addToAll(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
 
addVirtualCall(ReferenceVariable, ReferenceVariable, MethodInstance, ExtProcedureCall, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
 
af - Variable in class accrue.analysis.pointer.PointsToGraph
 
allCode() - Method in class accrue.analysis.interprocanalysis.Registrar
 
allItems() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
allKeys() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
allocatedType - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
allocSite() - Method in interface accrue.analysis.pointer.HContext
Returns the allocation site of this abstract object.
allocSite - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
AllocSiteNode - Class in accrue.analysis.pointer
Represents an allocation site in the code.
AllocSiteNode(Type, ClassType, boolean, String, Position) - Constructor for class accrue.analysis.pointer.AllocSiteNode
 
allocSiteNode(TypeSystem, ClassType, Position) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
allProcs() - Method in class accrue.analysis.interprocanalysis.CallGraph
 
AnalysesDone(Job) - Method in class accrue.AccrueSchedulerHelper
 
AnalysesDone - Class in accrue.analysis.goals
 
AnalysesDone(Job) - Constructor for class accrue.analysis.goals.AnalysesDone
 
ANALYSIS_NAME - Static variable in class accrue.analysis.antidep.AntiDepAnalysisFactory
 
ANALYSIS_NAME - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
 
ANALYSIS_NAME - Static variable in class accrue.analysis.ctldep.CtlDepAnalysisFactory
 
ANALYSIS_NAME - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
 
ANALYSIS_NAME - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
ANALYSIS_NAME - Static variable in class accrue.analysis.pointer.PointerAnalysisPass
 
ANALYSIS_NAME - Static variable in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
 
ANALYSIS_NAME - Static variable in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
Name of the analysis
ANALYSIS_RESULT_IMMED_DOMINATED_BY - Static variable in class accrue.analysis.domination.DominationPass
 
ANALYSIS_RESULT_IMMED_DOMINATOR_OF - Static variable in class accrue.analysis.domination.DominationPass
 
ANALYSIS_RESULT_IMMED_POST_DOMINATED_BY - Static variable in class accrue.analysis.domination.DominationPass
 
ANALYSIS_RESULT_IMMED_POST_DOMINATOR_OF - Static variable in class accrue.analysis.domination.DominationPass
 
AnalysisContext - Class in accrue.analysis.interprocanalysis
A context in which to analyze code.
AnalysisContext(CContext, ConstructorContext, JLang) - Constructor for class accrue.analysis.interprocanalysis.AnalysisContext
 
AnalysisContextMap<T> - Class in accrue.analysis.interprocanalysis
A utility class that is used to help record analysis results for AST nodes.
AnalysisContextMap(Class<? extends AnalysisContext>) - Constructor for class accrue.analysis.interprocanalysis.AnalysisContextMap
 
AnalysisContextMap() - Constructor for class accrue.analysis.interprocanalysis.AnalysisContextMap
 
AnalysisContextPeerMap<T> - Class in accrue.analysis.interprocvarcontext
A utility class that is used to help record analysis results for AST nodes.
AnalysisContextPeerMap(Class<? extends AnalysisContext>) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
AnalysisContextPeerMap() - Constructor for class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
AnalysisContextPeerMap.CodeObjectPeerContext - Class in accrue.analysis.interprocvarcontext
 
AnalysisContextPeerMap.CodeObjectPeerContext(FlowGraph.PeerKey, AnalysisContext) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap.CodeObjectPeerContext
 
AnalysisExtFactory - Interface in accrue.analysis.ext
 
AnalysisExtFactory_c - Class in accrue.analysis.ext
 
AnalysisExtFactory_c(ExtFactory) - Constructor for class accrue.analysis.ext.AnalysisExtFactory_c
 
AnalysisExtFactory_c() - Constructor for class accrue.analysis.ext.AnalysisExtFactory_c
 
AnalysisFactory<A extends Ordered<A>> - Class in accrue.analysis.interprocanalysis
Utility class used by an interprocedural dataflow analysis
AnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocanalysis.AnalysisFactory
 
AnalysisFactoryVarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
 
AnalysisFactoryVarContext(AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
 
analysisName() - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
 
analysisName() - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
 
analysisName() - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
 
analysisName() - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
 
analysisName() - Method in class accrue.analysis.domination.DominationAnalysisFactory
 
analysisName() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Get the name of the analysis
analysisName() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
analysisName() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
analysisName() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
analysisName() - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
 
analysisName() - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
 
analysisReportName() - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.domination.DominationAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Get the name of the analysis report
analysisReportName() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
 
analysisReportName() - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
 
analysisSignatures - Variable in class accrue.AccrueJLExtensionInfo
 
AnalysisSignatures - Class in accrue.analysis.signatures
 
AnalysisSignatures() - Constructor for class accrue.analysis.signatures.AnalysisSignatures
 
analysisSignatures - Variable in class accrue.jl5.AccrueJL5ExtensionInfo
 
AnalysisTopics - Class in accrue.analysis
Analysis topics for Accrue
AnalysisTopics() - Constructor for class accrue.analysis.AnalysisTopics
 
AnalysisUnit - Class in accrue.analysis.interprocanalysis
An AnalysisUnit is the unit of analysis that the WorkQueue deals with.
AnalysisUnit(ProcedureDecl, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
 
AnalysisUnit(CodeNode, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
 
AnalysisUnit(Initializer, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
 
AnalysisUnit(FieldDecl, AnalysisContext) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUnit
 
analysisUtil(WorkQueue<VarContext<AntiDepAbsVal>>, AnalysisUnit) - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
 
analysisUtil(WorkQueue<PCGAbsVal>, AnalysisUnit) - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
 
analysisUtil(WorkQueue<CDAbsVal>, AnalysisUnit) - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
 
analysisUtil(WorkQueue<VarContext<DefUseAbsVal>>, AnalysisUnit) - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
 
analysisUtil(WorkQueue<Unit>, AnalysisUnit) - Method in class accrue.analysis.domination.DominationAnalysisFactory
 
analysisUtil(WorkQueue<A>, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Get the object sensitive analysis utility class.
AnalysisUtil<A extends Ordered<A>> - Class in accrue.analysis.interprocanalysis
Abstract utility class for performing an object sensitive analysis.
AnalysisUtil(WorkQueue<A>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocanalysis.AnalysisUtil
Create a new utility class
analysisUtil(WorkQueue<VarContext<NotNullAbsVal>>, AnalysisUnit) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
analysisUtil(WorkQueue<PreciseExAbsVal>, AnalysisUnit) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
 
analysisUtil(WorkQueue<ReadWriteSet>, AnalysisUnit) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
 
AnalysisUtilVarContext<A extends Ordered<A>,T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
Abstract utility class for performing an interprocedural analysis with a variable context.
AnalysisUtilVarContext(WorkQueue<A>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Create a new utility class
AnalysisUtilVarContextDataFlow<A extends Ordered<A>,T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
Abstract utility class for performing an interprocedural dataflow analysis.
AnalysisUtilVarContextDataFlow(WorkQueue<A>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Create a new utility class
analyze(CodeNode, VarContext<AntiDepAbsVal>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
analyze(CodeNode, PCGAbsVal) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
analyze(CodeNode, CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
analyze(CodeNode, VarContext<DefUseAbsVal>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
analyze(CodeNode, Unit) - Method in class accrue.analysis.domination.DominationAnalysisUtil
 
analyze(CodeNode, A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Analyze the given code with the given current analysis results
analyze(CodeNode, VarContext<NotNullAbsVal>) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
analyze(CodeNode, PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
 
analyze(CodeNode, ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
 
analyzeInitializers(PCGAbsVal) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
Deprecated.
analyzeInitializers(ConstructorCall, PCGAbsVal) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
analyzeInitializers(CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
analyzeInitializers(A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Analyze the initializers for the current analysis unit given the current analysis results
analyzeInitializers(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
 
analyzeInitializersForDataFlow(VarContext<AntiDepAbsVal>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
analyzeInitializersForDataFlow(VarContext<DefUseAbsVal>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
analyzeInitializersForDataFlow(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Analyze the initializers for the current analysis unit given the current analysis results
analyzeInitializersForDataFlow(VarContext<NotNullAbsVal>) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
analyzeStaticInitializers(A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Analyze the static initializers for the current analysis unit given the current analysis results
AND - Static variable in class accrue.analysis.parse.sym
 
ANDAND - Static variable in class accrue.analysis.parse.sym
 
ANDEQ - Static variable in class accrue.analysis.parse.sym
 
ANTIDEP - Static variable in class accrue.analysis.AnalysisTopics
 
AntiDepAbsVal - Class in accrue.analysis.antidep
Track the uses and definitions of locations.
AntiDepAbsVal() - Constructor for class accrue.analysis.antidep.AntiDepAbsVal
 
AntiDepAbsVal(Set<EdgeIdentifier>) - Constructor for class accrue.analysis.antidep.AntiDepAbsVal
 
AntiDepAnalysis() - Method in class accrue.AccrueSchedulerHelper
 
AntiDepAnalysisFactory - Class in accrue.analysis.antidep
 
AntiDepAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.antidep.AntiDepAnalysisFactory
 
AntiDepAnalysisUtil - Class in accrue.analysis.antidep
 
AntiDepAnalysisUtil(WorkQueue<VarContext<AntiDepAbsVal>>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.antidep.AntiDepAnalysisUtil
 
AntiDepDataFlow - Class in accrue.analysis.antidep
This analysis works as follows: At every use, an edge is created for the reference and associated with the locations referenced.
AntiDepDataFlow(AntiDepAnalysisUtil, WorkQueue<VarContext<AntiDepAbsVal>>, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.antidep.AntiDepDataFlow
 
AntiDepGoal - Class in accrue.analysis.antidep
 
AntiDepGoal() - Constructor for class accrue.analysis.antidep.AntiDepGoal
 
AntiDepPass - Class in accrue.analysis.antidep
 
approximateThrown(Term, PreciseDataFlow<FlowItem>) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
Approximate the set of exceptions that may be thrown by the term a as precisely as possible
arg_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
arg_uses - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
argumentsOnResultStack(Term, VarContext<T>) - Static method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Get the number of argument results on the stack
ARRAY_CONTENTS - Static variable in class accrue.analysis.interprocanalysis.AbstractLocation
 
ARRAY_CONTENTS - Static variable in class accrue.analysis.pointer.StmtRegistrar
 
ascribe(Expr, Type) - Method in class accrue.analysis.visit.InlineFinalConstants
 
ASSERT - Static variable in class accrue.analysis.parse.sym
 
aUnitDefs - Variable in class accrue.analysis.defuse.DefUseDataFlow
 
aUnitObs - Variable in class accrue.analysis.defuse.DefUseDataFlow
 
aUnitUses - Variable in class accrue.analysis.defuse.DefUseDataFlow
 
autil - Variable in class accrue.analysis.antidep.AntiDepDataFlow
 
autil - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
autil - Variable in class accrue.analysis.ctldep.CtlDepDataFlow
 
autil() - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
autil - Variable in class accrue.analysis.defuse.DefUseDataFlow
 
autil - Variable in class accrue.analysis.domination.PostDominatorDataFlow
 
autil() - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
 
autil() - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
autil - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
 

B

BOOLEAN - Static variable in class accrue.analysis.parse.sym
 
BOOLEAN_LITERAL - Static variable in class accrue.analysis.parse.sym
 
BOTTOM - Static variable in class accrue.analysis.ctldep.CDAbsVal
 
bottomAbstractValue() - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
 
bottomAbstractValue() - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
bottomAbstractValue() - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
 
bottomAbstractValue() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
bottomAbstractValue() - Method in class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
 
bottomAbstractValue() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
bottomAbstractValue() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
bottomAbstractValue() - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
bottomValDFI() - Method in class accrue.analysis.domination.DominationAnalysisFactory
 
branch(Branch.Kind) - Method in class accrue.analysis.interprocanalysis.ExitMap
Get the context for a break or a continue
branch(Branch.Kind, String) - Method in class accrue.analysis.interprocanalysis.ExitMap
Get the context for a break or a continue
branch(Branch.Kind, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Set the context for a break or continue
BRANCH_SOURCES - Static variable in class accrue.analysis.ctldep.CtlDepAnalysisFactory
The set of EdgeIdentifiers the current node is control dependent on.
BRANCH_TARGETS - Static variable in class accrue.analysis.ctldep.CtlDepAnalysisFactory
The set of EdgeIdentifiers to nodes that are control dependent on the current node.
branchKey(Branch.Kind) - Static method in class accrue.analysis.interprocanalysis.ExitMap
Get the key for continue or break
branchKey(Branch.Kind, String) - Static method in class accrue.analysis.interprocanalysis.ExitMap
Get the branch key (break or continue) for the given kind and label
BREAK - Static variable in class accrue.analysis.parse.sym
 
BYTE - Static variable in class accrue.analysis.parse.sym
 

C

Call(Position, Receiver, Id, List<Expr>) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
 
call(MethodInstance, Call) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
call(ConstructorInstance, Expr) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
call(Call) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
call(New) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
call(ConstructorCall) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
call(MethodInstance, Call) - Method in class accrue.analysis.domination.DominationAnalysisUtil
 
call(ConstructorInstance, New) - Method in class accrue.analysis.domination.DominationAnalysisUtil
 
call(MethodInstance, VarContext<T>, Call, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Process a call to mi with VarContext input.
call(ConstructorInstance, VarContext<T>, T, New, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Process a call to ci created with new with VarContext input.
call(MethodInstance, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Process a call to mi with VarContext input.
call(ConstructorInstance, VarContext<T>, T, New, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Deprecated.
call(MethodInstance, VarContext<T>, Call, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Deprecated.
call(MethodInstance, Call) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
 
call(ConstructorInstance, New) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
Process a constructor call from a new expression
call(MethodInstance, Call) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
Analyze a method call
call(ConstructorInstance, New) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
Process a constructor call from a new expression
CALL_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers from code decls to call sites.
CALL_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers from call sites to code decls.
calledBy(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
callee() - Method in class accrue.analysis.pointer.CallSiteNode
 
callees() - Method in class accrue.analysis.interprocanalysis.CallGraph
 
callees(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
callFromNew(ConstructorInstance, VarContext<T>, T, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Process a call to ci with VarContext input.
CallGraph - Class in accrue.analysis.interprocanalysis
Representation of the interprocedural call graph.
CallGraph(Set<AnalysisUnit>) - Constructor for class accrue.analysis.interprocanalysis.CallGraph
 
callGraph() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
callGraph() - Method in class accrue.analysis.pointer.PointsToGraph
 
callGraph() - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
callGraph() - Method in class accrue.analysis.pointer.PointsToGraphSync
 
callNonVirtual(ProcedureInstance, AnalysisContext, HContext, AntiDepAbsVal, VarContext<AntiDepAbsVal>, DataFlowNodeIdentifier, boolean) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
callNonVirtual(ProcedureInstance, AnalysisContext, Node) - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
A non-virtual call to a method instance
callNonVirtual(ProcedureInstance, AnalysisContext, HContext, DefUseAbsVal, VarContext<DefUseAbsVal>, DataFlowNodeIdentifier, boolean) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
callNonVirtual(ProcedureInstance, AnalysisContext, HContext, T, VarContext<T>, DataFlowNodeIdentifier, boolean) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Process a call to a non-virtual call to pi with VarContext input.
CallSiteContextSensitiveAnalysis - Class in accrue.analysis.pointer.analyses
Analysis where the contexts are based on procedure call sites
CallSiteContextSensitiveAnalysis() - Constructor for class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
Create an analysis with the default sensitivity
CallSiteContextSensitiveAnalysis(int) - Constructor for class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
Create an analysis with the given context-call-stack depth
CallSiteForCallee - Class in accrue.analysis.pointer.analyses
Call site sensitive for any callees matching a given prefix
CallSiteForCallee(int, String) - Constructor for class accrue.analysis.pointer.analyses.CallSiteForCallee
Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth
CallSiteForCallee(String) - Constructor for class accrue.analysis.pointer.analyses.CallSiteForCallee
Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth and the default sensitivity.
CallSiteForPattern - Class in accrue.analysis.pointer.analyses
Call site sensitivity, but only for call sites that match a particular pattern.
CallSiteForPattern() - Constructor for class accrue.analysis.pointer.analyses.CallSiteForPattern
Create an analysis with the default sensitivity and default string.
CallSiteForPattern(int) - Constructor for class accrue.analysis.pointer.analyses.CallSiteForPattern
Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
CallSiteNode - Class in accrue.analysis.pointer
XXX TODO Represents a call site, to a method or constructor.
CallSiteNode(ProcedureInstance, String, Position) - Constructor for class accrue.analysis.pointer.CallSiteNode
 
callSiteNode - Variable in class accrue.analysis.pointer.StmtProcedureCall
 
canAllTerminateNormally(List<? extends Node>) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
canTerminateNormally() - Method in class accrue.analysis.callgraph.PCGAbsVal
 
canTerminateNormally(Node) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
canTerminateNormally(AnalysisContext) - Method in class accrue.analysis.ext.ExtCall
 
canTerminateNormally(AnalysisContext) - Method in class accrue.analysis.ext.ExtConstructorCall
 
canTerminateNormally(AnalysisContext) - Method in class accrue.analysis.ext.ExtNew
 
canTerminateNormally(AnalysisContext) - Method in interface accrue.analysis.ext.ExtProcedureCall
 
canTerminateNormally() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
canTerminateNormally(Node) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
canTerminateNormally(AnalysisContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
CASE - Static variable in class accrue.analysis.parse.sym
 
Catch(Position, Formal, Block) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
 
CATCH - Static variable in class accrue.analysis.parse.sym
 
CATCH_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers from catch sites to throw sites.
CATCH_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers from throw sites to catch sites.
CContext - Interface in accrue.analysis.pointer
A procedure analysis context.
CDAbsVal - Class in accrue.analysis.ctldep
 
CDAbsVal(CDAbsVal, Set<EdgeIdentifier>) - Constructor for class accrue.analysis.ctldep.CDAbsVal
 
CDAbsVal(CDAbsVal, EdgeIdentifier) - Constructor for class accrue.analysis.ctldep.CDAbsVal
 
CHAR - Static variable in class accrue.analysis.parse.sym
 
CHARACTER - Static variable in class accrue.analysis.parse.Lexer_c
 
CHARACTER_LITERAL - Static variable in class accrue.analysis.parse.sym
 
check(FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
check(FlowGraph<VarContext<AntiDepAbsVal>>, Term, boolean, VarContext<AntiDepAbsVal>, Map<FlowGraph.EdgeKey, VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
check(FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
check(FlowGraph<CDAbsVal>, Term, boolean, CDAbsVal, Map<FlowGraph.EdgeKey, CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
check(FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
check(FlowGraph<VarContext<DefUseAbsVal>>, Term, boolean, VarContext<DefUseAbsVal>, Map<FlowGraph.EdgeKey, VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
check(FlowGraph<ImmediateDominator>, FlowGraph.Peer<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
 
check(FlowGraph<ImmediateDominator>, Term, boolean, ImmediateDominator, Map<FlowGraph.EdgeKey, ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
 
check(FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.NonFatalPostDominatorDataFlow
 
check(FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
check(FlowGraph<ImmediatePostDominator>, Term, boolean, ImmediatePostDominator, Map<FlowGraph.EdgeKey, ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
check(FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
"Check" the nodes of the graph for the not null analysis.
check(FlowGraph<VarContext<NotNullAbsVal>>, Term, boolean, VarContext<NotNullAbsVal>, Map<FlowGraph.EdgeKey, VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
checkInvariants(Map<FlowGraph.EdgeKey, VarContext<T>>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Check that our dataflow invariants hold
checkReachedFixedpoint(StmtRegistrar, PointsToGraph) - Method in class accrue.analysis.pointer.PointsToEngine
 
checkTimeout() - Method in class accrue.analysis.pointer.PointsToEngine
 
CLASS - Static variable in class accrue.analysis.parse.sym
 
clearDependees(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
Clear the set of AnalysisUnits that depend on the results of AnalysisUnit a.
clearExprResultStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
Clear the stack of expression results
clearHashCons(String) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Clear all values for the given analysis
clearMemoization() - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
 
clearMemoization() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
 
clearReturnResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
Clear the return result in this
CLOCK - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
The state of the clock
clone() - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
code - Variable in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
CodeGenerated - Class in accrue.analysis.goals
Comment for CompileGoal
CodeGenerated(Job) - Constructor for class accrue.analysis.goals.CodeGenerated
 
codeInfo(StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
codeInstance - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
codeNode() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
 
COLON - Static variable in class accrue.analysis.parse.sym
 
COMMA - Static variable in class accrue.analysis.parse.sym
 
COMP - Static variable in class accrue.analysis.parse.sym
 
compilerName() - Method in class accrue.AccrueJLExtensionInfo
 
compilerName() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
compilerName() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
 
computeExpectedExits(Term) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
ComputeFinallyStructure(Job) - Method in class accrue.AccrueSchedulerHelper
 
ComputeFinallyStructureDone() - Method in class accrue.AccrueSchedulerHelper
 
computeHashCode() - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
 
computeHashCode() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
computeHashCode() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
confluence(List<CDAbsVal>, FlowGraph.Peer<CDAbsVal>, FlowGraph<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
confluence(List<ImmediateDominator>, FlowGraph.Peer<ImmediateDominator>, FlowGraph<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
 
confluence(List<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>, FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
confluence(List<VarContext<T>>, FlowGraph.Peer<VarContext<T>>, FlowGraph<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
CONST - Static variable in class accrue.analysis.parse.sym
 
constructMissingContextForEdgeKey(FlowGraph.EdgeKey, FinalVarContext<T>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
If an edge is missing this method is called to approximate the variable context
constructMissingContextForEdgeKey(FlowGraph.EdgeKey, FinalVarContext<NotNullAbsVal>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
ConstructorCall(Position, ConstructorCall.Kind, Expr, List<Expr>) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
 
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.domination.DominationAnalysisUtil
 
constructorCall(ConstructorInstance, VarContext<T>, ConstructorCall, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Process a call to ci with VarContext input.
constructorCall(ConstructorInstance, VarContext<T>, ConstructorCall, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Deprecated.
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
Process a constructor call to this() or super(), i.e., from within a constructor.
constructorCall(ConstructorInstance, ConstructorCall) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
Process a constructor call to this() or super(), i.e., from within a constructor.
constructorCallFromConstructor(ConstructorInstance, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Process a call to ci with VarContext input.
constructorContext(ConstructorInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
ConstructorContext - Class in accrue.analysis.pointer
ConstructorContext is used to distinguish instances of code.
ConstructorContext(ConstructorInstance) - Constructor for class accrue.analysis.pointer.ConstructorContext
 
constructorContext(ConstructorContext) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
constructorContext() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
constructorInstance() - Method in class accrue.analysis.pointer.ConstructorContext
 
containingClass - Variable in class accrue.analysis.pointer.AllocSiteNode
 
context - Variable in class accrue.analysis.interprocanalysis.AbstractLocation
 
context() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
 
context - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
context - Variable in class accrue.analysis.pointer.ReferenceVariableReplica
 
contexts() - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
 
contexts() - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
CONTINUE - Static variable in class accrue.analysis.parse.sym
 
controlDeps - Variable in class accrue.analysis.ctldep.CDAbsVal
 
controlDeps() - Method in class accrue.analysis.ctldep.CDAbsVal
 
convert(Class<?>) - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
convert(CContext, List<ReferenceVariable>, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.StmtProcedureCall
 
convert(CContext, Map<Type, ReferenceVariable>, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.StmtProcedureCall
 
convert2(CContext, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.StmtProcedureCall
 
copy() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
copy() - Method in class accrue.analysis.interprocanalysis.ExitMap
Returns a copy so that it is ok to modify the map.
copy() - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
Returns a copy so that it is ok to modify the map.
copy() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
create(Scheduler, Job) - Static method in class accrue.analysis.goals.AnalysesDone
 
create(Scheduler, Job) - Static method in class accrue.analysis.goals.CodeGenerated
 
create(Scheduler, Job) - Static method in class accrue.analysis.goals.ExpressionFlattenerGoal
 
create(Scheduler, Job, NodeFactory, TypeSystem) - Static method in class accrue.analysis.goals.FindFinallyBlocksGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.InlineFinalConstantsGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.MakeInstanceInitializersExplicitGoal
 
create(Scheduler, Job, NodeFactory) - Static method in class accrue.analysis.goals.MakeNarrowingAssignmentsExplicitGoal
 
create(Scheduler, Job, NodeFactory, TypeSystem) - Static method in class accrue.analysis.goals.MakeTargetsExplicitGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.MoveInnerClassesGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.MoveStaticFieldInitializersGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory, boolean) - Static method in class accrue.analysis.goals.MoveStaticFieldInitializersGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.RegisterPointerStmtsGoal
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.analysis.goals.RegisterProceduresGoal
 
create(Scheduler, Job, NodeFactory, TypeSystem) - Static method in class accrue.analysis.goals.SimplifyExpressionsGoal
 
create(HContext, FieldInstance) - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
 
create(FieldInstance) - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
 
create(HContext, String) - Static method in class accrue.analysis.interprocanalysis.AbstractLocation
 
create(Map<ExitMap.Key, T>, Set<ClassType>) - Method in class accrue.analysis.interprocanalysis.ExitMap
Create a new map from the constituent parts
create(Map<ExitMap.Key, VarContext<T>>, Set<ClassType>) - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
 
create(HContext, FieldInstance) - Static method in class accrue.analysis.pointer.ObjectField
 
create(HContext, String, Type) - Static method in class accrue.analysis.pointer.ObjectField
 
create(CContext, ReferenceVariable, HeapAbstractionFactory) - Static method in class accrue.analysis.pointer.ReferenceVariableReplica
 
create(Scheduler, Job, TypeSystem, NodeFactory) - Static method in class accrue.jl5.goals.JL5RegisterPointerStmtsGoal
 
createAnalysisContext(AnalysisUtil<A>, CodeInstance, HContext, Node) - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Create an analysis context for a procedure
createAnalysisSignatures() - Method in class accrue.AccrueJLExtensionInfo
 
createAnalysisSignatures() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
createAnalysisUnitRecord() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
createAnalysisUnitRecord(T, ExitMap<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
createAnalysisUnitRecord() - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
createAnalysisUnitRecord(VarContext<T>, ExitMap<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
createCFGBuilder(TypeSystem, FlowGraph<FlowItem>) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
 
createExitMap(A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Create a map from exit key to the given analysis result
createExitMap(T) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
createFinalVarContext(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Create a FinalVarContext context from the given VarContext for normal termination
createFreshReferenceVariable(Expr, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
createFreshReferenceVariable(Expr, String, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
createHeapAbstractionFactory() - Method in class accrue.AccrueOptionsHelper
 
createHeapAbstractionFactory(String) - Static method in class accrue.AccrueOptionsHelper
create a HeapAbstractionFactory from a string.
createHeapDefinition(Set<AbstractLocation>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
createHeapUse(Set<AbstractLocation>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
createHelper() - Method in class accrue.AccrueJLScheduler
 
createInitContext() - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
createInitContext() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
createInitContext() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Create an initial variable context
createInitialItem(FlowGraph<CDAbsVal>, Term, boolean) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
createInitialItem(FlowGraph<ImmediateDominator>, Term, boolean) - Method in class accrue.analysis.domination.DominatorDataFlow
Create an initial Item for the dataflow analysis.
createInitialItem(FlowGraph<ImmediatePostDominator>, Term, boolean) - Method in class accrue.analysis.domination.PostDominatorDataFlow
Create an initial Item for the dataflow analysis.
createInitialItem(FlowGraph<VarContext<T>>, Term, boolean) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Create an initial Item for the dataflow analysis.
createLocalDefinition(String, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
createLocalUse(String, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
createNodeFactory() - Method in class accrue.AccrueJLExtensionInfo
 
createNodeFactory() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
createOptions() - Method in class accrue.AccrueJLExtensionInfo
 
createOptions() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
createOptions() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
 
createPass(ExtensionInfo) - Method in class accrue.analysis.antidep.AntiDepGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.callgraph.PreciseCallGraphGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.ctldep.CtlDepGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.defuse.DefUseGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.domination.DominatorGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.domination.NonFatalPostDominatorGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.domination.PostDominatorGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.AnalysesDone
 
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.CodeGenerated
 
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.MissingCodeReportGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.goals.PointerAnalysisGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.notnulldataflow.NotNullGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.preciseExceptions.PreciseExGoal
 
createPass(ExtensionInfo) - Method in class accrue.analysis.readwritesets.ReadWriteSetsGoal
 
createPointsToEngine() - Method in class accrue.AccrueOptionsHelper
Create the PointsToEngine for performing pointer analysis.
createScheduler() - Method in class accrue.AccrueJLExtensionInfo
 
createScheduler() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
createStmtRegistrar() - Method in interface accrue.AccrueExtensionInfo
Create the StmtRegistrar that will be used to register pointer-analysis statements.
createStmtRegistrar() - Method in class accrue.AccrueJLExtensionInfo
 
createStmtRegistrar() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
createWorkQueue() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
Create the analysis work queue of analysis units
createWorkQueue() - Method in class accrue.analysis.interprocvarcontext.InterProcVarContextPass
 
CrossProductAnalysis - Class in accrue.analysis.pointer.analyses
Create an analysis context that is the cross product of two context representations.
CrossProductAnalysis(HeapAbstractionFactory, HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.analyses.CrossProductAnalysis
Create an analysis as the cross product of two other analyses
CTLDEP - Static variable in class accrue.analysis.AnalysisTopics
 
CtlDepAnalysisFactory - Class in accrue.analysis.ctldep
 
CtlDepAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.ctldep.CtlDepAnalysisFactory
 
CtlDepAnalysisUtil - Class in accrue.analysis.ctldep
 
CtlDepAnalysisUtil(WorkQueue<CDAbsVal>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
CtlDepDataFlow - Class in accrue.analysis.ctldep
 
CtlDepDataFlow(CtlDepAnalysisUtil, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.ctldep.CtlDepDataFlow
 
CtlDepGoal - Class in accrue.analysis.ctldep
 
CtlDepGoal() - Constructor for class accrue.analysis.ctldep.CtlDepGoal
 
CtlDepPass - Class in accrue.analysis.ctldep
 
currentAnalysisUnit() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
currentClass() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
currentCode() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
currentContext() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
currentContext() - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
 
currentStmt - Variable in class accrue.analysis.visit.RegisterExpressions
 

D

data_dep_results_key - Variable in class accrue.analysis.defuse.DefUseDataFlow
 
DATA_DEPENDENCIES - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
This analysis result stores a Set pointing to definitions of locations used.
dataflow(CodeNode, CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
dataflow(FlowGraph<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
 
dataflow(FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
dataflow(CodeNode, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Construct a graph for the given code and call super DataFlow.dataflow(FlowGraph) on it
DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> - Interface in accrue.analysis.interprocanalysis
Helper interface to assist in dispatch for dataflow implementations.
DataFlowNodeIdentifier - Interface in accrue.analysis.interprocanalysis
 
DataFlowNodeIdentifier_c - Class in accrue.analysis.interprocanalysis
 
DataFlowNodeIdentifier_c(AnalysisContext, FlowGraph.PeerKey, Term) - Constructor for class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
 
dataFlowNodeIdentifierForPeer(FlowGraph.Peer<FlowItem>) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
Get the dataflow identifier object for the given flowgraph peer
dataFlowNodeIdentifierForPeer(FlowGraph.Peer<FlowItem>, AnalysisContext) - Static method in class accrue.analysis.interprocanalysis.PreciseDataFlow
Get the dataflow identifier object for the given flowgraph peer in the given context
decls - Variable in class accrue.analysis.goals.RegisterDeclsGoal
 
decls() - Method in class accrue.analysis.goals.RegisterDeclsGoal
 
decls - Variable in class accrue.analysis.visit.RegisterFieldDecls
 
DEFAULT - Static variable in class accrue.analysis.parse.sym
 
defaultFileExtension() - Method in class accrue.AccrueJLExtensionInfo
 
defaultFileExtension() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
 
defaultFileExtensions() - Method in class accrue.AccrueJLExtensionInfo
 
defaultFileExtensions() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
defaultFileExtensions() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo
 
DEFUSE - Static variable in class accrue.analysis.AnalysisTopics
 
DefUseAbsVal - Class in accrue.analysis.defuse
Track the uses and definitions of locations.
DefUseAbsVal() - Constructor for class accrue.analysis.defuse.DefUseAbsVal
 
DefUseAbsVal(Set<EdgeIdentifier>) - Constructor for class accrue.analysis.defuse.DefUseAbsVal
 
DefUseAnalysis() - Method in class accrue.AccrueSchedulerHelper
 
DefUseAnalysisFactory - Class in accrue.analysis.defuse
 
DefUseAnalysisFactory(AccrueExtensionInfo, DefUseAnalysisUtil.Mode, boolean) - Constructor for class accrue.analysis.defuse.DefUseAnalysisFactory
 
DefUseAnalysisUtil - Class in accrue.analysis.defuse
 
DefUseAnalysisUtil(WorkQueue<VarContext<DefUseAbsVal>>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.defuse.DefUseAnalysisUtil
 
DefUseAnalysisUtil(WorkQueue<VarContext<DefUseAbsVal>>, AnalysisUnit, AccrueExtensionInfo, DefUseAnalysisUtil.Mode, boolean) - Constructor for class accrue.analysis.defuse.DefUseAnalysisUtil
 
DefUseAnalysisUtil.Mode - Enum in accrue.analysis.defuse
 
DefUseDataFlow - Class in accrue.analysis.defuse
This dataflow finds reaching definitions for each local and field use.
DefUseDataFlow(DefUseAnalysisUtil, WorkQueue<VarContext<DefUseAbsVal>>, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.defuse.DefUseDataFlow
 
DefUseGoal - Class in accrue.analysis.defuse
 
DefUseGoal(DefUseAnalysisUtil.Mode) - Constructor for class accrue.analysis.defuse.DefUseGoal
 
DefUseLibrarySignature - Class in accrue.analysis.defuse
Signature classes for Def/Use analysis.
DefUseLibrarySignature(List<String>, List<String>, boolean, boolean) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature
A signature that defines and uses locations on the receiver
DefUseLibrarySignature(List<String>, List<String>, List<String>, List<String>, boolean, boolean) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature
A signature that defines and uses locations on the receiver and arguments
DefUseLibrarySignature(List<String>, List<String>, List<String>, List<String>, List<List<String>>, List<List<String>>, boolean, boolean) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature
A signature that defines and uses locations on the receiver and arguments
DefUseLibrarySignature.DEF_ARG - Class in accrue.analysis.defuse
 
DefUseLibrarySignature.DEF_ARG(int, int, String) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.DEF_ARG
 
DefUseLibrarySignature.DEF_HIDDEN - Class in accrue.analysis.defuse
 
DefUseLibrarySignature.DEF_HIDDEN(String...) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.DEF_HIDDEN
 
DefUseLibrarySignature.Join - Class in accrue.analysis.defuse
 
DefUseLibrarySignature.Join(DefUseLibrarySignature, DefUseLibrarySignature) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.Join
 
DefUseLibrarySignature.USE_DEF_HIDDEN - Class in accrue.analysis.defuse
 
DefUseLibrarySignature.USE_DEF_HIDDEN(String...) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_DEF_HIDDEN
 
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN - Class in accrue.analysis.defuse
 
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN(String, int, int, String) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN
 
DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN(List<String>, int, List<Integer>, List<String>) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_DEF_USEARG_HIDDEN
 
DefUseLibrarySignature.USE_HIDDEN - Class in accrue.analysis.defuse
 
DefUseLibrarySignature.USE_HIDDEN(String...) - Constructor for class accrue.analysis.defuse.DefUseLibrarySignature.USE_HIDDEN
 
DefUsePass - Class in accrue.analysis.defuse
 
depthToNodeEntry(Term) - Method in class accrue.analysis.interprocvarcontext.VarContext
Return number of elements on stack since entry to node was recorded.
DistinguishClass - Class in accrue.analysis.pointer.analyses
A heap abstraction that improves the precision of object sensitive analyses: once a call stack is tainted by a subclass of the specified class, all heap and code contexts are distinguished by the allocation site of that specified class.
DistinguishClass(String) - Constructor for class accrue.analysis.pointer.analyses.DistinguishClass
 
DIV - Static variable in class accrue.analysis.parse.sym
 
DIVEQ - Static variable in class accrue.analysis.parse.sym
 
diverge(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Add the context, c, to the map with a diverge key
DO - Static variable in class accrue.analysis.parse.sym
 
do_action(int, lr_parser, Stack<Symbol>, int) - Method in class accrue.analysis.parse.Grm
Invoke a user supplied parse action.
DominationAnalysisFactory - Class in accrue.analysis.domination
 
DominationAnalysisFactory(DominationPass.Kind, AccrueExtensionInfo) - Constructor for class accrue.analysis.domination.DominationAnalysisFactory
 
DominationAnalysisUtil - Class in accrue.analysis.domination
 
DominationAnalysisUtil(WorkQueue<Unit>, AnalysisUnit, AccrueExtensionInfo, DominationPass.Kind) - Constructor for class accrue.analysis.domination.DominationAnalysisUtil
 
DominationPass - Class in accrue.analysis.domination
 
DominationPass.Kind - Enum in accrue.analysis.domination
 
Dominator() - Method in class accrue.AccrueSchedulerHelper
 
DOMINATOR - Static variable in class accrue.analysis.AnalysisTopics
 
DominatorDataFlow - Class in accrue.analysis.domination
This PreciseDataFlow finds dominators in the control flow graph.
DominatorDataFlow(Job, TypeSystem, NodeFactory, DominationAnalysisUtil) - Constructor for class accrue.analysis.domination.DominatorDataFlow
 
DominatorGoal - Class in accrue.analysis.domination
 
DominatorGoal() - Constructor for class accrue.analysis.domination.DominatorGoal
 
dominatorsOf(DataFlowNodeIdentifier, FlowGraph<FlowItem>, AnalysisContext) - Static method in class accrue.analysis.domination.DominatorDataFlow
Returns the set of all dominators of the given Peer within the flow graph.
DONT_TRACK_BOTTOM - Static variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Change this if we want bottom policies to stick around
DOT - Static variable in class accrue.analysis.parse.sym
 
DOUBLE - Static variable in class accrue.analysis.parse.sym
 
DOUBLE_LITERAL - Static variable in class accrue.analysis.parse.sym
 
dropBackEdges() - Method in class accrue.analysis.ctldep.CtlDepAnalysisUtil
 
dump(PrintStream) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
dump(PrintStream) - Method in class accrue.analysis.pointer.PointsToGraph
Dump the graph in a human readable form.
dump(PrintStream) - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
dump(PrintStream) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
dumpPointsToGraph(int) - Method in class accrue.analysis.pointer.PointsToGraph
Dump the graph in GraphViz dot format.
dumpPointsToGraph(int) - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
dumpPointsToGraph(int) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
dumpQueue(PrintStream) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 

E

EDGE_CALL - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
EDGE_CONTROL - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
EDGE_FALSE - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
EDGE_INIT - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
EDGE_RETURN - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
EDGE_TRUE - Static variable in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
EdgeIdentifier - Interface in accrue.analysis.interprocanalysis
 
EdgeIdentifier.EdgeType - Class in accrue.analysis.interprocanalysis
 
EdgeIdentifier.EdgeType(boolean) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.EdgeType
 
EdgeIdentifier.ExceptionEdge - Class in accrue.analysis.interprocanalysis
 
EdgeIdentifier.ExceptionEdge(ClassType) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
 
EdgeIdentifier.HeapUseKey - Class in accrue.analysis.interprocanalysis
A HeapUseKey is used for data dependency edges between defs and uses of heap locations
EdgeIdentifier.HeapUseKey(Set<AbstractLocation>, boolean) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
EdgeIdentifier.HeapUseKey(Set<AbstractLocation>) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
EdgeIdentifier.LocalUseKey - Class in accrue.analysis.interprocanalysis
A LocalUseKey is used for data dependency edges between defs and uses of Local and Formal locations
EdgeIdentifier.LocalUseKey(String) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
 
EdgeIdentifier.LocalUseKey(String, boolean) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
 
EdgeIdentifier_c - Class in accrue.analysis.interprocanalysis
 
EdgeIdentifier_c(EdgeIdentifier.EdgeType, NodeIdentifier) - Constructor for class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
edgeKeyConvert(FlowGraph.EdgeKey) - Static method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Convert FlowGraph edge keys to FinalVarContext edge keys
edgeSize() - Method in class accrue.analysis.pointer.PointsToGraph
 
edgeSize() - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
edgeSize() - Method in class accrue.analysis.pointer.PointsToGraphSync
 
ELSE - Static variable in class accrue.analysis.parse.sym
 
EMPTY - Static variable in class accrue.analysis.antidep.AntiDepAbsVal
 
EMPTY - Static variable in class accrue.analysis.callgraph.PCGAbsVal
 
EMPTY - Static variable in class accrue.analysis.defuse.DefUseAbsVal
 
EMPTY - Static variable in class accrue.analysis.interprocvarcontext.Stack
 
EMPTY - Static variable in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
EMPTY - Static variable in class accrue.analysis.readwritesets.ReadWriteSet
Empty read and write sets
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.CallSiteForPattern
Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
Empty context represents methods with no invoking objects (including static methods).
EMPTY_CONTEXT - Variable in class accrue.analysis.pointer.analyses.StickFirstMatches
Empty context represents methods with no invoking objects (including static methods).
emptyExitMap() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Get the ExitMap
emptyExitMap() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
emptyExitMap() - Method in class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
 
emptyFinalVarContext() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
emptysetsigs - Variable in class accrue.AccrueOptionsHelper
 
emptySetSigsOptFlag - Variable in class accrue.AccrueOptionsHelper
 
emptyStack() - Static method in class accrue.analysis.interprocvarcontext.Stack
 
emptyStack() - Static method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
This is the only way to create a SuspendedExecutionStack
enclosedExprs - Variable in class accrue.analysis.goals.RegisterExpressionsGoal
 
enclosedExprs - Variable in class accrue.analysis.visit.RegisterExpressions
 
enclosingFinallyDepth() - Method in interface accrue.analysis.ext.AccrueExt
How many enclosing finally blocks is this node nested inside? This information is used during dataflow analysis to help manage syspended execution contexts.
enclosingFinallyDepth() - Method in class accrue.analysis.ext.AccrueExt_c
 
enclosingStmt - Variable in class accrue.analysis.goals.RegisterExpressionsGoal
 
enclosingStmt() - Method in class accrue.analysis.goals.RegisterExpressionsGoal
 
enclosingStmt - Variable in class accrue.analysis.visit.RegisterExpressions
 
END_OF_LINE_COMMENT - Static variable in class accrue.analysis.parse.Lexer_c
 
engine - Variable in class accrue.analysis.pointer.PointsToGraph
 
enter(Node, Node) - Method in class accrue.analysis.visit.MakeTargetsExplicit
 
enter(Node, Node) - Method in class accrue.analysis.visit.RegisterExpressions
 
enter(Node) - Method in class accrue.analysis.visit.SimplifyExpressions
 
enterCall(Node) - Method in class accrue.analysis.interprocanalysis.RegisterProceduresVisitor
 
enterCall(Node, Node) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
enterCall(Node, Node) - Method in class accrue.analysis.visit.FindFinallyBlocks
 
enterCall(Node, Node) - Method in class accrue.jl5.pointer.JL5RegisterPointerStmtsVisitor
 
ENTRY - Variable in class accrue.analysis.ctldep.CtlDepDataFlow
 
ENTRY - Static variable in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
Standard indexes for referring to entry and exit of native code.
EOF - Static variable in class accrue.analysis.parse.sym
 
EOF_sym() - Method in class accrue.analysis.parse.Grm
EOF Symbol index.
EQ - Static variable in class accrue.analysis.parse.sym
 
EQEQ - Static variable in class accrue.analysis.parse.sym
 
equals(Object) - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
equals(Object) - Method in class accrue.analysis.callgraph.PCGAbsVal
 
equals(Object) - Method in class accrue.analysis.ctldep.CDAbsVal
 
equals(Object) - Method in class accrue.analysis.defuse.DefUseAbsVal
 
equals(Object) - Method in class accrue.analysis.defuse.NewAllocAbsVal
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.AbstractLocation
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap.Key
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.ExitMap.LabeledBranchKey
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
equals(Object) - Method in class accrue.analysis.interprocanalysis.Unit
 
equals(Object) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap.CodeObjectPeerContext
 
equals(Object) - Method in class accrue.analysis.interprocvarcontext.Stack
 
equals(Object) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
 
equals(Object) - Method in class accrue.analysis.interprocvarcontext.VarContext
 
equals(Object) - Method in class accrue.analysis.pointer.AllocSiteNode
 
equals(Object) - Method in class accrue.analysis.pointer.CallSiteNode
 
equals(Object) - Method in class accrue.analysis.pointer.ConstructorContext
 
equals(Object) - Method in class accrue.analysis.pointer.ObjectField
 
equals(Object) - Method in class accrue.analysis.pointer.PointsToEngine.StmtAndContext
 
equals(Object) - Method in class accrue.analysis.pointer.PointsToGraph
 
equals(Object) - Method in class accrue.analysis.pointer.PointsToStmt
 
equals(Object) - Method in class accrue.analysis.pointer.ReferenceVariable
 
equals(Object) - Method in class accrue.analysis.pointer.ReferenceVariableReplica
 
equals(Object) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
equals(Object) - Method in class accrue.analysis.preciseExceptions.ThrowableType
 
equals(Object) - Method in class accrue.analysis.readwritesets.ReadWriteSet
 
equalsSemantic(CContext) - Method in interface accrue.analysis.pointer.CContext
Semantic equality between two CContexts.
equalsSemantic(HContext) - Method in interface accrue.analysis.pointer.HContext
Semantic equality between two HContexts.
equalsSemantic(ObjectField) - Method in class accrue.analysis.pointer.ObjectField
 
equalsSemantic(ReferenceVariableReplica) - Method in class accrue.analysis.pointer.ReferenceVariableReplica
 
error - Static variable in class accrue.analysis.parse.sym
 
error_sym() - Method in class accrue.analysis.parse.Grm
error Symbol index.
ExactExceptions(String) - Static method in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
 
exception(ClassType, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Add the exception type with the context, c
exception(ClassType) - Method in class accrue.analysis.interprocanalysis.ExitMap
Get the context for the given exception type
exceptionHandlers(List<StmtRegistrar.ExceptionHandlerReferenceVariable>) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
exceptionHandlers() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
exceptionHandlers - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
 
exceptionKey(ClassType) - Static method in class accrue.analysis.interprocanalysis.ExitMap
Get the key for the given exception type
exceptionRets - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
exceptionTypes - Variable in class accrue.analysis.interprocanalysis.ExitMap
Type of exceptions that can be thrown on exception exit
exceptionTypes() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
existingResultSuitable(T, WorkQueue.AnalysisUnitRecord<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
existingResultSuitable(VarContext<T>, WorkQueue.AnalysisUnitRecord<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
existsPathOfLength(CodeInstance, int) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
existsPathOfLength(AnalysisUnit, int) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
EXIT - Static variable in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
Standard indexes for referring to entry and exit of native code.
ExitMap<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
Map giving the possible exit paths and the lattice elements along those paths
ExitMap(Map<ExitMap.Key, T>, Set<ClassType>) - Constructor for class accrue.analysis.interprocanalysis.ExitMap
Create a new map from the constituent parts
ExitMap.ExceptionKey - Class in accrue.analysis.interprocanalysis
Key for an exception exit path
ExitMap.Key - Class in accrue.analysis.interprocanalysis
Exit map key
ExitMap.Key() - Constructor for class accrue.analysis.interprocanalysis.ExitMap.Key
 
ExitMap.LabeledBranchKey - Class in accrue.analysis.interprocanalysis
Labeled break or continue
expectedType() - Method in class accrue.analysis.pointer.AllocSiteNode
 
expectedType() - Method in class accrue.analysis.pointer.ObjectField
 
expectedType() - Method in class accrue.analysis.pointer.PointsToGraphNode
 
expectedType() - Method in class accrue.analysis.pointer.ReferenceVariable
 
expectedType() - Method in class accrue.analysis.pointer.ReferenceVariableReplica
 
expr() - Method in interface accrue.analysis.ast.Suppress
 
expr() - Method in class accrue.analysis.ast.Suppress_c
 
ExpressionFlattenerGoal(Job) - Method in class accrue.AccrueSchedulerHelper
 
ExpressionFlattenerGoal - Class in accrue.analysis.goals
 
ExpressionFlattenerGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.ExpressionFlattenerGoal
 
exprResultStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
exprResultStack(Stack<T>, Map<Term, Integer>) - Method in class accrue.analysis.interprocvarcontext.VarContext
Swap the expression result stack in this with s
exprResultStackNodeEntry() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
ext(Node) - Static method in class accrue.analysis.ext.AccrueExt_c
 
ExtAlloc - Interface in accrue.analysis.ext
 
extAmbTypeInstantiation() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extAmbTypeInstantiationImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extAmbWildCard() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extAmbWildCardImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extAnnotationElemDecl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extAnnotationElemDeclImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtArrayAccess - Class in accrue.analysis.ext
 
ExtArrayAccess() - Constructor for class accrue.analysis.ext.ExtArrayAccess
 
ExtArrayAccessAssign - Class in accrue.analysis.ext
 
ExtArrayAccessAssign() - Constructor for class accrue.analysis.ext.ExtArrayAccessAssign
 
extArrayAccessAssignImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extArrayAccessImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtArrayInit - Class in accrue.analysis.ext
 
ExtArrayInit() - Constructor for class accrue.analysis.ext.ExtArrayInit
 
extArrayInitImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtAssert - Class in accrue.analysis.ext
 
ExtAssert() - Constructor for class accrue.analysis.ext.ExtAssert
 
extAssertImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtBinary - Class in accrue.analysis.ext
 
ExtBinary() - Constructor for class accrue.analysis.ext.ExtBinary
 
extBinaryImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtBlock - Class in accrue.analysis.ext
 
ExtBlock() - Constructor for class accrue.analysis.ext.ExtBlock
 
extBlockImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtBranch - Class in accrue.analysis.ext
 
ExtBranch() - Constructor for class accrue.analysis.ext.ExtBranch
 
extBranchImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtCall - Class in accrue.analysis.ext
 
ExtCall() - Constructor for class accrue.analysis.ext.ExtCall
 
extCallImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtCast - Class in accrue.analysis.ext
 
ExtCast() - Constructor for class accrue.analysis.ext.ExtCast
 
extCastImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtCatch - Class in accrue.analysis.ext
 
ExtCatch() - Constructor for class accrue.analysis.ext.ExtCatch
 
extCatchImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtCodeDecl - Class in accrue.analysis.ext
 
ExtCodeDecl() - Constructor for class accrue.analysis.ext.ExtCodeDecl
 
ExtConditional - Class in accrue.analysis.ext
 
ExtConditional() - Constructor for class accrue.analysis.ext.ExtConditional
 
extConditionalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtConstructorCall - Class in accrue.analysis.ext
 
ExtConstructorCall() - Constructor for class accrue.analysis.ext.ExtConstructorCall
 
extConstructorCallImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtConstructorDecl - Class in accrue.analysis.ext
 
ExtConstructorDecl() - Constructor for class accrue.analysis.ext.ExtConstructorDecl
 
extConstructorDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtDo - Class in accrue.analysis.ext
 
ExtDo() - Constructor for class accrue.analysis.ext.ExtDo
 
extDoImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extElementValueArrayInit() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extElementValueArrayInitImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extElementValuePair() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extElementValuePairImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtEmpty - Class in accrue.analysis.ext
 
ExtEmpty() - Constructor for class accrue.analysis.ext.ExtEmpty
 
extEmptyImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
EXTENDS - Static variable in class accrue.analysis.parse.sym
 
extensionInfo() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
extensionInfo() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
 
extensionInfo() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
ExtEnumConstant - Class in accrue.jl5.ext
 
ExtEnumConstant() - Constructor for class accrue.jl5.ext.ExtEnumConstant
 
extEnumConstant() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtEnumConstantDecl - Class in accrue.jl5.ext
 
ExtEnumConstantDecl() - Constructor for class accrue.jl5.ext.ExtEnumConstantDecl
 
extEnumConstantDecl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extEnumConstantDeclImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extEnumConstantImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extEnumDecl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extEnumDeclImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtEval - Class in accrue.analysis.ext
 
ExtEval() - Constructor for class accrue.analysis.ext.ExtEval
 
extEvalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtExpr - Class in accrue.analysis.ext
 
ExtExpr() - Constructor for class accrue.analysis.ext.ExtExpr
 
extExprImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extExtendedFor() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extExtendedForImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtField - Class in accrue.analysis.ext
 
ExtField() - Constructor for class accrue.analysis.ext.ExtField
 
ExtFieldAssign - Class in accrue.analysis.ext
 
ExtFieldAssign() - Constructor for class accrue.analysis.ext.ExtFieldAssign
 
extFieldAssignImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtFieldDecl - Class in accrue.analysis.ext
 
ExtFieldDecl() - Constructor for class accrue.analysis.ext.ExtFieldDecl
 
extFieldDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extFieldImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtFormal - Class in accrue.analysis.ext
 
ExtFormal() - Constructor for class accrue.analysis.ext.ExtFormal
 
extFormalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtIf - Class in accrue.analysis.ext
 
ExtIf() - Constructor for class accrue.analysis.ext.ExtIf
 
extIfImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extInfo - Variable in class accrue.AccrueSchedulerHelper
The ExtensionInfo for the scheduler this class is helping.
extInfo - Variable in class accrue.analysis.interprocanalysis.AnalysisFactory
 
extInfo - Variable in class accrue.analysis.interprocanalysis.AnalysisUtil
Compiler extension info
extInfo - Variable in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
Compiler extension info
ExtInitializer - Class in accrue.analysis.ext
 
ExtInitializer() - Constructor for class accrue.analysis.ext.ExtInitializer
 
extInitializerImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtInitializerOrFieldDecl - Interface in accrue.analysis.ext
 
ExtInstanceof - Class in accrue.analysis.ext
 
ExtInstanceof() - Constructor for class accrue.analysis.ext.ExtInstanceof
 
extInstanceofImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtLabeled - Class in accrue.analysis.ext
 
ExtLabeled() - Constructor for class accrue.analysis.ext.ExtLabeled
 
extLabeledImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtLit - Class in accrue.analysis.ext
 
ExtLit() - Constructor for class accrue.analysis.ext.ExtLit
 
extLitImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtLocal - Class in accrue.analysis.ext
 
ExtLocal() - Constructor for class accrue.analysis.ext.ExtLocal
 
ExtLocalAssign - Class in accrue.analysis.ext
 
ExtLocalAssign() - Constructor for class accrue.analysis.ext.ExtLocalAssign
 
extLocalAssignImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtLocalDecl - Class in accrue.analysis.ext
 
ExtLocalDecl() - Constructor for class accrue.analysis.ext.ExtLocalDecl
 
extLocalDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extLocalImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtLoop - Class in accrue.analysis.ext
 
ExtLoop() - Constructor for class accrue.analysis.ext.ExtLoop
 
extMarkerAnnotationElem() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extMarkerAnnotationElemImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtMethodDecl - Class in accrue.analysis.ext
 
ExtMethodDecl() - Constructor for class accrue.analysis.ext.ExtMethodDecl
 
extMethodDeclImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtNew - Class in accrue.analysis.ext
 
ExtNew() - Constructor for class accrue.analysis.ext.ExtNew
 
ExtNewArray - Class in accrue.analysis.ext
 
ExtNewArray() - Constructor for class accrue.analysis.ext.ExtNewArray
 
extNewArrayImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extNewImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extNodeImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extNormalAnnotationElem() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extNormalAnnotationElemImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extParamTypeNode() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extParamTypeNodeImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtPrimitiveExpr - Class in accrue.analysis.ext
The extension to use for any primitive only expression.
ExtPrimitiveExpr() - Constructor for class accrue.analysis.ext.ExtPrimitiveExpr
 
ExtProcedureCall - Interface in accrue.analysis.ext
 
ExtProcedureDecl - Class in accrue.analysis.ext
 
ExtProcedureDecl() - Constructor for class accrue.analysis.ext.ExtProcedureDecl
 
ExtReturn - Class in accrue.analysis.ext
 
ExtReturn() - Constructor for class accrue.analysis.ext.ExtReturn
 
extReturnImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extSingleElementAnnotationElem() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
extSingleElementAnnotationElemImpl() - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
ExtSpecial - Class in accrue.analysis.ext
 
ExtSpecial() - Constructor for class accrue.analysis.ext.ExtSpecial
 
extSpecialImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extSuppress() - Method in interface accrue.analysis.ext.AnalysisExtFactory
 
extSuppress() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtSuppress - Class in accrue.analysis.ext
 
ExtSuppress() - Constructor for class accrue.analysis.ext.ExtSuppress
 
extSuppressImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtSwitch - Class in accrue.analysis.ext
 
ExtSwitch() - Constructor for class accrue.analysis.ext.ExtSwitch
 
extSwitchBlockImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
extSwitchImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtSynchronized - Class in accrue.analysis.ext
 
ExtSynchronized() - Constructor for class accrue.analysis.ext.ExtSynchronized
 
extSynchronizedImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtTerm - Class in accrue.analysis.ext
Dataflow node extension object for an object sensitive analysis
ExtTerm() - Constructor for class accrue.analysis.ext.ExtTerm
 
extTermImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtThrow - Class in accrue.analysis.ext
 
ExtThrow() - Constructor for class accrue.analysis.ext.ExtThrow
 
extThrowImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtTry - Class in accrue.analysis.ext
 
ExtTry() - Constructor for class accrue.analysis.ext.ExtTry
 
extTryImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtTypeNode - Class in accrue.analysis.ext
 
ExtTypeNode() - Constructor for class accrue.analysis.ext.ExtTypeNode
 
extTypeNodeImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtUnary - Class in accrue.analysis.ext
 
ExtUnary() - Constructor for class accrue.analysis.ext.ExtUnary
 
extUnaryImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
ExtWhile - Class in accrue.analysis.ext
 
ExtWhile() - Constructor for class accrue.analysis.ext.ExtWhile
 
extWhileImpl() - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
exType - Variable in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
Type of exception
exType - Variable in class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
 
exType - Variable in class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
 

F

factory - Variable in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
Analysis utility class
factory() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
factory() - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
falseResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
Get the context for the false branch if any, otherwise return the context for normal termination
falseResult(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Set the context for the false branch
fi - Variable in class accrue.analysis.interprocanalysis.AbstractLocation
 
fi - Variable in class accrue.analysis.pointer.ObjectField
 
fieldName - Variable in class accrue.analysis.interprocanalysis.AbstractLocation
 
fieldName - Variable in class accrue.analysis.pointer.ObjectField
 
file() - Method in class accrue.analysis.parse.Lexer_c
 
FINAL - Static variable in class accrue.analysis.parse.sym
 
FINALLY - Static variable in class accrue.analysis.parse.sym
 
FinalVarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
The analysis context produced by analyzing a command.
FinalVarContext(Map<ExitMap.Key, VarContext<T>>, Set<ClassType>) - Constructor for class accrue.analysis.interprocvarcontext.FinalVarContext
Create one from its parts
finalVarContextToDataFlowMap(FinalVarContext<T>, Set<FlowGraph.EdgeKey>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Converts a FinalVarContext to a map from EdgeKeys to Items.
FindFinallyBlocks - Class in accrue.analysis.visit
This visitor identifies finally blocks, and records for every node how many finally blocks it is lexically nested in.
FindFinallyBlocks(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.visit.FindFinallyBlocks
 
FindFinallyBlocksGoal - Class in accrue.analysis.goals
 
FindFinallyBlocksGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.FindFinallyBlocksGoal
 
firstChild() - Method in class accrue.analysis.ast.Suppress_c
 
fixContextForReferenceVariable(CContext, ReferenceVariable) - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
 
fixContextForReferenceVariable(CContext, ReferenceVariable) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Fix the code context for a reference variable, if needed, when creating a reference variable replica for reference variable r.
flattenExpressionOptFlag - Variable in class accrue.AccrueOptionsHelper
 
flattenExpressions - Variable in class accrue.AccrueOptionsHelper
 
flattenImpureUnary(Unary) - Method in class accrue.analysis.visit.SimplifyExpressions
 
FLOAT - Static variable in class accrue.analysis.parse.sym
 
FLOAT_LITERAL - Static variable in class accrue.analysis.parse.sym
 
flow(List<CDAbsVal>, List<FlowGraph.EdgeKey>, FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
flow(List<ImmediateDominator>, List<FlowGraph.EdgeKey>, FlowGraph<ImmediateDominator>, FlowGraph.Peer<ImmediateDominator>) - Method in class accrue.analysis.domination.DominatorDataFlow
 
flow(List<ImmediatePostDominator>, List<FlowGraph.EdgeKey>, FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.NonFatalPostDominatorDataFlow
 
flow(List<ImmediatePostDominator>, List<FlowGraph.EdgeKey>, FlowGraph<ImmediatePostDominator>, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
flow(List<VarContext<T>>, List<FlowGraph.EdgeKey>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flow(VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Produce new variable contexts from the input contexts and FlowGraph.Peer
flowArithmeticException(VarContext<AntiDepAbsVal>, Binary, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowArithmeticException(VarContext<DefUseAbsVal>, Binary, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowArrayAccess(ArrayAccess, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowArrayAccess(ArrayAccess, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowArrayAccess(ArrayAccess, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowArrayAccess(ArrayAccess, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowArrayAccess(ArrayAccess, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowArrayAccess(ArrayAccess, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowArrayAccessAssign(ArrayAccessAssign, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowArrayAccessAssign(ArrayAccessAssign, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowArrayAccessAssign(ArrayAccessAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowArrayAccessAssign(ArrayAccessAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowArrayAccessAssign(ArrayAccessAssign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowArrayInit(ArrayInit, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowArrayInit(ArrayInit, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowArrayInit(ArrayInit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowArrayInit(ArrayInit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowArrayInit(ArrayInit, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowAssert(Assert, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowAssert(Assert, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowAssert(Assert, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowAssign(Assign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowAssign(Assign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Compute the dataflow for n
flowAssign(Assign, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowBinary(Binary, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowBinary(Binary, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowBinary(Binary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowBinary(Binary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowBinary(Binary, VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowBinary(Binary, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowBlock(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowBlock(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowBlock(Block, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowBranch(Branch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowBranch(Branch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowBranch(Branch, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowCall(Call, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowCall(Call, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowCall(Call, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowCall(Call, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowCall(Call, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowCall(Call, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowCast(Cast, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowCast(Cast, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowCast(Cast, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowCast(Cast, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowCast(Cast, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowCast(Cast, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowCatch(Catch, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowCatch(Catch, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowCatch(Catch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowCatch(Catch, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowCatch(Catch, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowCatch(Catch, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowClassCastException(VarContext<AntiDepAbsVal>, Cast, AntiDepAbsVal, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowClassCastException(VarContext<DefUseAbsVal>, Cast, DefUseAbsVal, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowCodeDecl(CodeDecl, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowCodeDecl(CodeDecl, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowCodeDecl(CodeDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Compute the dataflow for n
flowCodeDecl(CodeDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowConditional(Conditional, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowConditional(Conditional, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowConditional(Conditional, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowConditional(Conditional, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowConstructorCall(ConstructorCall, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowConstructorCall(ConstructorCall, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowConstructorCall(ConstructorCall, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowConstructorCall(ConstructorCall, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowConstructorCall(ConstructorCall, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowConstructorCall(ConstructorCall, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowConstructorDecl(ConstructorDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowConstructorDecl(ConstructorDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowConstructorDecl(ConstructorDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowControlDeps(CDAbsVal, FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtArrayAccess
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtArrayAccessAssign
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtArrayInit
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtAssert
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtBinary
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtBlock
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtBranch
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtCall
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtCast
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtCatch
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtConditional
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtConstructorCall
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtConstructorDecl
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtDo
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtEmpty
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtEval
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtField
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtFieldAssign
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtFieldDecl
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtFormal
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtIf
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtInitializer
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtInstanceof
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLabeled
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLit
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLocal
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLocalAssign
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtLocalDecl
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtMethodDecl
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtNew
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtNewArray
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtReturn
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtSpecial
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtSuppress
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtSynchronized
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTerm
Dispatch function.
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTerm
Dispatch function.
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtThrow
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTry
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtTypeNode
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtUnary
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.ext.ExtWhile
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.jl5.ext.ExtEnumConstant
 
flowDispatch(DataFlowDispatch<DFItem>, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
flowDo(Do, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowDo(Do, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowDo(Do, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowEmpty(Empty, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowEmpty(Empty, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowEmpty(Empty, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowEnumConstant(EnumConstant, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowEnumConstant(EnumConstant, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
Compute the dataflow for n
flowEnumConstantDecl(EnumConstantDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
The following methods provide support for JL5 language features.
flowEnumConstantDecl(EnumConstantDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
Compute the dataflow for n
flowEval(Eval, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowEval(Eval, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowEval(Eval, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowExpr(Expr, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowExpr(Expr, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowExpr(Expr, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowExpr(Expr, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowExpr(Expr, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowExpr(Expr, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowExtendedFor(ExtendedFor, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowExtendedFor(ExtendedFor, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
Compute the dataflow for n
flowField(Field, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowField(Field, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowField(Field, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowField(Field, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowField(Field, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowField(Field, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowFieldAssign(FieldAssign, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowFieldAssign(FieldAssign, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowFieldAssign(FieldAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowFieldAssign(FieldAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowFieldAssign(FieldAssign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowFieldDecl(FieldDecl, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowFieldDecl(FieldDecl, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowFieldDecl(FieldDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowFieldDecl(FieldDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowFieldDecl(FieldDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowFieldDecl(FieldDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowFinally(Block, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowFinally(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowFinally(Block, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowFinally(Block, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowFinally(Block, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowFormal(Formal, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowFormal(Formal, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowFormal(Formal, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowFormal(Formal, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowFormal(Formal, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowFormal(Formal, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowIf(If, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowIf(If, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowIf(If, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowIf(If, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowIf(If, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowImpl(VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowImpl(VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowImpl(VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowImpl(VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowImpossibleException(VarContext<AntiDepAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowImpossibleException(FinalVarContext<AntiDepAbsVal>, ClassType, Node) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowImpossibleException(VarContext<DefUseAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowImpossibleException(FinalVarContext<DefUseAbsVal>, ClassType, Node) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowInitializer(Initializer, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowInitializer(Initializer, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowInitializer(Initializer, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowInstanceof(Instanceof, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowInstanceof(Instanceof, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowInstanceof(Instanceof, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowInstanceof(Instanceof, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowInstanceof(Instanceof, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowInstanceof(Instanceof, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowLabeled(Labeled, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowLabeled(Labeled, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowLabeled(Labeled, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowLit(Lit, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowLit(Lit, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowLit(Lit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowLit(Lit, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowLit(Lit, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowLit(Lit, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowLocal(Local, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowLocal(Local, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowLocal(Local, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowLocal(Local, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowLocal(Local, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowLocalAssign(LocalAssign, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowLocalAssign(LocalAssign, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowLocalAssign(LocalAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowLocalAssign(LocalAssign, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowLocalAssign(LocalAssign, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowLocalDecl(LocalDecl, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowLocalDecl(LocalDecl, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowLocalDecl(LocalDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowLocalDecl(LocalDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowLocalDecl(LocalDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowLocalDecl(LocalDecl, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowMethodDecl(MethodDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowMethodDecl(MethodDecl, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowMethodDecl(MethodDecl, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowNew(New, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowNew(New, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowNew(New, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowNew(New, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowNew(New, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowNew(New, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowNewArray(NewArray, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowNewArray(NewArray, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowNewArray(NewArray, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowNewArray(NewArray, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowNewArray(NewArray, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowNewArray(NewArray, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowNullPointerException(VarContext<AntiDepAbsVal>, Node, AntiDepAbsVal, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowNullPointerException(VarContext<DefUseAbsVal>, Node, DefUseAbsVal, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowOutOfBoundsException(VarContext<AntiDepAbsVal>, Expr, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowOutOfBoundsException(VarContext<DefUseAbsVal>, Expr, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowParamTypeNode(ParamTypeNode, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowParamTypeNode(ParamTypeNode, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.jl5.JL5DataFlowDispatch
Compute the dataflow for n
flowReturn(Return, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowReturn(Return, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowReturn(Return, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowReturn(Return, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowReturn(Return, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowReturn(Return, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowSpecial(Special, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowSpecial(Special, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowSpecial(Special, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowSpecial(Special, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowSpecial(Special, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowStmt(Stmt, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowStmt(Stmt, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowStmt(Stmt, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Compute the dataflow for n
flowStmt(Stmt, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowSuppress(Suppress, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowSuppress(Suppress, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowSuppress(Suppress, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowSynchronized(Synchronized, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowSynchronized(Synchronized, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowSynchronized(Synchronized, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowThrow(Throw, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowThrow(Throw, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowThrow(Throw, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowThrow(Throw, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowThrow(Throw, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowThrow(Throw, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowTry(Try, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowTry(Try, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowTry(Try, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowTry(Try, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowTry(Try, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowTry(Try, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowTypeNode(TypeNode, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowTypeNode(TypeNode, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowTypeNode(TypeNode, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowTypeNode(TypeNode, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowTypeNode(TypeNode, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowTypeNode(TypeNode, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowUnary(Unary, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, VarContext<AntiDepAbsVal>, FlowGraph<VarContext<AntiDepAbsVal>>, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowUnary(Unary, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, VarContext<DefUseAbsVal>, FlowGraph<VarContext<DefUseAbsVal>>, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowUnary(Unary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowUnary(Unary, DFItem, DFItem, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowUnary(Unary, VarContext<T>, VarContext<T>, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
flowUnary(Unary, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, VarContext<NotNullAbsVal>, FlowGraph<VarContext<NotNullAbsVal>>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 
flowUncheckedException(VarContext<AntiDepAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
flowUncheckedException(VarContext<DefUseAbsVal>, ClassType, Node, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
flowWhile(While, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in class accrue.analysis.interprocanalysis.AbstractDataFlowDispatch
 
flowWhile(While, DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Compute the dataflow for n
flowWhile(While, VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
FOR - Static variable in class accrue.analysis.parse.sym
 
formal(Formal) - Method in class accrue.analysis.ast.AccrueCatch_c
 
formals - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
freshAllocNode(Type, ClassType, boolean, String, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
 
freshCallSiteNode(ProcedureInstance, String, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
 
freshReferenceVariable(String, boolean, Type, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
 
FullObjSensitiveAnalysis - Class in accrue.analysis.pointer.analyses
 
FullObjSensitiveAnalysis() - Constructor for class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 
FullObjSensitiveAnalysis(int) - Constructor for class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 

G

generatedExceptionNodes - Static variable in class accrue.analysis.pointer.StmtRegistrar
 
get(AnalysisContext) - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
 
get(ExitMap.Key) - Method in class accrue.analysis.interprocanalysis.ExitMap
Get the context for the given key
get(AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
get(AnalysisContextPeerMap.CodeObjectPeerContext) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
getAllocNode(ConstructorContext) - Method in interface accrue.analysis.ext.ExtAlloc
Get the AllocSiteNode representing the allocation of a new object (within the specific constructor context).
getAllocNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtArrayInit
 
getAllocNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtNew
 
getAllocNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtNewArray
 
getAllocNode(ConstructorContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
getAllOrderedStaticInitializers() - Method in class accrue.analysis.interprocanalysis.Registrar
 
getAnalysisForMissingReceiver(ProcedureInstance, VarContext<T>, Term, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Provide a hook for subclasses to implementation functionality when procedure pi is called (e.g., "e.m()") but there is an empty points to set for the receiver expression.
getAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in interface accrue.analysis.ext.AccrueExt
 
getAnalysisResult(Object, AnalysisContext) - Method in interface accrue.analysis.ext.AccrueExt
 
getAnalysisResult(Object) - Method in interface accrue.analysis.ext.AccrueExt
 
getAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.ext.AccrueExt_c
 
getAnalysisResult(Object, AnalysisContext) - Method in class accrue.analysis.ext.AccrueExt_c
 
getAnalysisResult(Object) - Method in class accrue.analysis.ext.AccrueExt_c
 
getAnalysisResult(AnalysisUnit, T, AnalysisUtil<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<AntiDepAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<DefUseAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Get the analysis results for the given callee and variable context.
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Deprecated.
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Get the analysis results for the given callee and variable context.
getAnalysisResultsFromWorkQueue(AnalysisUnit, VarContext<NotNullAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
getAnalysisSignatures() - Method in interface accrue.AccrueExtensionInfo
Return an object to handle analysis results when source code is unavailable.
getAnalysisSignatures() - Method in class accrue.AccrueJLExtensionInfo
 
getAnalysisSignatures() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
getAnalysisUnitRecord(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
getAnalysisUnitRecord(AnalysisUnit) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
getCallResults(String, ProcedureCall) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
Return analysis results for a procedure call.
getCallSiteNode() - Method in class accrue.analysis.ext.ExtCall
 
getCallSiteNode() - Method in class accrue.analysis.ext.ExtConstructorCall
 
getCallSiteNode() - Method in class accrue.analysis.ext.ExtNew
 
getCallSiteNode() - Method in interface accrue.analysis.ext.ExtProcedureCall
 
getCallSiteNode() - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
getCallTargets(Call) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
getCContext() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
getClassesWithStaticInitializers() - Method in class accrue.analysis.interprocanalysis.Registrar
 
getCode(ProcedureInstance) - Method in class accrue.analysis.interprocanalysis.Registrar
 
getCodeInfo(ProcedureInstance) - Method in class accrue.analysis.pointer.StmtRegistrar
 
getCodeInfo(Initializer) - Method in class accrue.analysis.pointer.StmtRegistrar
 
getCodeInfo(FieldDecl) - Method in class accrue.analysis.pointer.StmtRegistrar
 
getCodeInfo(CodeNode) - Method in class accrue.analysis.pointer.StmtRegistrar
 
getCodeInfo(EnumConstantDecl) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
 
getCodeInstance() - Method in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
 
getCodeInstance() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
getCompileGoal(Job) - Method in class accrue.AccrueJLExtensionInfo
 
getCompileGoal(Job) - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
getConstructorContext() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
getConstructorContexts() - Method in class accrue.analysis.ext.ExtExpr
 
getContext() - Method in interface accrue.analysis.interprocanalysis.NodeIdentifier
 
getContext() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
getContexts(CodeInstance) - Method in class accrue.analysis.pointer.PointsToGraph
 
getContexts(CodeInstance) - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
getContexts(CodeInstance) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
getDefaultLocalAbsVal(String, Type) - Method in class accrue.analysis.interprocvarcontext.VarContext
Get the default value for local variables
getDependees(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
getEnumConstantDecls() - Method in class accrue.jl5.pointer.JL5StmtRegistrar
 
getIndex() - Method in interface accrue.analysis.interprocanalysis.NativeNodeIdentifier
 
getIndex() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
getInitialCodeInstances() - Method in class accrue.analysis.pointer.StmtRegistrar
Return the code instances that should be analyzed in the initial context.
getInitialCodeInstances() - Method in class accrue.jl5.pointer.JL5StmtRegistrar
 
getInstanceInitializers(ClassType) - Method in class accrue.analysis.interprocanalysis.Registrar
 
getInstanceInitializers(ClassType) - Method in class accrue.analysis.pointer.StmtRegistrar
 
getKey() - Method in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
getKey() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
getLocalAbsVal(String, Type) - Method in class accrue.analysis.interprocvarcontext.VarContext
Get the value for the local name
getLocalNode(LocalInstance, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
getLocationAbsVal(VarContext<T>, Set<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Compute the abstract values for the given abstract locations
getLocationAbsVal(AbstractLocation) - Method in class accrue.analysis.interprocvarcontext.VarContext
Get the abstract value for the given location
getLoopLabel() - Method in class accrue.analysis.ext.ExtLoop
 
getNativeCallResults(String, ProcedureCall, ProcedureInstance, HContext) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
Returns analysis results for a native call target.
getNode() - Method in interface accrue.analysis.interprocanalysis.NodeIdentifier
 
getNode() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
getNodes() - Method in class accrue.analysis.pointer.PointsToGraphSync
 
getNonVirtualCallResults(String, ProcedureCall, ProcedureInstance, HContext) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
Returns analysis results for a specific target.
getPeerKey() - Method in interface accrue.analysis.interprocanalysis.DataFlowNodeIdentifier
 
getPeerKey() - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
 
getPosition() - Method in class accrue.analysis.pointer.CallSiteNode
 
getReceiverTypes(Call) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
getReferenceVariable(ConstructorContext) - Method in class accrue.analysis.ext.ExtExpr
 
getReferenceVariable(ConstructorContext) - Method in class accrue.analysis.ext.ExtFormal
 
getReferenceVariable(Expr) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
getSignatureForMissingCode(ProcedureInstance, T, List<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Subclasses can override to provide signature for missing code.
getSignatureForMissingCode(ProcedureInstance) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
 
getStartProcs() - Method in class accrue.analysis.pointer.StmtRegistrar
 
getStaticInitializers(ClassType) - Method in class accrue.analysis.interprocanalysis.Registrar
 
getStaticInitializers() - Method in class accrue.analysis.pointer.StmtRegistrar
 
getTarget() - Method in interface accrue.analysis.interprocanalysis.EdgeIdentifier
 
getTarget() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
getThisNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtFieldDecl
 
getThisNode(ConstructorContext) - Method in class accrue.analysis.ext.ExtInitializer
 
getThisNode(ConstructorContext) - Method in interface accrue.analysis.ext.ExtInitializerOrFieldDecl
Get the appropriate reference variable for "this" (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.
getThisNode() - Method in class accrue.analysis.ext.ExtProcedureDecl
 
global_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
global_uses - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
goalForJob(Job) - Method in class accrue.analysis.goals.MoveLocalClassesGoal
 
goalForJob(Job) - Method in class accrue.analysis.goals.RegisterDeclsGoal
 
goalForJob(Job) - Method in class accrue.analysis.goals.RegisterExpressionsGoal
 
GOTO - Static variable in class accrue.analysis.parse.sym
 
Grm - Class in accrue.analysis.parse
CUP v0.11b beta 20140226 generated parser.
Grm(Lexer, TypeSystem, AccrueNodeFactory, ErrorQueue) - Constructor for class accrue.analysis.parse.Grm
 
GT - Static variable in class accrue.analysis.parse.sym
 
GTEQ - Static variable in class accrue.analysis.parse.sym
 
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, Set<ExitMap.Key>, Node) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Subclasses can override as a stop gap measure before they have signature.
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Get analysis results for procedures for which the source code is missing.
guessAnalysisForMissingCode(ProcedureInstance, AnalysisContext, HContext, VarContext<NotNullAbsVal>, NotNullAbsVal, List<NotNullAbsVal>, Set<ExitMap.Key>, Node) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<AntiDepAbsVal>, AntiDepAbsVal, List<AntiDepAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<T>, T, List<T>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Subclasses should override as a stop gap measure if the receiver is missing, i.e., if the points to set of the receiver expression is empty.
guessAnalysisForMissingReceiver(ProcedureInstance, VarContext<NotNullAbsVal>, NotNullAbsVal, List<NotNullAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 

H

handleArg(OptFlag.Arg<?>) - Method in class accrue.AccrueJLOptions
 
handleArg(OptFlag.Arg<?>) - Method in class accrue.AccrueOptionsHelper
 
handleArg(OptFlag.Arg<?>) - Method in class accrue.jl5.AccrueJL5Options
 
handleArg(OptFlag.Arg<?>) - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
 
handleRecursiveCall(FinalVarContext<T>, VarContext<T>, AnalysisUnit) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
The call to callee is potentially recursive.
hasCode(ProcedureInstance) - Method in class accrue.analysis.interprocanalysis.Registrar
 
hasExceptionType(ClassType) - Method in class accrue.analysis.interprocanalysis.ExitMap
 
hasFalseResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
hashCode() - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
hashCode() - Method in class accrue.analysis.callgraph.PCGAbsVal
 
hashCode() - Method in class accrue.analysis.ctldep.CDAbsVal
 
hashCode - Variable in class accrue.analysis.defuse.DefUseAbsVal
 
hashCode() - Method in class accrue.analysis.defuse.DefUseAbsVal
 
hashCode() - Method in class accrue.analysis.defuse.NewAllocAbsVal
 
hashCode() - Method in class accrue.analysis.interprocanalysis.AbstractLocation
 
hashCode() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
hashCode() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
 
hashCode - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
hashCode() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
hashCode() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
 
hashCode() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
 
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap.Key
 
hashCode() - Method in class accrue.analysis.interprocanalysis.ExitMap.LabeledBranchKey
 
hashCode() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
hashCode() - Method in class accrue.analysis.interprocanalysis.Unit
 
hashCode() - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap.CodeObjectPeerContext
 
hashCode() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
 
hashCode - Variable in class accrue.analysis.interprocvarcontext.VarContext
 
hashCode() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
hashCode() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
hashCode() - Method in class accrue.analysis.pointer.AllocSiteNode
 
hashCode() - Method in class accrue.analysis.pointer.CallSiteNode
 
hashCode() - Method in class accrue.analysis.pointer.ConstructorContext
 
hashCode() - Method in class accrue.analysis.pointer.ObjectField
 
hashCode() - Method in class accrue.analysis.pointer.PointsToEngine.StmtAndContext
 
hashCode() - Method in class accrue.analysis.pointer.PointsToGraph
 
hashCode() - Method in class accrue.analysis.pointer.PointsToStmt
 
hashCode() - Method in class accrue.analysis.pointer.ReferenceVariable
 
hashCode() - Method in class accrue.analysis.pointer.ReferenceVariableReplica
 
hashCode() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
hashCode() - Method in class accrue.analysis.preciseExceptions.ThrowableType
 
hashCode() - Method in class accrue.analysis.readwritesets.ReadWriteSet
 
hashCons(VarContext<T>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Check the memo and return that copy if it exists or add c and return it
hasLocalAbsVal(String) - Method in class accrue.analysis.interprocvarcontext.VarContext
Check whether a local with localName is in the variable context
hasPreciseType() - Method in interface accrue.analysis.pointer.HContext
Returns true if there is a precise type for this abstract object.
hasReferenceVariable(AnalysisContext, Expr) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
hasReferenceVariable(AnalysisContext, Formal) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
hasReferenceVariable(LocalInstance, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
hasTrueFalseResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
True if the exit map branches on exit
hasTrueResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
hc_valid - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
HContext - Interface in accrue.analysis.pointer
An abstract heap object.
heap_assign_is_use - Variable in class accrue.analysis.defuse.DefUseDataFlow
Treat heap assignments as uses of the left-hand side.
heapAbstractionFactory() - Method in interface accrue.AccrueExtensionInfo
Return the HeapAbstractionFactory to be used during pointer analysis.
heapAbstractionFactory() - Method in class accrue.AccrueJLExtensionInfo
 
HeapAbstractionFactory - Class in accrue.analysis.pointer.analyses
A HeapAbstractionFactory is responsible for providing an appropriate abstraction of the heap for pointer analysis.
HeapAbstractionFactory() - Constructor for class accrue.analysis.pointer.analyses.HeapAbstractionFactory
 
heapAbstractionFactory() - Method in class accrue.analysis.pointer.PointsToEngine
 
heapAbstractionFactory() - Method in class accrue.analysis.pointer.PointsToEngineTimeout
 
heapAbstractionFactory() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
helper - Variable in class accrue.AccrueJLOptions
 
helper() - Method in class accrue.AccrueJLOptions
 
helper() - Method in class accrue.AccrueJLScheduler
 
helper() - Method in interface accrue.AccrueOptions
 
helper() - Method in interface accrue.AccrueScheduler
Return a AccrueSchedulerHelper, which defines useful Accrue-relevant scheduler goals.
helper - Variable in class accrue.jl5.AccrueJL5Options
 
helper() - Method in class accrue.jl5.AccrueJL5Options
 
helper() - Method in class accrue.jl5.AccrueJL5Scheduler
 
HIDDEN - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
Generic hidden state of a native object.

I

i - Variable in class accrue.analysis.callgraph.PreciseCallGraphGoal
 
i - Variable in class accrue.analysis.preciseExceptions.PreciseExGoal
 
id - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
The identifier for the singleton.
IDENTIFIER - Static variable in class accrue.analysis.parse.sym
 
idForPeer(FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
idx - Variable in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
IF - Static variable in class accrue.analysis.parse.sym
 
ignoredExceptions - Variable in class accrue.analysis.ctldep.CtlDepDataFlow
 
ignoreNode(DFItem, FlowGraph<DFItem>, FlowGraph.Peer<DFItem>) - Method in interface accrue.analysis.interprocanalysis.DataFlowDispatch
Ignore the node (i.e., it is a no-op).
ignoreNode(VarContext<T>, FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
IMPLEMENTS - Static variable in class accrue.analysis.parse.sym
 
IMPORT - Static variable in class accrue.analysis.parse.sym
 
INFOFLOW_CONTEXTS - Static variable in class accrue.analysis.goals.MissingCodeReportGoal
 
init() - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
 
init() - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
 
init() - Method in class accrue.analysis.pointer.analyses.DistinguishClass
 
init() - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 
init() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Initialize the factory.
init() - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
 
init() - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
 
init() - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
init_actions() - Method in class accrue.analysis.parse.Grm
Action encapsulation object initializer.
init_keywords() - Method in class accrue.analysis.parse.Lexer_c
 
INIT_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
Backward edges between initializers.
INIT_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers between initializers.
initCompiler(Compiler) - Method in class accrue.AccrueJLExtensionInfo
 
initCompiler(Compiler) - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
initGraph(CodeNode, Term) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow
 
initialAnalysisUnitOutput(AnalysisUnit, T) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
initialAnalysisUnitOutput(AnalysisUnit, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
initialContext() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Return the initial CContext, i.e., to analyze the main method.
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.DistinguishClass
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Return the initial CContext, i.e., to analyze the main method.
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
 
initialContextImpl() - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
InlineFinalConstants(Job) - Method in class accrue.AccrueSchedulerHelper
 
InlineFinalConstants - Class in accrue.analysis.visit
 
InlineFinalConstants(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.visit.InlineFinalConstants
 
InlineFinalConstantsGoal - Class in accrue.analysis.goals
 
InlineFinalConstantsGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.InlineFinalConstantsGoal
 
input() - Method in class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
 
INSERT_CHECK - Static variable in class accrue.analysis.goals.MissingCodeReportGoal
 
instance - Static variable in class accrue.analysis.ast.AccrueLang_c
 
instanceInitializers(ClassType) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
instanceInitializersChecked - Variable in class accrue.analysis.interprocanalysis.AnalysisUtil
 
INSTANCEOF - Static variable in class accrue.analysis.parse.sym
 
instantiatedType - Variable in class accrue.analysis.pointer.AllocSiteNode
Either a ClassType or ArrayType
INT - Static variable in class accrue.analysis.parse.sym
 
INTEGER_LITERAL - Static variable in class accrue.analysis.parse.sym
 
INTEGER_LITERAL_BD - Static variable in class accrue.analysis.parse.sym
 
INTERFACE - Static variable in class accrue.analysis.parse.sym
 
InterProcAnalysisPass<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
Compiler pass for an interprocedural analysis.
InterProcAnalysisPass(ExtensionInfo, Goal, Registrar, AnalysisFactory<T>) - Constructor for class accrue.analysis.interprocanalysis.InterProcAnalysisPass
Create a new interprocedural analysis pass
InterProcVarContextPass<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
 
InterProcVarContextPass(ExtensionInfo, Goal, Registrar, AnalysisFactory<VarContext<T>>) - Constructor for class accrue.analysis.interprocvarcontext.InterProcVarContextPass
 
intersect(List<FlowGraph.Edge<ImmediatePostDominator>>, FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
Find immediate postdominator for all edges in edges.
intersect(ImmediatePostDominator, ImmediatePostDominator) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
INTRA_ANTI_DEPENDENCIES - Static variable in class accrue.analysis.antidep.AntiDepAnalysisFactory
This analysis result stores a Set pointing to definitions of locations used.
INTRA_DATA_DEPENDENCIES - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
This analysis result stores a Set pointing to definitions of locations used.
INTRA_OUTPUT_DEPENDENCIES - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
Stores the set of output dependencies
ipd(FlowGraph.Edge<ImmediatePostDominator>, FlowGraph<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
isBottom() - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
isBottom() - Method in class accrue.analysis.ctldep.CDAbsVal
 
isBottom() - Method in class accrue.analysis.defuse.DefUseAbsVal
 
isBottom() - Method in interface accrue.analysis.interprocvarcontext.AbstractValue
An AbstractValue may indicate that it is the bottom element.
isBottom() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
isCatchFormal() - Method in class accrue.analysis.ext.ExtFormal
 
isDisambiguated() - Method in class accrue.analysis.ast.Suppress_c
 
isEmpty() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
isEmpty() - Method in class accrue.analysis.interprocvarcontext.Stack
 
isEmpty() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
True if there are no elements on the stack
isExactType() - Method in class accrue.analysis.preciseExceptions.ThrowableType
 
isFinallyBlock() - Method in class accrue.analysis.ext.ExtBlock
 
isFinallyBlock(boolean) - Method in class accrue.analysis.ext.ExtBlock
 
isIntra - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.EdgeType
 
isIntra() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.EdgeType
Returns true if this edge is a result from an intra-procedural analysis.
isMainMethod(CodeInstance) - Static method in class accrue.AccrueUtil
 
isMaybeNull() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
isNative() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
isNative() - Method in interface accrue.analysis.interprocanalysis.NodeIdentifier
 
isNative() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
isNotNull() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
isOutputChanged(ExitMap<T>, WorkQueue.AnalysisUnitRecord<T>, AnalysisUtil<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
isOutputChanged(ExitMap<VarContext<T>>, WorkQueue.AnalysisUnitRecord<VarContext<T>>, AnalysisUtil<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
isOutputExtensionInfo() - Method in interface accrue.AccrueExtensionInfo
Is this ExtensionInfo the output extension info for some other extension? This will affect some of the behavior of some of the goals of this ExtensionInfo, notably whether this extension info will parse source files, or simply accept the AST nodes given to it (i.e., the output of the previous ExtensionInfo).
isOutputExtensionInfo - Variable in class accrue.AccrueJLExtensionInfo
Is this extension info being used as an output extension (i.e., after some preprocessing pass)? If so, then the behavior of the scheduler and the options will be slightly changed.
isOutputExtensionInfo() - Method in class accrue.AccrueJLExtensionInfo
 
isOutputExtensionInfo - Variable in class accrue.jl5.AccrueJL5ExtensionInfo
Is this extension info being used as an output extension (i.e., after some preprocessing pass)? If so, then the behavior of the scheduler and the options will be slightly changed.
isOutputExtensionInfo() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
isPreciseType() - Method in class accrue.analysis.pointer.AllocSiteNode
 
isPreciseType - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
isPreciseType - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
 
isSingletonReferenceVariable() - Method in class accrue.analysis.pointer.ReferenceVariable
Is this graph base node a singleton? That is, should there be only a single ReferenceVariableReplica for it? This should return true for reference variables that represent e.g., static fields.
isStartProc(ProcedureInstance) - Static method in class accrue.analysis.interprocanalysis.Registrar
Is pi a starting point for the analysis?
isUnitializedValue() - Method in class accrue.analysis.ext.ExtLit
 
itemToMapWithExceptionResults(VarContext<AntiDepAbsVal>, Set<FlowGraph.EdgeKey>) - Static method in class accrue.analysis.antidep.AntiDepDataFlow
 
itemToMapWithExceptionResults(VarContext<DefUseAbsVal>, Set<FlowGraph.EdgeKey>) - Static method in class accrue.analysis.defuse.DefUseDataFlow
 
itemToMapWithExceptionResults(VarContext<NotNullAbsVal>, Set<FlowGraph.EdgeKey>, FlowGraph.Peer<VarContext<NotNullAbsVal>>) - Static method in class accrue.analysis.notnulldataflow.NotNullDataFlow
 

J

JL5AnalysisExtFactory_c - Class in accrue.jl5.ext
 
JL5AnalysisExtFactory_c(ExtFactory) - Constructor for class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
JL5AnalysisExtFactory_c() - Constructor for class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
JL5DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> - Interface in accrue.jl5
Helper interface to assist in dispatch for dataflow implementations that support JL5.
JL5RegisterPointerStmtsGoal - Class in accrue.jl5.goals
 
JL5RegisterPointerStmtsGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.jl5.goals.JL5RegisterPointerStmtsGoal
 
JL5RegisterPointerStmtsVisitor - Class in accrue.jl5.pointer
Registers all procedures (methods, constructors, initializers, enum constant decls) with the InterAnalysisPass.
JL5RegisterPointerStmtsVisitor(Job, TypeSystem, NodeFactory) - Constructor for class accrue.jl5.pointer.JL5RegisterPointerStmtsVisitor
 
JL5StmtRegistrar - Class in accrue.jl5.pointer
 
JL5StmtRegistrar(ExtensionInfo) - Constructor for class accrue.jl5.pointer.JL5StmtRegistrar
 
join(List<T>, List<T>) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
 
join(List<VarContext<T>>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Compute the VarContext that is the join of all the elements of items
join(List<VarContext<T>>, boolean, boolean, boolean) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Compute the VarContext that is the join of all the elements of items

K

key - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
KEY_BREAK - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for a loop break
KEY_CONTINUE - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for a loop continue
KEY_DIVERGE - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for divergence
KEY_FALSE_RESULT - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for a false branch
KEY_NORM_TERM - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for normal termination
KEY_RETURN - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for exiting with a return statement
KEY_TRUE_RESULT - Static variable in class accrue.analysis.interprocanalysis.ExitMap
Key for a true branch
keyConvert(ExitMap.Key) - Static method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Convert FinalVarContext edge keys to FlowGraph edge keys
kind - Variable in class accrue.analysis.domination.DominationPass
 

L

lang() - Method in class accrue.analysis.ext.AccrueExt_c
 
lang() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
LBRACE - Static variable in class accrue.analysis.parse.sym
 
LBRACK - Static variable in class accrue.analysis.parse.sym
 
leave(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisPass.MakeNonPeerNullResultValid
 
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.readwritesets.ReadWriteSetVisitor
 
leave(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.MakeTargetsExplicit
 
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.RegisterExpressions
 
leave(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.RegisterFieldDecls
 
leave(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.SimplifyExpressions
 
leaveCall(Node, Node, NodeVisitor) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
leaveCall(Node, Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.FindFinallyBlocks
 
leaveCall(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.MakeInstanceInitializersExplicit
 
leaveCall(Node, Node, NodeVisitor) - Method in class accrue.analysis.visit.MoveStaticFieldInitializers
 
leaveInitializer(FieldDecl) - Method in class accrue.analysis.visit.MakeInstanceInitializersExplicit
 
leaveInitializer(FieldDecl) - Method in class accrue.analysis.visit.MoveStaticFieldInitializers
 
left - Variable in class accrue.analysis.pointer.StmtAllocToLocal
 
leq(AntiDepAbsVal) - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
leq(PCGAbsVal) - Method in class accrue.analysis.callgraph.PCGAbsVal
 
leq(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
 
leq(DefUseAbsVal) - Method in class accrue.analysis.defuse.DefUseAbsVal
 
leq(DefUseAbsVal) - Method in class accrue.analysis.defuse.NewAllocAbsVal
 
leq(O, O) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
leq(T) - Method in interface accrue.analysis.interprocanalysis.Ordered
Is the given object less than or equal to this one
leq(Unit) - Method in class accrue.analysis.interprocanalysis.Unit
 
leq(Stack<T>) - Method in class accrue.analysis.interprocvarcontext.Stack
 
leq(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
 
leq(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
 
leq(VarContext<T>, Set<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.VarContext
Check leq, but limiting the locations of domains to the specified set.
leq(VarContext<T>, VarContext<T>, Set<AbstractLocation>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Compute c1 leq c2 over the given locations
leq(NotNullAbsVal) - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
leq(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
leq(ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSet
 
Lexer_c - Class in accrue.analysis.parse
 
Lexer_c(Reader, FileSource, ErrorQueue) - Constructor for class accrue.analysis.parse.Lexer_c
 
Lexer_c(Reader) - Constructor for class accrue.analysis.parse.Lexer_c
Creates a new scanner
LibraryPointsToSignature - Class in accrue.analysis.pointer
 
LibraryPointsToSignature() - Constructor for class accrue.analysis.pointer.LibraryPointsToSignature
 
LibrarySignature<A extends Ordered<A>,T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
 
LibrarySignature() - Constructor for class accrue.analysis.interprocvarcontext.LibrarySignature
 
List(String) - Static method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
List(String) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
 
List(String) - Static method in class accrue.analysis.signatures.AnalysisSignatures
 
List(String, String) - Static method in class accrue.analysis.signatures.AnalysisSignatures
 
List(String, String, String) - Static method in class accrue.analysis.signatures.AnalysisSignatures
 
ln - Variable in class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
 
locals() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
locals(Map<String, T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
Copy this variable context and swap the locals for newLocals
locations - Variable in class accrue.analysis.interprocvarcontext.VarContext
 
locations(Map<AbstractLocation, T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
Swap the locations in this for the given
locations() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
LONG - Static variable in class accrue.analysis.parse.sym
 
LONG_LITERAL - Static variable in class accrue.analysis.parse.sym
 
LONG_LITERAL_BD - Static variable in class accrue.analysis.parse.sym
 
lookup(ProcedureInstance) - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
 
LPAREN - Static variable in class accrue.analysis.parse.sym
 
LSHIFT - Static variable in class accrue.analysis.parse.sym
 
LSHIFTEQ - Static variable in class accrue.analysis.parse.sym
 
LT - Static variable in class accrue.analysis.parse.sym
 
LTEQ - Static variable in class accrue.analysis.parse.sym
 

M

makeFinalVarContext(Set<ExitMap.Key>, VarContext<T>, VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Make a final var context for the given normal and exceptional var contexts
makeFinalVarContext(Set<ExitMap.Key>, VarContext<T>, VarContext<T>, AnalysisUtilVarContext<A, T>) - Method in class accrue.analysis.interprocvarcontext.LibrarySignature
 
MakeInstanceInitializersExplicit - Class in accrue.analysis.visit
 
MakeInstanceInitializersExplicit(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.visit.MakeInstanceInitializersExplicit
 
MakeInstanceInitializersExplicitGoal(Job) - Method in class accrue.AccrueSchedulerHelper
 
MakeInstanceInitializersExplicitGoal - Class in accrue.analysis.goals
 
MakeInstanceInitializersExplicitGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.MakeInstanceInitializersExplicitGoal
 
MakeNarrowingAssignmentsExplicit(Job) - Method in class accrue.AccrueSchedulerHelper
 
MakeNarrowingAssignmentsExplicitGoal - Class in accrue.analysis.goals
 
MakeNarrowingAssignmentsExplicitGoal(Job, NodeFactory) - Constructor for class accrue.analysis.goals.MakeNarrowingAssignmentsExplicitGoal
 
MakeTargetsExplicit - Class in accrue.analysis.visit
Makes targets of break and continue explicit.
MakeTargetsExplicit(NodeFactory, TypeSystem) - Constructor for class accrue.analysis.visit.MakeTargetsExplicit
 
MakeTargetsExplicitGoal(Job) - Method in class accrue.AccrueSchedulerHelper
 
MakeTargetsExplicitGoal - Class in accrue.analysis.goals
 
MakeTargetsExplicitGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.MakeTargetsExplicitGoal
 
map - Variable in class accrue.analysis.interprocanalysis.ExitMap
Map of exit key to context
mayBeNull(AntiDepAbsVal, Expr, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
mayBeNull(DefUseAbsVal, Expr, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtArrayInit
 
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtBinary
 
mayBeNull(AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.ext.ExtExpr
 
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtExpr
 
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtNew
 
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtNewArray
 
mayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtSpecial
 
maybeRecursiveCall(AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Check if a call to the given analysis unit from the current analysis unit could be recursive
maybeRecursiveCall(AnalysisUnit, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.CallGraph
 
maybeRecursiveCall(AnalysisUnit, AnalysisUnit) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
mayReturnReceiver - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
mayThrowArithmeticException(AnalysisContext) - Method in class accrue.analysis.ext.ExtBinary
 
mayThrowClassCastException(AntiDepAbsVal, Cast, FlowGraph.Peer<VarContext<AntiDepAbsVal>>) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
mayThrowClassCastException(DefUseAbsVal, Cast, FlowGraph.Peer<VarContext<DefUseAbsVal>>) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
mayThrowClassCastException(AnalysisContext) - Method in class accrue.analysis.ext.ExtCast
 
mayThrowNegativeArraySizeException() - Method in class accrue.analysis.ext.ExtNewArray
 
memoize(HContext) - Static method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
 
memoize(CContext) - Static method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
 
memoizedHashCode - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
merge(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Produce a code context (i.e., CContext) to analysis code called from call site callSite in code context callerContext, where receiver is the abstract object for the receiver of the method invocation.
mergeCallResults(Map<HContext, FinalVarContext<T>>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Merge the results of analyzing a virtual method call which may have multiple targets
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.DistinguishClass
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Produce a code context (i.e., CContext) to analysis code called from call site callSite in code context callerContext, where receiver is the abstract object for the recevier of the method invocation.
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
 
mergeImpl(CallSiteNode, HContext, CContext) - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
MINUS - Static variable in class accrue.analysis.parse.sym
 
MINUSEQ - Static variable in class accrue.analysis.parse.sym
 
MINUSMINUS - Static variable in class accrue.analysis.parse.sym
 
missingCode() - Method in class accrue.analysis.pointer.StmtRegistrar
 
MissingCodeReporter - Class in accrue.analysis
 
MissingCodeReporter() - Constructor for class accrue.analysis.MissingCodeReporter
 
MissingCodeReportGoal - Class in accrue.analysis.goals
 
MissingCodeReportPass - Class in accrue.analysis
 
MissingCodeReportPass(Goal, String) - Constructor for class accrue.analysis.MissingCodeReportPass
 
MOD - Static variable in class accrue.analysis.parse.sym
 
mode - Variable in class accrue.analysis.defuse.DefUseAnalysisUtil
 
mode() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
mode - Variable in class accrue.analysis.defuse.DefUseGoal
 
MODEQ - Static variable in class accrue.analysis.parse.sym
 
MODIFIED_LOCATIONS - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
This analysis result stores a Set of modified heap locations.
MoveInnerClassesGoal(Job) - Method in class accrue.AccrueSchedulerHelper
 
MoveInnerClassesGoal - Class in accrue.analysis.goals
 
MoveInnerClassesGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.MoveInnerClassesGoal
 
MoveLocalClassesGoal(Job) - Method in class accrue.AccrueSchedulerHelper
 
MoveLocalClassesGoal - Class in accrue.analysis.goals
 
MoveLocalClassesGoal(Scheduler) - Constructor for class accrue.analysis.goals.MoveLocalClassesGoal
 
MoveStaticFieldInitializers(Job) - Method in class accrue.AccrueSchedulerHelper
 
MoveStaticFieldInitializers - Class in accrue.analysis.visit
Moves static field initializers into initializer blocks.
MoveStaticFieldInitializers(Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.visit.MoveStaticFieldInitializers
 
MoveStaticFieldInitializers(Job, TypeSystem, NodeFactory, boolean, boolean) - Constructor for class accrue.analysis.visit.MoveStaticFieldInitializers
 
MoveStaticFieldInitializersGoal - Class in accrue.analysis.goals
 
MoveStaticFieldInitializersGoal(Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.goals.MoveStaticFieldInitializersGoal
 
MULT - Static variable in class accrue.analysis.parse.sym
 
MULTEQ - Static variable in class accrue.analysis.parse.sym
 

N

NATIVE - Static variable in class accrue.analysis.parse.sym
 
NativeNodeIdentifier - Interface in accrue.analysis.interprocanalysis
 
NativeNodeIdentifier_c - Class in accrue.analysis.interprocanalysis
This class identifies program points in missing or native code.
NativeNodeIdentifier_c(AnalysisContext, CodeInstance, int) - Constructor for class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
NativeNodeIdentifier_c(AnalysisContext, CodeInstance) - Constructor for class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
needsHashCode - Variable in class accrue.analysis.interprocvarcontext.VarContext
 
New(Position, Expr, TypeNode, List<Expr>, ClassBody) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
 
NEW - Static variable in class accrue.analysis.parse.sym
 
NEWALLOC - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
NewAllocAbsVal - Class in accrue.analysis.defuse
 
NewAllocAbsVal(Set<HContext>) - Constructor for class accrue.analysis.defuse.NewAllocAbsVal
 
nextToken() - Method in class accrue.analysis.parse.Lexer_c
Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
nf - Variable in class accrue.analysis.parse.Grm
 
NO_TERMINATION - Static variable in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
 
node - Variable in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
node - Variable in class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
 
nodeForEnumConstantDecl(FieldInstance) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
 
nodeForStaticField(FieldInstance) - Method in class accrue.analysis.pointer.StmtRegistrar
 
NodeIdentifier - Interface in accrue.analysis.interprocanalysis
 
NodeIdentifier_c - Class in accrue.analysis.interprocanalysis
This class identifies a program point for the purposes of interprocedural analysis.
NodeIdentifier_c(AnalysisContext, Term) - Constructor for class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
nodePostordering - Variable in class accrue.analysis.antidep.AntiDepDataFlow
 
nodePostordering - Variable in class accrue.analysis.defuse.DefUseDataFlow
 
nodeSize() - Method in class accrue.analysis.interprocanalysis.CallGraph
 
nodeSize() - Method in class accrue.analysis.pointer.PointsToGraph
 
NonexactExceptions(String) - Static method in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
 
nonFatalPeers(FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.NonFatalPostDominatorDataFlow
 
NonFatalPostDominator() - Method in class accrue.AccrueSchedulerHelper
 
NonFatalPostDominatorDataFlow - Class in accrue.analysis.domination
This class performs a postdominator analysis identical to its parent except that it ignores exceptional control flow edges that are fatal.
NonFatalPostDominatorDataFlow(Job, TypeSystem, NodeFactory, DominationAnalysisUtil) - Constructor for class accrue.analysis.domination.NonFatalPostDominatorDataFlow
 
NonFatalPostDominatorGoal - Class in accrue.analysis.domination
 
NonFatalPostDominatorGoal() - Constructor for class accrue.analysis.domination.NonFatalPostDominatorGoal
 
NOOP - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
NOOP - Static variable in class accrue.analysis.pointer.PointsToLibrarySigs
Library signature that does not add any points to statements.
NOOP_MAYBENULL_RESULT_SIG - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
NOOP_NONNULL_RESULT_SIG - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
NOOP_SIG - Static variable in class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
NORM_TERMINATION_ONLY - Static variable in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
 
NORMAL - Static variable in class accrue.analysis.pointer.ConstructorContext
 
normalTermination() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
normalTermination(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Set the context for normal termination
NOT - Static variable in class accrue.analysis.parse.sym
 
NOTEQ - Static variable in class accrue.analysis.parse.sym
 
NotNullAbsVal - Class in accrue.analysis.notnulldataflow
 
NotNullAnalysis() - Method in class accrue.AccrueSchedulerHelper
 
NotNullAnalysisFactory - Class in accrue.analysis.notnulldataflow
 
NotNullAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
NotNullAnalysisPass - Class in accrue.analysis.notnulldataflow
 
NotNullAnalysisPass(ExtensionInfo, Goal, Registrar, AnalysisFactory<VarContext<NotNullAbsVal>>) - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisPass
 
NotNullAnalysisPass.MakeNonPeerNullResultValid - Class in accrue.analysis.notnulldataflow
 
NotNullAnalysisPass.MakeNonPeerNullResultValid() - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisPass.MakeNonPeerNullResultValid
 
NotNullAnalysisUtil - Class in accrue.analysis.notnulldataflow
 
NotNullAnalysisUtil(WorkQueue<VarContext<NotNullAbsVal>>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.notnulldataflow.NotNullAnalysisUtil
 
NotNullDataFlow - Class in accrue.analysis.notnulldataflow
Interprocedural dataflow analysis to determine which local variables and locations cannot be null.
NotNullDataFlow(NotNullAnalysisUtil, WorkQueue<VarContext<NotNullAbsVal>>, Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.notnulldataflow.NotNullDataFlow
 
NotNullGoal - Class in accrue.analysis.notnulldataflow
 
NotNullGoal() - Constructor for class accrue.analysis.notnulldataflow.NotNullGoal
 
noWarnMissingEdgesOptFlag - Variable in class accrue.AccrueOptionsHelper
 
noWemptysetsigs - Variable in class accrue.AccrueOptionsHelper
 
NULL_ANALYSIS - Static variable in class accrue.analysis.AnalysisTopics
 
NULL_LITERAL - Static variable in class accrue.analysis.parse.sym
 
numArgumentsOnResultStack() - Method in interface accrue.analysis.ext.AccrueExt
During a dataflow analysis, when this term is encountered, how many arguments should there be on the expression result stack? For example, for an addition (e1 + e2) there will be two, one for each operand.
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.AccrueExt_c
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtArrayAccessAssign
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtArrayInit
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtBinary
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtCast
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtConditional
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtExpr
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtFieldAssign
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtInstanceof
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtLit
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtLocal
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtLocalAssign
 
numArgumentsOnResultStack() - Method in class accrue.analysis.ext.ExtSpecial
 
numRegisteredClasses() - Method in class accrue.analysis.interprocanalysis.Registrar
 
numRegisteredProcedures() - Method in class accrue.analysis.interprocanalysis.Registrar
 

O

o - Variable in class accrue.analysis.pointer.ObjectField
 
ObjectField - Class in accrue.analysis.pointer
Represents a field of an abstract object for pointer analysis.
objects() - Method in class accrue.analysis.defuse.NewAllocAbsVal
 
OBSERVED_LOCATIONS - Static variable in class accrue.analysis.defuse.DefUseAnalysisFactory
 
OR - Static variable in class accrue.analysis.parse.sym
 
Ordered<T> - Interface in accrue.analysis.interprocanalysis
Interface for an arbitrary partially ordered set
OREQ - Static variable in class accrue.analysis.parse.sym
 
origin - Variable in class accrue.analysis.pointer.PointsToStmt
 
OROR - Static variable in class accrue.analysis.parse.sym
 
output() - Method in class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
 
output - Variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
output variable context
override(Node) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
override(Node) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 

P

PACKAGE - Static variable in class accrue.analysis.parse.sym
 
parent - Variable in class accrue.analysis.ctldep.CDAbsVal
 
Parsed(Job) - Method in class accrue.AccrueJLScheduler
 
Parsed(Job) - Method in class accrue.jl5.AccrueJL5Scheduler
 
parser(Reader, FileSource, ErrorQueue) - Method in class accrue.AccrueJLExtensionInfo
 
pass() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
path() - Method in class accrue.analysis.parse.Lexer_c
 
PCGAbsVal - Class in accrue.analysis.callgraph
 
PCGAbsVal(Set<ThrowableType>, Set<EdgeIdentifier>, Set<EdgeIdentifier>, boolean) - Constructor for class accrue.analysis.callgraph.PCGAbsVal
 
peek() - Method in class accrue.analysis.interprocvarcontext.Stack
 
peek() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
Get the element on top of the stack
peekExprResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
peekExprResults(int) - Method in class accrue.analysis.interprocvarcontext.VarContext
 
peekSource() - Method in class accrue.analysis.interprocvarcontext.Stack
 
peekSource() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
Get the finally block the element on top of the stack was pushed on for
peekSuspendedExecutionStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
peerForDataFlowNodeIdentifier(DataFlowNodeIdentifier, FlowGraph<FlowItem>) - Static method in class accrue.analysis.interprocanalysis.PreciseDataFlow
Get the flowgraph peer for the given dataflow identifier
peerKey - Variable in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
 
performDataflow(CodeNode) - Method in class accrue.analysis.domination.DominatorDataFlow
 
performDataflow(CodeNode) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
performVisit(CodeNode) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
performVisit(CodeNode) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
performVisit(CodeNode) - Method in class accrue.analysis.readwritesets.ReadWriteSetVisitor
 
pi - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
 
PLUS - Static variable in class accrue.analysis.parse.sym
 
PLUSEQ - Static variable in class accrue.analysis.parse.sym
 
PLUSPLUS - Static variable in class accrue.analysis.parse.sym
 
PointerAnalysis() - Method in class accrue.AccrueSchedulerHelper
 
PointerAnalysisGoal - Class in accrue.analysis.goals
 
PointerAnalysisGoal() - Constructor for class accrue.analysis.goals.PointerAnalysisGoal
 
PointerAnalysisPass - Class in accrue.analysis.pointer
 
POINTSTO - Static variable in class accrue.analysis.AnalysisTopics
 
pointsTo(AntiDepAbsVal, Expr) - Method in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
pointsTo(DefUseAbsVal, Expr) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
pointsTo(ReferenceVariable, AnalysisContext, AccrueExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
The set of heap objects the node could point to given the AnalysisContext
pointsTo(Expr) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Get the points-to set for the given expression in the current analysis context
pointsTo(Expr, AnalysisContext, AccrueExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
The set of heap objects the expression could point to given the AnalysisContext
pointsTo(Formal) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
pointsTo(Formal, AnalysisContext, AccrueExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
The set of heap objects the formal could point to given the AnalysisContext
pointsTo(Set<HContext>, String, Type) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Return the set of abstract objects that may be pointed to by the field field of type type of the abstract objects os.
pointsTo(Set<HContext>, String, Type, ExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
Return the set of abstract objects that may be pointed to by the field field of type type of the abstract objects os.
pointsTo(Set<HContext>, FieldInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Return the set of abstract objects that may be pointed to by the field instance fi of the abstract objects os.
pointsTo(Set<HContext>, FieldInstance, ExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
Return the set of abstract objects that may be pointed to by the field instance fi of the abstract objects os.
pointsTo(PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraph
 
pointsTo(PointsToEngine.StmtAndContext, PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraph
 
pointsTo(PointsToEngine.StmtAndContext, PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
pointsTo(PointsToEngine.StmtAndContext, PointsToGraphNode) - Method in class accrue.analysis.pointer.PointsToGraphSync
 
pointsToEngine() - Method in interface accrue.AccrueExtensionInfo
Return the PointsToEngine to be used during pointer analysis.
pointsToEngine() - Method in class accrue.AccrueJLExtensionInfo
 
PointsToEngine - Class in accrue.analysis.pointer
 
PointsToEngine() - Constructor for class accrue.analysis.pointer.PointsToEngine
 
PointsToEngine(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToEngine
 
pointsToEngine() - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
PointsToEngine.PointsToTimeoutException - Exception in accrue.analysis.pointer
 
PointsToEngine.PointsToTimeoutException() - Constructor for exception accrue.analysis.pointer.PointsToEngine.PointsToTimeoutException
 
PointsToEngine.StmtAndContext - Class in accrue.analysis.pointer
 
PointsToEngine.StmtAndContext(PointsToStmt, CContext) - Constructor for class accrue.analysis.pointer.PointsToEngine.StmtAndContext
 
pointsToEngineClass - Variable in class accrue.AccrueOptionsHelper
 
pointsToEngineClassOptFlag - Variable in class accrue.AccrueOptionsHelper
 
PointsToEngineMultiThread - Class in accrue.analysis.pointer
 
PointsToEngineMultiThread(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToEngineMultiThread
 
PointsToEngineSingleThread - Class in accrue.analysis.pointer
 
PointsToEngineSingleThread(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToEngineSingleThread
 
PointsToEngineTimeout - Class in accrue.analysis.pointer
 
PointsToEngineTimeout(String) - Constructor for class accrue.analysis.pointer.PointsToEngineTimeout
 
pointsToFiltered(PointsToGraphNode, Type) - Method in class accrue.analysis.pointer.PointsToGraph
 
pointsToFiltered(PointsToGraphNode, Type, Set<Type>) - Method in class accrue.analysis.pointer.PointsToGraph
 
POINTSTOGRAPH - Static variable in class accrue.analysis.AnalysisTopics
 
pointsToGraph(ExtensionInfo) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
pointsToGraph() - Method in class accrue.analysis.pointer.PointerAnalysisPass
 
PointsToGraph - Class in accrue.analysis.pointer
A PointsToGraph is a data structure that describes what expressions/locations (i.e., PointsToGraphNodes) can point to what abstract objects (i.e., HContexts)
PointsToGraph(HeapAbstractionFactory) - Constructor for class accrue.analysis.pointer.PointsToGraph
 
PointsToGraphNode - Class in accrue.analysis.pointer
A PointsToGraphNode represents something that can point to an object.
PointsToGraphNode() - Constructor for class accrue.analysis.pointer.PointsToGraphNode
 
PointsToGraphSerial - Class in accrue.analysis.pointer
 
PointsToGraphSerial(HeapAbstractionFactory, StmtRegistrar) - Constructor for class accrue.analysis.pointer.PointsToGraphSerial
 
PointsToGraphSync - Class in accrue.analysis.pointer
A concurrent implementation of the PointsToGraph.
PointsToGraphSync(StmtRegistrar, PointsToEngineMultiThread) - Constructor for class accrue.analysis.pointer.PointsToGraphSync
 
PointsToLibrarySigs - Class in accrue.analysis.pointer
 
PointsToLibrarySigs() - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs
 
PointsToLibrarySigs.AllocatorOrReceiver - Class in accrue.analysis.pointer
Returns a new node, and maybe also the receiver.
PointsToLibrarySigs.AllocatorOrReceiver(String, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
PointsToLibrarySigs.AllocatorOrReceiver(String, boolean, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
PointsToLibrarySigs.AssignsArgToField - Class in accrue.analysis.pointer
 
PointsToLibrarySigs.AssignsArgToField(String, String, int) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.AssignsArgToField
 
PointsToLibrarySigs.ReturnsField - Class in accrue.analysis.pointer
 
PointsToLibrarySigs.ReturnsField(String, String) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.ReturnsField
 
PointsToLibrarySigs.Singleton - Class in accrue.analysis.pointer
Returns a singleton.
PointsToLibrarySigs.Singleton(String, Type, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
 
PointsToLibrarySigs.Singleton(String, String, boolean) - Constructor for class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
 
PointsToStmt - Class in accrue.analysis.pointer
 
PointsToStmt(Position, CodeInstance, Type, Type, boolean) - Constructor for class accrue.analysis.pointer.PointsToStmt
 
pointsToThis() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Return the pointsto set for "this" in the current analysis context.
pointsToTimeout - Variable in class accrue.AccrueOptionsHelper
 
pop() - Method in class accrue.analysis.interprocvarcontext.Stack
 
pop() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
Get a new stack with the top element popped off
popAndPushExprResults(int, T, Node) - Method in class accrue.analysis.interprocvarcontext.VarContext
Pop i results off the result stack, and push one
popControlDeps() - Method in class accrue.analysis.ctldep.CDAbsVal
 
popExprResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
Pop first result off the result stack.
popExprResults(int) - Method in class accrue.analysis.interprocvarcontext.VarContext
Pop i results off the result stack.
popSuspendedExecutionStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
Pop first result off the suspended execution stack.
popSuspendedExecutionStackToDepth(int) - Method in class accrue.analysis.interprocvarcontext.VarContext
Pop results off the suspended execution stack until the size is no more than depth
populateFlags(Set<OptFlag<?>>) - Method in class accrue.AccrueJLOptions
 
populateFlags(Set<OptFlag<?>>) - Method in class accrue.AccrueOptionsHelper
 
populateFlags(Set<OptFlag<?>>) - Method in class accrue.jl5.AccrueJL5Options
 
populateFlags(Set<OptFlag<?>>) - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
 
post(FlowGraph<VarContext<T>>, Term) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
POST_DOMINATOR - Static variable in class accrue.analysis.AnalysisTopics
 
postApplyArgs() - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
 
PostDominator() - Method in class accrue.AccrueSchedulerHelper
 
PostDominatorDataFlow - Class in accrue.analysis.domination
This PreciseDataFlow finds postdominators.
PostDominatorDataFlow(Job, TypeSystem, NodeFactory, DominationAnalysisUtil) - Constructor for class accrue.analysis.domination.PostDominatorDataFlow
 
PostDominatorGoal - Class in accrue.analysis.domination
 
PostDominatorGoal() - Constructor for class accrue.analysis.domination.PostDominatorGoal
 
postdoms - Variable in class accrue.analysis.domination.PostDominatorDataFlow
 
postExtAmbTypeInstantiation(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtAmbWildCard(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtAnnotationElemDecl(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtElementValueArrayInit(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtElementValuePair(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtEnumConstant(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtEnumConstantDecl(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtEnumDecl(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtExtendedFor(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtMarkerAnnotationElem(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtNormalAnnotationElem(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtParamTypeNode(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtSingleElementAnnotationElem(Ext) - Method in class accrue.jl5.ext.JL5AnalysisExtFactory_c
 
postExtSuppress(Ext) - Method in class accrue.analysis.ext.AnalysisExtFactory_c
 
postFieldDecl(FlowGraph<VarContext<T>>, FlowGraph.Peer<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Handle the post-processing for a finish peer for a FieldDecl specially.
PostModificationGoal(Job) - Method in class accrue.AccrueSchedulerHelper
Return a goal that indicates all passes that will modify code to simplify analysis has been performed.
PostModificationGoal(Job) - Method in class accrue.jl5.AccrueJL5Scheduler.AccrueJL5SchedulerHelper
 
postorderNodeIDs(FlowGraph.Peer<VarContext<AntiDepAbsVal>>, int, Set<NodeIdentifier>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
postorderNodeIDs(FlowGraph.Peer<VarContext<DefUseAbsVal>>, int, Set<NodeIdentifier>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
postSuccessfulProcess(WorkQueue<T>) - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
Post the results of a successful analysis pass
postSuccessfulProcess(WorkQueue<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.InterProcVarContextPass
 
postSuccessfulProcess(WorkQueue<VarContext<NotNullAbsVal>>) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisPass
 
preCallNonVirtual(ProcedureInstance, AnalysisContext, VarContext<T>, Term) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Allow extensions a chance to modify the input before the analysis of a non-virtual procedure call.
PRECISE_EX_ANALYSIS - Static variable in class accrue.analysis.AnalysisTopics
 
PreciseCallGraph() - Method in class accrue.AccrueSchedulerHelper
 
PreciseCallGraphAnalysisUtil - Class in accrue.analysis.callgraph
 
PreciseCallGraphAnalysisUtil(WorkQueue<PCGAbsVal>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
 
PreciseCallGraphFactory - Class in accrue.analysis.callgraph
 
PreciseCallGraphFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphFactory
 
PreciseCallGraphGoal - Class in accrue.analysis.callgraph
 
PreciseCallGraphGoal(int) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphGoal
 
PreciseCallGraphPass - Class in accrue.analysis.callgraph
 
PreciseCallGraphVisitor - Class in accrue.analysis.callgraph
 
PreciseCallGraphVisitor(PreciseCallGraphAnalysisUtil) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
PreciseCallGraphVisitor(TypeSystem) - Constructor for class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
PreciseDataFlow<FlowItem extends polyglot.visit.DataFlow.Item> - Class in accrue.analysis.interprocanalysis
Uses the results of precise exceptions analysis to create a more accurate control flow graph.
PreciseDataFlow(AnalysisUtil<?>, Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow
Create a new dataflow visitor
PreciseDataFlow(AnalysisUtil<?>, Job, TypeSystem, NodeFactory, boolean, boolean) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow
Create a new dataflow visitor
PreciseDataFlow(AnalysisUtil<?>, Job, TypeSystem, NodeFactory, boolean, boolean, boolean) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow
Create a new dataflow visitor
PreciseDataFlow.PreciseCFGBuilder<FlowItem extends polyglot.visit.DataFlow.Item> - Class in accrue.analysis.interprocanalysis
A more precise CFG builder that adds Exception edges only for exceptions that might actually be thrown.
PreciseDataFlow.PreciseCFGBuilder(JLang, TypeSystem, FlowGraph<FlowItem>, PreciseDataFlow<FlowItem>) - Constructor for class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
Create a new CFG builder
PreciseExAbsVal - Class in accrue.analysis.preciseExceptions
 
PreciseExAbsVal(Set<ThrowableType>, boolean) - Constructor for class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
PreciseExAnalysisFactory - Class in accrue.analysis.preciseExceptions
 
PreciseExAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
 
PreciseExAnalysisUtil - Class in accrue.analysis.preciseExceptions
 
PreciseExAnalysisUtil(WorkQueue<PreciseExAbsVal>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.preciseExceptions.PreciseExAnalysisUtil
 
PreciseExceptionAnalysis(int) - Method in class accrue.AccrueSchedulerHelper
 
PreciseExGoal - Class in accrue.analysis.preciseExceptions
 
PreciseExGoal(int) - Constructor for class accrue.analysis.preciseExceptions.PreciseExGoal
 
PreciseExLibrarySignature - Class in accrue.analysis.preciseExceptions
 
PreciseExLibrarySignature() - Constructor for class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
 
PreciseExPass - Class in accrue.analysis.preciseExceptions
 
PreciseExVisitor - Class in accrue.analysis.preciseExceptions
 
PreciseExVisitor(PreciseExAnalysisUtil) - Constructor for class accrue.analysis.preciseExceptions.PreciseExVisitor
 
PreciseExVisitor(TypeSystem) - Constructor for class accrue.analysis.preciseExceptions.PreciseExVisitor
 
PreciseExVisitor(PreciseExVisitor) - Constructor for class accrue.analysis.preciseExceptions.PreciseExVisitor
 
preciseType() - Method in interface accrue.analysis.pointer.HContext
Returns the precise type of this abstract object.
PreModificationBarrier() - Method in class accrue.AccrueSchedulerHelper
Return a barrier goal, with the intent that any goal that modifies types to simplify the analyses happen only after the barrier.
prepareCalleeContext(AnalysisUnit, T, List<T>, VarContext<T>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContextDataFlow
Create a new context appropriate for analyzing the method instance
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.antidep.AntiDepGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.callgraph.PreciseCallGraphGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.ctldep.CtlDepGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.defuse.DefUseGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.domination.DominatorGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.domination.NonFatalPostDominatorGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.domination.PostDominatorGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.AnalysesDone
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.ExpressionFlattenerGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.FindFinallyBlocksGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.InlineFinalConstantsGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MakeInstanceInitializersExplicitGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MakeNarrowingAssignmentsExplicitGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MakeTargetsExplicitGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MissingCodeReportGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MoveInnerClassesGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MoveLocalClassesGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.MoveStaticFieldInitializersGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.PointerAnalysisGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.RegisterPointerStmtsGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.RegisterProceduresGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.goals.SimplifyExpressionsGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.notnulldataflow.NotNullGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.preciseExceptions.PreciseExGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.analysis.readwritesets.ReadWriteSetsGoal
 
prerequisiteGoals(Scheduler) - Method in class accrue.jl5.goals.JL5RegisterPointerStmtsGoal
 
print(PrintStream) - Static method in class accrue.analysis.MissingCodeReporter
 
printAsObj(Object) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Print the argument as an Object
PRIVATE - Static variable in class accrue.analysis.parse.sym
 
procedureDecl() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
 
procedureThrows - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
 
process(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
 
process(CodeNode, A) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Run the analysis on the given code and current results ( input)
process(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, AnalysisUtilVarContext<A, T>, Set<ExitMap.Key>, Node) - Method in class accrue.analysis.interprocvarcontext.LibrarySignature
Takes in the caller's context input just before the call (the argument AbsVals are no longer on the stack, and neither is the receiver AbsVal) and should return the _caller's_ context after the call to the procedure instance That is, if pi is meant to return a value, process should push that value onto the stack.
process(ProcedureInstance, AnalysisContext, HContext, VarContext<T>, T, List<T>, AnalysisUtilVarContextDataFlow<A, T>, Set<ExitMap.Key>, DataFlowNodeIdentifier) - Method in class accrue.analysis.interprocvarcontext.LibrarySignature
Takes in the caller's context input just before the call (the argument AbsVals are no longer on the stack, and neither is the receiver AbsVal) and should return the _caller's_ context after the call to the procedure instance That is, if pi is meant to return a value, process should push that value onto the stack.
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.LibraryPointsToSignature
 
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.AssignsArgToField
 
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.ReturnsField
 
process(CodeInstance, CContext, CallSiteNode, ProcedureInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, StmtRegistrar, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.PointsToStmt
Add appropriate edges to the graph g given the context for the LocalNodes and ThisNode.
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtAllocToLocal
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtConstructorCall
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtFieldToLocal
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtFilteredLocalToLocal
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtLocalToField
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtLocalToLocal
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtSpecialMethodCall
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtStaticMethodCall
 
process(CContext, PointsToGraph, StmtRegistrar, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtVirtualMethodCall
 
process(ReferenceVariableReplica, ReferenceVariableReplica, CallSiteNode, MethodInstance, List<ReferenceVariableReplica>, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, CodeInstance, CContext, PointsToGraph, StmtRegistrar, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Static method in class accrue.analysis.pointer.StmtVirtualMethodCall
 
process(ProcedureInstance) - Method in class accrue.analysis.preciseExceptions.PreciseExLibrarySignature
 
process(Node) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
An extension point, so that subclasses can handle any custom nodes easily.
process(Try) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
process(Call) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
process(ConstructorCall) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
process(New) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
process(Suppress) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
processDefs(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
 
processMissingCode(CodeInstance, CContext, CallSiteNode, MethodInstance, List<ReferenceVariableReplica>, HContext, ReferenceVariableReplica, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
processMissingCode(CodeInstance, CContext, CallSiteNode, ConstructorInstance, ReferenceVariableReplica, List<ReferenceVariableReplica>, List<StmtProcedureCall.ExceptionHandlerPointsToGraphNode>, Map<Type, ReferenceVariableReplica>, PointsToGraph, Position, HeapAbstractionFactory, PointsToEngine.StmtAndContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
processQueue() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
processUses(ProcedureInstance, AnalysisContext, HContext, VarContext<DefUseAbsVal>, DefUseAbsVal, List<DefUseAbsVal>, AnalysisUtilVarContextDataFlow<VarContext<DefUseAbsVal>, DefUseAbsVal>, DataFlowNodeIdentifier) - Method in class accrue.analysis.defuse.DefUseLibrarySignature
 
production_table() - Method in class accrue.analysis.parse.Grm
Access to production table.
PROTECTED - Static variable in class accrue.analysis.parse.sym
 
PSEUDOLOC(HContext, String) - Static method in class accrue.analysis.defuse.DefUseLibrarySignature
 
PUBLIC - Static variable in class accrue.analysis.parse.sym
 
push(Collection<ClassType>, Term) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
Swap out the exceptions and target
push(T, Object) - Method in class accrue.analysis.interprocvarcontext.Stack
 
push(Map<FlowGraph.EdgeKey, T>, Object) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
Get a new stack by pushing the specified map onto this stack
pushExprResult(T, Object) - Method in class accrue.analysis.interprocvarcontext.VarContext
Push result
pushExprResults(List<T>, Object) - Method in class accrue.analysis.interprocvarcontext.VarContext
Push results
pushSuspendedExecutionStack(Map<FlowGraph.EdgeKey, T>, Block) - Method in class accrue.analysis.interprocvarcontext.VarContext
Push suspended execution map
put(AnalysisContext, T) - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
 
put(AnalysisContext, FlowGraph.PeerKey, T) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 

Q

QUESTION - Static variable in class accrue.analysis.parse.sym
 

R

r - Variable in class accrue.analysis.pointer.ReferenceVariableReplica
 
RBRACE - Static variable in class accrue.analysis.parse.sym
 
RBRACK - Static variable in class accrue.analysis.parse.sym
 
rd - Variable in class accrue.analysis.defuse.DefUseAbsVal
 
reachingDefinitions() - Method in class accrue.analysis.defuse.DefUseAbsVal
 
reachingUses() - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
READ_WRITE_SETS_ANALYSIS - Static variable in class accrue.analysis.AnalysisTopics
 
readSet() - Method in class accrue.analysis.readwritesets.ReadWriteSet
get the set of read locations
ReadWriteSet() - Method in class accrue.AccrueSchedulerHelper
 
ReadWriteSet - Class in accrue.analysis.readwritesets
Sets of locations that are read and written
ReadWriteSet(Set<AbstractLocation>, Set<AbstractLocation>) - Constructor for class accrue.analysis.readwritesets.ReadWriteSet
Construct from the raw sets
ReadWriteSetsAnalysisFactory - Class in accrue.analysis.readwritesets
AnalysisFactory for the analysis which gathers all locations read and written by particular analysis units.
ReadWriteSetsAnalysisFactory(AccrueExtensionInfo) - Constructor for class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
Construct a new factory
ReadWriteSetsAnalysisUtil - Class in accrue.analysis.readwritesets
AnalysisUtil for an analysis that gathers the set of locations read and written by an analysis unit.
ReadWriteSetsAnalysisUtil(WorkQueue<ReadWriteSet>, AnalysisUnit, AccrueExtensionInfo) - Constructor for class accrue.analysis.readwritesets.ReadWriteSetsAnalysisUtil
Make a new analysis helper class
ReadWriteSetsGoal - Class in accrue.analysis.readwritesets
Goal for the analysis that gathers the set of locations read an written by a procedure
ReadWriteSetsGoal() - Constructor for class accrue.analysis.readwritesets.ReadWriteSetsGoal
Create a new goal object with a null Job
ReadWriteSetsPass - Class in accrue.analysis.readwritesets
Analysis pass for analysis that gathers the locations read and written by procedures
ReadWriteSetVisitor - Class in accrue.analysis.readwritesets
 
ReadWriteSetVisitor(ReadWriteSetsAnalysisUtil) - Constructor for class accrue.analysis.readwritesets.ReadWriteSetVisitor
 
receiver - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
 
receiver_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
receiver_uses - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
reconstruct(N, Formal, Block) - Method in class accrue.analysis.ast.AccrueCatch_c
 
record(ImmediatePostDominator, FlowGraph.Peer<ImmediatePostDominator>) - Method in class accrue.analysis.domination.PostDominatorDataFlow
 
record(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Produce an abstract object (i.e., HContext) to represent an object created at allocation site alloc in code context context.
recordAnalysisResult(Object, T) - Method in interface accrue.analysis.ext.AccrueExt
 
recordAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey, T) - Method in interface accrue.analysis.ext.AccrueExt
 
recordAnalysisResult(Object, AnalysisContext, T) - Method in interface accrue.analysis.ext.AccrueExt
 
recordAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey, T) - Method in class accrue.analysis.ext.AccrueExt_c
 
recordAnalysisResult(Object, AnalysisContext, T) - Method in class accrue.analysis.ext.AccrueExt_c
 
recordAnalysisResult(Object, T) - Method in class accrue.analysis.ext.AccrueExt_c
 
recordBranches(CDAbsVal, FlowGraph<CDAbsVal>, FlowGraph.Peer<CDAbsVal>) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
recordCallTargets(Term, Set<EdgeIdentifier>) - Method in class accrue.analysis.callgraph.PreciseCallGraphAnalysisUtil
There is a many-to-many relationship between call sites and CodeDecls.
recordCatchSites(Term, Set<EdgeIdentifier>) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
recordClassCastAnalysisResult(AnalysisUtil<?>) - Method in class accrue.analysis.ext.ExtCast
 
recordEnumConstantDecl(EnumConstantDecl) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
Record the existence of an EnumConstantDecl
recordExprResults(boolean) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
recordExprResults() - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
recordFieldDecl(FieldDecl) - Method in class accrue.analysis.pointer.StmtRegistrar
Record the existence of a field decl
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.DistinguishClass
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.HeapAbstractionFactory
Produce an abstract object (i.e., HContext) to represent an object created at allocation site alloc in code context context.
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
 
recordImpl(CContext, AllocSiteNode) - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
recordInitializer(Initializer) - Method in class accrue.analysis.pointer.StmtRegistrar
Record the existence of an initializer
recordInitializerOrFieldDecl(CodeNode) - Method in class accrue.analysis.pointer.StmtRegistrar
Internal method that factors out the common functionality for recording the existence of an initializer or field decl
recordMissingCode(CodeInstance) - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
Add the missing code to the compiler debug report
recordMissingCode(ProcedureInstance, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
 
recordNodeEntry(Term) - Method in class accrue.analysis.interprocvarcontext.VarContext
Record the fact that analysis has entered this node
recordNodeExit(Term) - Method in class accrue.analysis.interprocvarcontext.VarContext
Record the fact that analysis has entered this node
recordNullAnalysisResult(AnalysisContext, FlowGraph.PeerKey, boolean) - Method in class accrue.analysis.ext.ExtExpr
 
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.analysis.ext.ExtCall
 
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.analysis.ext.ExtConstructorCall
 
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.analysis.ext.ExtNew
 
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in interface accrue.analysis.ext.ExtProcedureCall
 
recordPreciseExResults(AnalysisContext, Set<ThrowableType>, boolean) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
recordProcedureDecl(ProcedureDecl, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
Record the existence of a procedure decl.
recordRead(AbstractLocation) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Record a location that has been read
recordReads(Collection<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
recordResult(AnalysisUnit, AnalysisUtil<T>, T, ExitMap<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
recordReturnSources(Term, Set<EdgeIdentifier>) - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
recordWrite(AbstractLocation) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Record a location that has been written
recordWrites(Collection<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
reduce_table() - Method in class accrue.analysis.parse.Grm
Access to reduce_goto table.
ReferenceVariable - Class in accrue.analysis.pointer
A ReferenceVariable represents the result of an expression.
ReferenceVariable(String, boolean, Type, Position) - Constructor for class accrue.analysis.pointer.ReferenceVariable
 
ReferenceVariableReplica - Class in accrue.analysis.pointer
 
registerAlloc(ExtExpr, Type, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerAlloc(ExtExpr, Type, String, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerAlloc(ReferenceType, Position, String, StmtRegistrar.CodeInfo) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerArrayClone(Call, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerClassLiteral(ClassLit, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerConstructor(ConstructorDecl) - Method in class accrue.analysis.interprocanalysis.Registrar
 
RegisterDecls() - Method in class accrue.AccrueSchedulerHelper
 
RegisterDeclsGoal - Class in accrue.analysis.goals
 
RegisterDeclsGoal(Scheduler) - Constructor for class accrue.analysis.goals.RegisterDeclsGoal
 
registerEnumConstantDecl(EnumConstantDecl, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.jl5.pointer.JL5StmtRegistrar
 
RegisterExpressions() - Method in class accrue.AccrueSchedulerHelper
 
RegisterExpressions - Class in accrue.analysis.visit
 
RegisterExpressions(Map<Node, Node>, Map<Node, Set<Node>>) - Constructor for class accrue.analysis.visit.RegisterExpressions
 
RegisterExpressionsGoal - Class in accrue.analysis.goals
 
RegisterExpressionsGoal(Scheduler) - Constructor for class accrue.analysis.goals.RegisterExpressionsGoal
 
registerFieldDecl(FieldDecl) - Method in class accrue.analysis.interprocanalysis.Registrar
 
RegisterFieldDecls - Class in accrue.analysis.visit
 
RegisterFieldDecls(Map<FieldInstance, Node>) - Constructor for class accrue.analysis.visit.RegisterFieldDecls
 
registerInitializer(Initializer) - Method in class accrue.analysis.interprocanalysis.Registrar
 
registerInitializer(CodeNode, InitializerInstance) - Method in class accrue.analysis.interprocanalysis.Registrar
 
registerLocalDecl(LocalInstance, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerMethod(MethodDecl) - Method in class accrue.analysis.interprocanalysis.Registrar
 
RegisterPointerStmts(Job) - Method in class accrue.AccrueSchedulerHelper
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in interface accrue.analysis.ext.AccrueExt
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.AccrueExt_c
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtArrayAccess
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtArrayAccessAssign
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtArrayInit
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtBinary
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtCall
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtCast
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtConditional
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtConstructorCall
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtExpr
This method needs to ensure that: 1.
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtField
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtFieldAssign
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtFieldDecl
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtInstanceof
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLit
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLocal
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLocalAssign
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtLocalDecl
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtMethodDecl
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtNew
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtNewArray
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtPrimitiveExpr
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtReturn
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtSpecial
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtSuppress
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.analysis.ext.ExtThrow
 
RegisterPointerStmts(Job) - Method in class accrue.jl5.AccrueJL5Scheduler.AccrueJL5SchedulerHelper
 
registerPointerStmts(StmtRegistrar, RegisterPointerStmtsVisitor) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
RegisterPointerStmtsDone() - Method in class accrue.AccrueSchedulerHelper
 
RegisterPointerStmtsGoal - Class in accrue.analysis.goals
 
RegisterPointerStmtsGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.RegisterPointerStmtsGoal
 
RegisterPointerStmtsVisitor - Class in accrue.analysis.pointer
Registers all procedures (methods, constructors, initializers) with the InterAnalysisPass.
RegisterPointerStmtsVisitor(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
RegisterProcedures(Job) - Method in class accrue.AccrueSchedulerHelper
 
RegisterProceduresDone() - Method in class accrue.AccrueSchedulerHelper
 
RegisterProceduresGoal - Class in accrue.analysis.goals
 
RegisterProceduresGoal(Job, TypeSystem, NodeFactory) - Constructor for class accrue.analysis.goals.RegisterProceduresGoal
 
RegisterProceduresVisitor - Class in accrue.analysis.interprocanalysis
Registers all procedures (methods, constructors, initializers) with the InterAnalysisPass.
RegisterProceduresVisitor(Job, TypeSystem, NodeFactory, Registrar) - Constructor for class accrue.analysis.interprocanalysis.RegisterProceduresVisitor
 
registerStaticAlloc(Type, boolean, String, Position) - Method in class accrue.analysis.pointer.StmtRegistrar
 
registerStringLiteral(Expr, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
REGISTRAR - Static variable in class accrue.analysis.AnalysisTopics
 
registrar(ExtensionInfo) - Static method in class accrue.analysis.goals.RegisterProceduresGoal
 
registrar - Variable in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
Map from procedures to analysis results
registrar() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
 
registrar - Variable in class accrue.analysis.interprocanalysis.RegisterProceduresVisitor
 
Registrar - Class in accrue.analysis.interprocanalysis
The Registrar maintains useful information about the whole program's code.
Registrar(ExtensionInfo) - Constructor for class accrue.analysis.interprocanalysis.Registrar
 
registrar() - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
registrar() - Method in class accrue.analysis.pointer.PointerAnalysisPass
 
remove(AnalysisContext) - Method in class accrue.analysis.interprocanalysis.AnalysisContextMap
 
remove(AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
removeAnalysisResult(Object) - Method in interface accrue.analysis.ext.AccrueExt
 
removeAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in interface accrue.analysis.ext.AccrueExt
 
removeAnalysisResult(Object, AnalysisContext) - Method in interface accrue.analysis.ext.AccrueExt
 
removeAnalysisResult(Object, AnalysisContext, FlowGraph.PeerKey) - Method in class accrue.analysis.ext.AccrueExt_c
 
removeAnalysisResult(Object, AnalysisContext) - Method in class accrue.analysis.ext.AccrueExt_c
 
removeAnalysisResult(Object) - Method in class accrue.analysis.ext.AccrueExt_c
 
removeBranch(Branch.Kind) - Method in class accrue.analysis.interprocanalysis.ExitMap
Functionally remove the break or continue from the map
removeBranch(Branch.Kind, String) - Method in class accrue.analysis.interprocanalysis.ExitMap
Functionally remove the break or continue with the given label from the map
removeException(ClassType) - Method in class accrue.analysis.interprocanalysis.ExitMap
Functionally remove the edge correspinding to the exception type
removeNormalTermination() - Method in class accrue.analysis.interprocanalysis.ExitMap
Functionally remove the normal termination, true, and false results from the map
removePostDomDeps(DataFlowNodeIdentifier, CDAbsVal) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
 
removeReturnItem() - Method in class accrue.analysis.interprocanalysis.ExitMap
Functionally remove the return result from the map
removeThrowableType(ThrowableType) - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
removeTrueFalseResults() - Method in class accrue.analysis.interprocanalysis.ExitMap
Functionally remove the true, and false results from the map
reportMissingCode(String, CodeInstance) - Static method in class accrue.analysis.MissingCodeReporter
 
reportToFile(String) - Static method in class accrue.analysis.MissingCodeReporter
 
reportTopics() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Return the analysis name and AnalysisTopics as a set
reportToStdErr() - Static method in class accrue.analysis.MissingCodeReporter
 
reportToStdOut() - Static method in class accrue.analysis.MissingCodeReporter
 
restoreCallerContext(VarContext<T>, boolean, ExitMap.Key) - Method in class accrue.analysis.interprocvarcontext.VarContext
Restore the appropriate elements of the caller context after analyzing the callee.
restoreCallingFrame(ExitMap<T>, T, WorkQueue.AnalysisUnitRecord<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
restoreCallingFrame(FinalVarContext<T>, VarContext<T>, Set<AbstractLocation>) - Method in class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext
 
restoreCallingFrame(ExitMap<VarContext<T>>, VarContext<T>, WorkQueue.AnalysisUnitRecord<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
restoreContext(VarContext<T>, boolean) - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
Restore elements of the input context into the contexts in this.
result - Variable in class accrue.analysis.pointer.StmtVirtualMethodCall
 
RETURN - Static variable in class accrue.analysis.parse.sym
 
RETURN_SOURCES - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers from call sites to return sites, including code blocks that return implicitly.
RETURN_TARGETS - Static variable in class accrue.analysis.callgraph.PreciseCallGraphFactory
EdgeIdentifiers from return sites (including code blocks that return implicitly) to call sites.
returnItem() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
returnItem(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
 
returnResult() - Method in class accrue.analysis.interprocvarcontext.VarContext
Get the abstract value for the return result (could be null)
returnResult(T) - Method in class accrue.analysis.interprocvarcontext.VarContext
Swap the return result in this for returnResult
returns_newalloc - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
returnSites() - Method in class accrue.analysis.callgraph.PCGAbsVal
 
returnSites - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
retValue - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
right - Variable in class accrue.analysis.pointer.StmtAllocToLocal
 
RPAREN - Static variable in class accrue.analysis.parse.sym
 
RSHIFT - Static variable in class accrue.analysis.parse.sym
 
RSHIFTEQ - Static variable in class accrue.analysis.parse.sym
 
ru - Variable in class accrue.analysis.antidep.AntiDepAbsVal
Uses reaching this node.
run() - Method in class accrue.analysis.interprocanalysis.InterProcAnalysisPass
 
run() - Method in class accrue.analysis.MissingCodeReportPass
 
run() - Method in class accrue.analysis.pointer.PointerAnalysisPass
 

S

safeConfluence(List<VarContext<T>>, List<FlowGraph.EdgeKey>, FlowGraph.Peer<VarContext<T>>, FlowGraph<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
 
scan() - Method in class accrue.analysis.parse.Grm
Scan to get the next Symbol.
sched - Variable in class accrue.AccrueSchedulerHelper
The Scheduler that this class is helping.
SEMICOLON - Static variable in class accrue.analysis.parse.sym
 
setAllocNode(AllocSiteNode, ConstructorContext) - Method in interface accrue.analysis.ext.ExtAlloc
Set the AllocSiteNode representing the allocation of a new object (within the specific constructor context).
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.analysis.ext.ExtArrayInit
 
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.analysis.ext.ExtNew
 
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.analysis.ext.ExtNewArray
 
setAllocNode(AllocSiteNode, ConstructorContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
setAllOrderedStaticInitializers(List<CodeNode>) - Method in class accrue.analysis.interprocanalysis.Registrar
 
setCallSiteNode(CallSiteNode) - Method in class accrue.analysis.ext.ExtCall
 
setCallSiteNode(CallSiteNode) - Method in class accrue.analysis.ext.ExtConstructorCall
 
setCallSiteNode(CallSiteNode) - Method in class accrue.analysis.ext.ExtNew
 
setCallSiteNode(CallSiteNode) - Method in interface accrue.analysis.ext.ExtProcedureCall
 
setCallSiteNode(CallSiteNode) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
setEnclosingFinallyDepth(int) - Method in interface accrue.analysis.ext.AccrueExt
Set the number of finally blocks that this node is nested inside.
setEnclosingFinallyDepth(int) - Method in class accrue.analysis.ext.AccrueExt_c
 
setIsCatchFormal() - Method in class accrue.analysis.ext.ExtFormal
 
setIsOutputExtensionInfo(boolean) - Method in interface accrue.AccrueExtensionInfo
Set whether this ExtensionInfo is the output extension info for some other extension.
setIsOutputExtensionInfo(boolean) - Method in class accrue.AccrueJLExtensionInfo
 
setIsOutputExtensionInfo(boolean) - Method in class accrue.jl5.AccrueJL5ExtensionInfo
 
setLoopLabel(String) - Method in class accrue.analysis.ext.ExtLoop
 
setNullResultsNoPeerValid() - Method in class accrue.analysis.ext.ExtExpr
 
setParent(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
 
setReferenceVariable(ReferenceVariable, ConstructorContext) - Method in class accrue.analysis.ext.ExtExpr
 
setReferenceVariable(ReferenceVariable, ConstructorContext) - Method in class accrue.analysis.ext.ExtFormal
 
setThisNode(ConstructorContext, ReferenceVariable) - Method in class accrue.analysis.ext.ExtFieldDecl
 
setThisNode(ConstructorContext, ReferenceVariable) - Method in class accrue.analysis.ext.ExtInitializer
 
setThisNode(ConstructorContext, ReferenceVariable) - Method in interface accrue.analysis.ext.ExtInitializerOrFieldDecl
Set the appropriate ReferenceVariable that represents the current object (i.e., the reference variable used in the pointer analysis to refer to "this") for the given constructor context.
setThisNode(ReferenceVariable) - Method in class accrue.analysis.ext.ExtProcedureDecl
 
setTimeout(Long) - Method in class accrue.analysis.pointer.PointsToEngine
 
setUnitializedValue() - Method in class accrue.analysis.ext.ExtLit
 
setWarnOnEdgesMissingData(boolean) - Method in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Set whether to warn on missing dataflow edges
SHORT - Static variable in class accrue.analysis.parse.sym
 
SHOW_POSITION - Static variable in class accrue.analysis.pointer.CallSiteNode
 
SHOW_POSITION - Static variable in class accrue.analysis.pointer.ReferenceVariable
 
signatureAnalysisNames() - Method in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
 
SignatureRepository<T> - Class in accrue.analysis.interprocvarcontext
Provides a way to store and look up LibrarySignatures for procedure instances.
SignatureRepository() - Constructor for class accrue.analysis.interprocvarcontext.SignatureRepository
 
signatureRepository(String) - Method in class accrue.analysis.signatures.AnalysisSignatures
Get a signature repository for a given analysis name.
signatureRepository(String, boolean) - Method in class accrue.analysis.signatures.AnalysisSignatures
Get a signature repository for a given analysis name, creating one if requested.
signatureSourcePath - Variable in class accrue.AccrueOptionsHelper
 
sigSrcPathOptFlag - Variable in class accrue.AccrueOptionsHelper
 
simplifyAssignment(Assign) - Method in class accrue.analysis.visit.SimplifyExpressions
 
SimplifyExpressions - Class in accrue.analysis.visit
Simplify some expressions for the later analyses.
SimplifyExpressions(NodeFactory, TypeSystem) - Constructor for class accrue.analysis.visit.SimplifyExpressions
 
SimplifyExpressionsGoal(Job) - Method in class accrue.AccrueSchedulerHelper
 
SimplifyExpressionsGoal - Class in accrue.analysis.goals
 
SimplifyExpressionsGoal(Job, NodeFactory, TypeSystem) - Constructor for class accrue.analysis.goals.SimplifyExpressionsGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.antidep.AntiDepGoal
 
singleton(AccrueExtensionInfo) - Static method in class accrue.analysis.antidep.AntiDepPass
 
singleton(ExtensionInfo, int) - Static method in class accrue.analysis.callgraph.PreciseCallGraphGoal
 
singleton(AccrueExtensionInfo, int) - Static method in class accrue.analysis.callgraph.PreciseCallGraphPass
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.ctldep.CtlDepGoal
 
singleton(AccrueExtensionInfo) - Static method in class accrue.analysis.ctldep.CtlDepPass
 
singleton(ExtensionInfo, DefUseAnalysisUtil.Mode) - Static method in class accrue.analysis.defuse.DefUseGoal
 
singleton(AccrueExtensionInfo, DefUseAnalysisUtil.Mode) - Static method in class accrue.analysis.defuse.DefUsePass
 
singleton(AccrueExtensionInfo, DominationPass.Kind, Goal) - Static method in class accrue.analysis.domination.DominationPass
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.domination.DominatorGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.domination.NonFatalPostDominatorGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.domination.PostDominatorGoal
 
singleton(ExtensionInfo, String) - Static method in class accrue.analysis.goals.MissingCodeReportGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.MoveLocalClassesGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.PointerAnalysisGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.RegisterDeclsGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.goals.RegisterExpressionsGoal
 
singleton(T, Object) - Static method in class accrue.analysis.interprocvarcontext.Stack
 
singleton(ExtensionInfo, String) - Static method in class accrue.analysis.MissingCodeReportPass
 
singleton(AccrueExtensionInfo) - Static method in class accrue.analysis.notnulldataflow.NotNullAnalysisPass
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.notnulldataflow.NotNullGoal
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.pointer.PointerAnalysisPass
 
singleton(ExtensionInfo, int) - Static method in class accrue.analysis.preciseExceptions.PreciseExGoal
 
singleton(AccrueExtensionInfo, int) - Static method in class accrue.analysis.preciseExceptions.PreciseExPass
 
singleton(ExtensionInfo) - Static method in class accrue.analysis.readwritesets.ReadWriteSetsGoal
Create a singleton goal
singleton(AccrueExtensionInfo, Goal) - Static method in class accrue.analysis.readwritesets.ReadWriteSetsPass
Create a singleton pass
singletons - Static variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
 
size() - Method in class accrue.analysis.interprocvarcontext.Stack
 
size() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
Get the number of elements on the stack
solve(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngine
 
solved - Variable in class accrue.analysis.pointer.PointsToGraph
Has this graph been solved yet? Various methods shoudl only be called once the points to graph inference has finished.
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngine
 
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineMultiThread
 
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineSingleThread
 
solveImpl(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineTimeout
 
solveMultithreaded(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineMultiThread
 
solveSimple(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineSingleThread
A simple and inefficient solution technique: iterate through all statements until no more changes
solveSmarter(StmtRegistrar, ExtensionInfo) - Method in class accrue.analysis.pointer.PointsToEngineSingleThread
A better solution techniques that tracks dependencies between points-to sets and statements.
Stack<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
A stack of abstract values.
Stack() - Constructor for class accrue.analysis.interprocvarcontext.Stack
 
start_production() - Method in class accrue.analysis.parse.Grm
Indicates start production.
start_state() - Method in class accrue.analysis.parse.Grm
Indicates start state.
startItem(AnalysisUtil<VarContext<AntiDepAbsVal>>, ProcedureDecl) - Method in class accrue.analysis.antidep.AntiDepAnalysisFactory
 
startItem(AnalysisUtil<PCGAbsVal>, ProcedureDecl) - Method in class accrue.analysis.callgraph.PreciseCallGraphFactory
 
startItem(AnalysisUtil<CDAbsVal>, ProcedureDecl) - Method in class accrue.analysis.ctldep.CtlDepAnalysisFactory
 
startItem(AnalysisUtil<VarContext<DefUseAbsVal>>, ProcedureDecl) - Method in class accrue.analysis.defuse.DefUseAnalysisFactory
 
startItem(AnalysisUtil<Unit>, ProcedureDecl) - Method in class accrue.analysis.domination.DominationAnalysisFactory
 
startItem(AnalysisUtil<A>, ProcedureDecl) - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Get the start item for the analysis
startItem(AnalysisUtil<VarContext<NotNullAbsVal>>, ProcedureDecl) - Method in class accrue.analysis.notnulldataflow.NotNullAnalysisFactory
 
startItem(AnalysisUtil<PreciseExAbsVal>, ProcedureDecl) - Method in class accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
 
startItem(AnalysisUtil<ReadWriteSet>, ProcedureDecl) - Method in class accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
 
startOptFlag - Variable in class accrue.AccrueOptionsHelper
 
STARTPROC - Static variable in class accrue.analysis.ctldep.CDAbsVal
 
startProcAnalysisContext() - Method in class accrue.analysis.interprocanalysis.AnalysisFactory
Get the initial analysis context for the start procedure (i.e.
startProcClass - Variable in class accrue.AccrueOptionsHelper
 
startProcs() - Method in class accrue.analysis.interprocanalysis.CallGraph
 
startProcs() - Method in class accrue.analysis.interprocanalysis.Registrar
 
startSolution() - Method in class accrue.analysis.pointer.PointsToEngine
 
startTime() - Method in class accrue.analysis.pointer.PointsToEngine
 
STATIC - Static variable in class accrue.analysis.parse.sym
 
StaticCallSiteContextSensitiveAnalysis - Class in accrue.analysis.pointer.analyses
Similar to CallSiteContextSensitiveAnalysis, this is a call-site sensitive analysis.
StaticCallSiteContextSensitiveAnalysis() - Constructor for class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
Create an analysis with the default sensitivity
StaticCallSiteContextSensitiveAnalysis(int) - Constructor for class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
Create an analysis with the given context-call-stack depth
StickFirstCalledFrom - Class in accrue.analysis.pointer.analyses
Analysis that keeps the first N call sites where the file called from matches a particular prefix.
StickFirstCalledFrom(int, String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCalledFrom
Create an analysis that tracks called from a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCalledFrom(String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCalledFrom
Create an analysis that tracks methods called from a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCallee - Class in accrue.analysis.pointer.analyses
Analysis that keeps the first N call sites that matches a particular prefix.
StickFirstCallee() - Constructor for class accrue.analysis.pointer.analyses.StickFirstCallee
Create an analysis with the default sensitivity and default string.
StickFirstCallee(int, String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCallee
Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCallee(String) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCallee
Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstCollections - Class in accrue.analysis.pointer.analyses
Precisely track the first calls into the Java collections framework.
StickFirstCollections(int) - Constructor for class accrue.analysis.pointer.analyses.StickFirstCollections
Create a new HeapAbstractionFactory with the given sensitivity
StickFirstCollections() - Constructor for class accrue.analysis.pointer.analyses.StickFirstCollections
Create a new HeapAbstractionFactory with the default sensitivity
StickFirstMatches - Class in accrue.analysis.pointer.analyses
Analysis that keeps the first N call sites that matches some predicate.
StickFirstMatches() - Constructor for class accrue.analysis.pointer.analyses.StickFirstMatches
Create an analysis with the default sensitivity and default string.
StickFirstMatches(int) - Constructor for class accrue.analysis.pointer.analyses.StickFirstMatches
Create an analysis that tracks methods with a particular prefix with the given context-call-stack depth, once that depth is reached the context is "stuck" and no more call sites are added.
StickFirstPrimitive - Class in accrue.analysis.pointer.analyses
Precisely track the first calls into the one of the 8 Java primitive wrappers.
StickFirstPrimitive(int) - Constructor for class accrue.analysis.pointer.analyses.StickFirstPrimitive
Create an analysis that tracks methods called on Primitive wrapper classes.
StickFirstPrimitive() - Constructor for class accrue.analysis.pointer.analyses.StickFirstPrimitive
Create an analysis that tracks methods called on Primitive wrapper classes with default sensitivity.
StmtAllocToLocal - Class in accrue.analysis.pointer
 
StmtAllocToLocal(ReferenceVariable, AllocSiteNode, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtAllocToLocal
 
StmtConstructorCall - Class in accrue.analysis.pointer
 
StmtConstructorCall(ReferenceVariable, CallSiteNode, ConstructorInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtConstructorCall
 
StmtFieldToLocal - Class in accrue.analysis.pointer
 
StmtFieldToLocal(ReferenceVariable, ReferenceVariable, FieldInstance, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtFieldToLocal
left = right.fi
StmtFieldToLocal(ReferenceVariable, ReferenceVariable, String, Type, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtFieldToLocal
left = right.fi Only use for "special fields" that have no field instance (such as the contents of an array)
StmtFilteredLocalToLocal - Class in accrue.analysis.pointer
left = right, but only allow left to point to objects that are subtypes ot t and are not subtypes of any element of notT.
StmtFilteredLocalToLocal(ReferenceVariable, ReferenceVariable, Type, Set<Type>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtFilteredLocalToLocal
 
StmtLocalToField - Class in accrue.analysis.pointer
 
StmtLocalToField(ReferenceVariable, FieldInstance, ReferenceVariable, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtLocalToField
left.fi = right
StmtLocalToField(ReferenceVariable, String, Type, ReferenceVariable, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtLocalToField
left.fi = right Only use for "special fields" that have no field instance (such as the contents of an array)
StmtLocalToLocal - Class in accrue.analysis.pointer
 
StmtLocalToLocal(ReferenceVariable, ReferenceVariable, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtLocalToLocal
 
StmtProcedureCall - Class in accrue.analysis.pointer
 
StmtProcedureCall(Position, CodeInstance, CallSiteNode) - Constructor for class accrue.analysis.pointer.StmtProcedureCall
 
StmtProcedureCall.ExceptionHandlerPointsToGraphNode - Class in accrue.analysis.pointer
 
StmtProcedureCall.ExceptionHandlerPointsToGraphNode(Type, ReferenceVariableReplica) - Constructor for class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
 
StmtRegistrar - Class in accrue.analysis.pointer
 
StmtRegistrar(ExtensionInfo) - Constructor for class accrue.analysis.pointer.StmtRegistrar
 
StmtRegistrar.CodeInfo - Class in accrue.analysis.pointer
 
StmtRegistrar.CodeInfo(CodeInstance, ReferenceVariable, List<ReferenceVariable>, ReferenceVariable, Map<Type, ReferenceVariable>) - Constructor for class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
StmtRegistrar.ExceptionHandlerReferenceVariable - Class in accrue.analysis.pointer
 
StmtRegistrar.ExceptionHandlerReferenceVariable(Type, ReferenceVariable) - Constructor for class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
 
stmts() - Method in class accrue.analysis.pointer.StmtRegistrar
 
stmtsForCode(CodeInstance) - Method in class accrue.analysis.pointer.StmtRegistrar
 
StmtSpecialMethodCall - Class in accrue.analysis.pointer
 
StmtSpecialMethodCall(ReferenceVariable, ReferenceVariable, CallSiteNode, MethodInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtSpecialMethodCall
 
StmtStaticMethodCall - Class in accrue.analysis.pointer
 
StmtStaticMethodCall(ReferenceVariable, CallSiteNode, MethodInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtStaticMethodCall
 
StmtVirtualMethodCall - Class in accrue.analysis.pointer
 
StmtVirtualMethodCall(ReferenceVariable, ReferenceVariable, CallSiteNode, MethodInstance, List<ReferenceVariable>, List<StmtRegistrar.ExceptionHandlerReferenceVariable>, Map<Type, ReferenceVariable>, Position, CodeInstance) - Constructor for class accrue.analysis.pointer.StmtVirtualMethodCall
 
STRICTFP - Static variable in class accrue.analysis.parse.sym
 
STRING - Static variable in class accrue.analysis.parse.Lexer_c
 
STRING_CONTENTS - Static variable in class accrue.analysis.defuse.DefUseAnalysisUtil
 
STRING_LITERAL - Static variable in class accrue.analysis.parse.sym
 
stringLocations(DefUseAbsVal, Expr) - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
subexprsUninteresting(Node, Node) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
As a mild optimization, allow the visitor to specify subexpressions that it is not interested in.
SUPER - Static variable in class accrue.analysis.parse.sym
 
Suppress(Position, List<TypeNode>, Expr) - Method in interface accrue.analysis.ast.AccrueNodeFactory
 
Suppress(Position, List<TypeNode>, Expr) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
 
Suppress - Interface in accrue.analysis.ast
 
suppress(Type) - Method in interface accrue.analysis.ast.Suppress
 
suppress(Type) - Method in class accrue.analysis.ast.Suppress_c
 
SUPPRESS - Static variable in class accrue.analysis.parse.sym
 
Suppress_c - Class in accrue.analysis.ast
 
Suppress_c(Position, List<TypeNode>, Expr) - Constructor for class accrue.analysis.ast.Suppress_c
 
suppressExceptionTypes() - Method in interface accrue.analysis.ast.Suppress
 
suppressExceptionTypes() - Method in class accrue.analysis.ast.Suppress_c
 
SuspendedExecutionStack<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
Stack of maps from CFG edge key to abstract dataflow value.
suspendedExecutionStack(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
Get a new VarContext identical to this with the suspended execution stack replaced with the specified one
suspendedExecutionStack() - Method in class accrue.analysis.interprocvarcontext.VarContext
Get the stack of maps from finally entry edge keys to abstract values.
SWITCH - Static variable in class accrue.analysis.parse.sym
 
sym - Class in accrue.analysis.parse
CUP generated class containing symbol constants.
sym() - Constructor for class accrue.analysis.parse.sym
 
SYNCHRONIZED - Static variable in class accrue.analysis.parse.sym
 

T

tailString(StringBuffer) - Method in class accrue.analysis.interprocvarcontext.Stack
 
target - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
targetMayBeNull(AnalysisContext) - Method in class accrue.analysis.ext.ExtCall
 
THIS - Static variable in class accrue.analysis.parse.sym
 
thisNode - Variable in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
THROW - Static variable in class accrue.analysis.parse.sym
 
ThrowableType - Class in accrue.analysis.preciseExceptions
 
ThrowableType(Type, boolean) - Constructor for class accrue.analysis.preciseExceptions.ThrowableType
 
THROWS - Static variable in class accrue.analysis.parse.sym
 
throwSites() - Method in class accrue.analysis.callgraph.PCGAbsVal
 
throwSites - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
throwsNonFatalExceptions(Term) - Method in class accrue.analysis.ctldep.CtlDepDataFlow
Returns true if this node throws exceptions that may be caught.
throwTypes() - Method in class accrue.analysis.callgraph.PCGAbsVal
 
throwTypes - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
throwTypes() - Method in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtArrayAccess
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtArrayAccessAssign
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtBinary
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtCall
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtCast
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtConstructorCall
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtField
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtFieldAssign
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtNew
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtNewArray
 
throwTypes(TypeSystem, AnalysisContext) - Method in interface accrue.analysis.ext.ExtProcedureCall
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtTerm
Get the collection of types of exceptions that might be thrown
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.analysis.ext.ExtThrow
 
throwTypes() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
throwTypes - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
throwTypes() - Method in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
throwTypes(TypeSystem, AnalysisContext) - Method in class accrue.jl5.ext.ExtEnumConstantDecl
 
timeout() - Method in class accrue.analysis.pointer.PointsToEngine
 
timeoutTime() - Method in class accrue.analysis.pointer.PointsToEngine
 
toString() - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
toString() - Method in class accrue.analysis.ast.Suppress_c
 
toString() - Method in class accrue.analysis.callgraph.PCGAbsVal
 
toString() - Method in class accrue.analysis.defuse.DefUseAbsVal
 
toString() - Method in class accrue.analysis.defuse.NewAllocAbsVal
 
toString() - Method in class accrue.analysis.interprocanalysis.AbstractLocation
 
toString() - Method in class accrue.analysis.interprocanalysis.AnalysisContext
 
toString() - Method in class accrue.analysis.interprocanalysis.AnalysisUnit
 
toString() - Method in class accrue.analysis.interprocanalysis.DataFlowNodeIdentifier_c
 
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
 
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
 
toString() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier_c
 
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap.ExceptionKey
 
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap.Key
 
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap.LabeledBranchKey
 
toString() - Method in class accrue.analysis.interprocanalysis.ExitMap
 
toString() - Method in class accrue.analysis.interprocanalysis.NativeNodeIdentifier_c
 
toString() - Method in class accrue.analysis.interprocanalysis.NodeIdentifier_c
 
toString() - Method in class accrue.analysis.interprocanalysis.Unit
 
toString() - Method in class accrue.analysis.interprocvarcontext.FinalVarContext
 
toString() - Method in class accrue.analysis.interprocvarcontext.SignatureRepository
 
toString() - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
 
toString() - Method in class accrue.analysis.interprocvarcontext.VarContext
 
toString() - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
toString() - Method in class accrue.analysis.pointer.AllocSiteNode
 
toString() - Method in class accrue.analysis.pointer.analyses.CallSiteContextSensitiveAnalysis
 
toString() - Method in class accrue.analysis.pointer.analyses.CallSiteForCallee
 
toString() - Method in class accrue.analysis.pointer.analyses.CallSiteForPattern
 
toString() - Method in class accrue.analysis.pointer.analyses.CrossProductAnalysis
 
toString() - Method in class accrue.analysis.pointer.analyses.DistinguishClass
 
toString() - Method in class accrue.analysis.pointer.analyses.FullObjSensitiveAnalysis
 
toString() - Method in class accrue.analysis.pointer.analyses.StaticCallSiteContextSensitiveAnalysis
 
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstCalledFrom
 
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstCallee
 
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstCollections
 
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstMatches
 
toString() - Method in class accrue.analysis.pointer.analyses.StickFirstPrimitive
 
toString() - Method in class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
toString() - Method in class accrue.analysis.pointer.CallSiteNode
 
toString() - Method in class accrue.analysis.pointer.ConstructorContext
 
toString() - Method in class accrue.analysis.pointer.ObjectField
 
toString() - Method in class accrue.analysis.pointer.PointsToEngine
 
toString() - Method in class accrue.analysis.pointer.PointsToEngineTimeout
 
toString() - Method in class accrue.analysis.pointer.PointsToGraphSerial
 
toString() - Method in class accrue.analysis.pointer.PointsToGraphSync
 
toString() - Method in class accrue.analysis.pointer.PointsToStmt
 
toString() - Method in class accrue.analysis.pointer.ReferenceVariable
 
toString() - Method in class accrue.analysis.pointer.ReferenceVariableReplica
 
toString() - Method in class accrue.analysis.pointer.StmtAllocToLocal
 
toString() - Method in class accrue.analysis.pointer.StmtConstructorCall
 
toString() - Method in class accrue.analysis.pointer.StmtFieldToLocal
 
toString() - Method in class accrue.analysis.pointer.StmtFilteredLocalToLocal
 
toString() - Method in class accrue.analysis.pointer.StmtLocalToField
 
toString() - Method in class accrue.analysis.pointer.StmtLocalToLocal
 
toString() - Method in class accrue.analysis.pointer.StmtProcedureCall.ExceptionHandlerPointsToGraphNode
 
toString() - Method in class accrue.analysis.pointer.StmtRegistrar.CodeInfo
 
toString() - Method in class accrue.analysis.pointer.StmtRegistrar.ExceptionHandlerReferenceVariable
 
toString() - Method in class accrue.analysis.pointer.StmtSpecialMethodCall
 
toString() - Method in class accrue.analysis.pointer.StmtStaticMethodCall
 
toString() - Method in class accrue.analysis.pointer.StmtVirtualMethodCall
 
toString() - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
toString() - Method in class accrue.analysis.preciseExceptions.ThrowableType
 
toString() - Method in class accrue.analysis.readwritesets.ReadWriteSet
 
totalSize() - Method in class accrue.analysis.interprocanalysis.CallGraph
 
trackErrors - Variable in class accrue.analysis.interprocvarcontext.AnalysisUtilVarContext
Should we track java.lang.Error ExitMap.keys?
trackImplicitErrors - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
trackStrings - Variable in class accrue.analysis.defuse.DefUseAnalysisUtil
 
trackStrings() - Method in class accrue.analysis.defuse.DefUseAnalysisUtil
 
TRADITIONAL_COMMENT - Static variable in class accrue.analysis.parse.Lexer_c
 
TRANSIENT - Static variable in class accrue.analysis.parse.sym
 
trueFalseResult(T, T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Set the contexts for the true and the false branches
trueResult() - Method in class accrue.analysis.interprocanalysis.ExitMap
Get the context for the true branch if any, otherwise return the context for normal termination
trueResult(T) - Method in class accrue.analysis.interprocanalysis.ExitMap
Set the context for the true branch
Try(Position, Block, List<Catch>, Block) - Method in class accrue.analysis.ast.AccrueNodeFactory_c
 
TRY - Static variable in class accrue.analysis.parse.sym
 
ts - Variable in class accrue.analysis.antidep.AntiDepAnalysisUtil
 
ts - Variable in class accrue.analysis.callgraph.PreciseCallGraphVisitor
 
ts - Variable in class accrue.analysis.defuse.DefUseAnalysisUtil
 
ts - Variable in class accrue.analysis.parse.Grm
 
ts - Variable in class accrue.analysis.preciseExceptions.PreciseExVisitor
 
type - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
 
type() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.ExceptionEdge
 
type() - Method in interface accrue.analysis.pointer.HContext
Returns the most specific known type of this abstract object.
type - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
 
type() - Method in class accrue.analysis.preciseExceptions.ThrowableType
 
typeCheck(TypeChecker) - Method in class accrue.analysis.ast.Suppress_c
 
typeForName(TypeSystem, String) - Static method in class accrue.analysis.pointer.PointsToLibrarySigs.AllocatorOrReceiver
 
typeName - Variable in class accrue.analysis.pointer.PointsToLibrarySigs.Singleton
The type of the abstract object.
TypeSensitive_nTmH_Analysis - Class in accrue.analysis.pointer.analyses
A 2type+1H Type Sensitive pointer analysis, as described in "Pick Your Contexts Well: Understanding Object-Sensitivity" by Smaragdakis, Bravenboer, and Lhotak, POPL 2011.
TypeSensitive_nTmH_Analysis(int, int) - Constructor for class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
TypeSensitive_nTmH_Analysis() - Constructor for class accrue.analysis.pointer.analyses.TypeSensitive_nTmH_Analysis
 
typeSystem() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 

U

Unit - Class in accrue.analysis.interprocanalysis
Singleton representation of a single element lattice.
UNIT - Static variable in class accrue.analysis.interprocanalysis.Unit
Get the singleton instance
updateCallerRecordAfterCalleeProcessing(WorkQueue.AnalysisUnitRecord<T>, WorkQueue.AnalysisUnitRecord<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
updateCallerRecordAfterCalleeProcessing(WorkQueue.AnalysisUnitRecord<VarContext<T>>, WorkQueue.AnalysisUnitRecord<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
updateOutput(WorkQueue.AnalysisUnitRecord<T>, ExitMap<T>, AnalysisUtil<T>) - Method in class accrue.analysis.interprocanalysis.WorkQueue
 
updateOutput(WorkQueue.AnalysisUnitRecord<VarContext<T>>, ExitMap<VarContext<T>>, AnalysisUtil<VarContext<T>>) - Method in class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
updateReferenceVariable(Local, StmtRegistrar.CodeInfo, ConstructorContext) - Method in class accrue.analysis.pointer.StmtRegistrar
 
upperBound(AntiDepAbsVal) - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
upperBound(Collection<AntiDepAbsVal>) - Method in class accrue.analysis.antidep.AntiDepDataFlow
 
upperBound(PCGAbsVal) - Method in class accrue.analysis.callgraph.PCGAbsVal
 
upperBound(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
 
upperBound(List<CDAbsVal>) - Static method in class accrue.analysis.ctldep.CDAbsVal
 
upperBound(DefUseAbsVal) - Method in class accrue.analysis.defuse.DefUseAbsVal
 
upperBound(Collection<DefUseAbsVal>) - Method in class accrue.analysis.defuse.DefUseDataFlow
 
upperBound(DefUseAbsVal) - Method in class accrue.analysis.defuse.NewAllocAbsVal
 
upperBound(O, O) - Static method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
upperBound(ExitMap<T>) - Method in class accrue.analysis.interprocanalysis.ExitMap
Compute pairwise upper bound of this with f.
upperBound(T) - Method in interface accrue.analysis.interprocanalysis.Ordered
Compute the upper bound of this and o
upperBound(Unit) - Method in class accrue.analysis.interprocanalysis.Unit
 
upperBound(Stack<T>) - Method in class accrue.analysis.interprocvarcontext.Stack
 
upperBound(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
 
upperBound(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
 
upperBound(VarContext<T>, VarContext<T>) - Static method in class accrue.analysis.interprocvarcontext.VarContext
Compute the upper bound of c1 and c2
upperBound(NotNullAbsVal) - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
upperBound(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
upperBound(ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSet
 
URSHIFT - Static variable in class accrue.analysis.parse.sym
 
URSHIFTEQ - Static variable in class accrue.analysis.parse.sym
 
usage(PrintStream) - Method in class accrue.jl5.AccrueJL5TranslationExtensionInfo.AccrueJL5TranslationOptions
 
USE_SINGLE_ALLOC_NODE_FOR_GENERATED_EXCEPTIONS - Static variable in class accrue.analysis.pointer.StmtRegistrar
 
used - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
used() - Method in class accrue.analysis.interprocanalysis.EdgeIdentifier.HeapUseKey
 
used - Variable in class accrue.analysis.interprocanalysis.EdgeIdentifier.LocalUseKey
 
USES_CLOCK - Static variable in class accrue.analysis.defuse.DefUseLibrarySignature
 
uses_defs - Variable in class accrue.analysis.defuse.DefUseLibrarySignature
 

V

validateArgs() - Method in class accrue.AccrueJLOptions
 
validateArgs() - Method in class accrue.jl5.AccrueJL5Options
 
valueOf(String) - Static method in enum accrue.analysis.defuse.DefUseAnalysisUtil.Mode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum accrue.analysis.domination.DominationPass.Kind
Returns the enum constant of this type with the specified name.
valueOf(boolean) - Static method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
values() - Static method in enum accrue.analysis.defuse.DefUseAnalysisUtil.Mode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum accrue.analysis.domination.DominationPass.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class accrue.analysis.interprocvarcontext.AnalysisContextPeerMap
 
valUpperBound(T, T, boolean) - Method in class accrue.analysis.interprocvarcontext.VarContext
Compute the upper bound of a and b
VarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
A VarContext keeps track of abstract values for local variables and heap locations.
VarContext(String, T) - Constructor for class accrue.analysis.interprocvarcontext.VarContext
Create a variable context
VarContext(String, T, boolean, T) - Constructor for class accrue.analysis.interprocvarcontext.VarContext
Create a new variable context
VarContext(String, Map<String, T>, Map<AbstractLocation, T>, Stack<T>, Map<Term, Integer>, SuspendedExecutionStack<T>, T, T, boolean, T) - Constructor for class accrue.analysis.interprocvarcontext.VarContext
Create a variable context
VarContextDataFlow<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
Add support for analysis contexts.
VarContextDataFlow(AnalysisUtilVarContextDataFlow<?, T>, WorkQueue<?>, Job, TypeSystem, NodeFactory, boolean) - Constructor for class accrue.analysis.interprocvarcontext.VarContextDataFlow
Create a new dataflow visitor
VarContextDataFlow(AnalysisUtilVarContextDataFlow<?, T>, WorkQueue<?>, Job, TypeSystem, NodeFactory, boolean, boolean, boolean) - Constructor for class accrue.analysis.interprocvarcontext.VarContextDataFlow
Create a new dataflow visitor
visitChildren(NodeVisitor) - Method in class accrue.analysis.ast.Suppress_c
 
visitInstanceIntializer(CodeNode) - Method in class accrue.analysis.pointer.RegisterPointerStmtsVisitor
 
visitThrow(Term) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
 
visitThrow(Term, int, ThrowableType) - Method in class accrue.analysis.interprocanalysis.PreciseDataFlow.PreciseCFGBuilder
Create edges for an exception thrown from term t.
VOID - Static variable in class accrue.analysis.parse.sym
 
VOLATILE - Static variable in class accrue.analysis.parse.sym
 

W

WARN_ON_MISSING_EDGES - Static variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Determines whether to warn on missing dataflow edges
warnEmptySetSigsOptFlag - Variable in class accrue.AccrueOptionsHelper
 
WHILE - Static variable in class accrue.analysis.parse.sym
 
widen(AntiDepAbsVal) - Method in class accrue.analysis.antidep.AntiDepAbsVal
 
widen(PCGAbsVal) - Method in class accrue.analysis.callgraph.PCGAbsVal
 
widen(CDAbsVal) - Method in class accrue.analysis.ctldep.CDAbsVal
 
widen(DefUseAbsVal) - Method in class accrue.analysis.defuse.DefUseAbsVal
 
widen(T) - Method in interface accrue.analysis.interprocanalysis.Ordered
Compute the widening operator on this and o.
widen(Unit) - Method in class accrue.analysis.interprocanalysis.Unit
 
widen(Stack<T>) - Method in class accrue.analysis.interprocvarcontext.Stack
 
widen(SuspendedExecutionStack<T>) - Method in class accrue.analysis.interprocvarcontext.SuspendedExecutionStack
 
widen(VarContext<T>) - Method in class accrue.analysis.interprocvarcontext.VarContext
 
widen(NotNullAbsVal) - Method in class accrue.analysis.notnulldataflow.NotNullAbsVal
 
widen(PreciseExAbsVal) - Method in class accrue.analysis.preciseExceptions.PreciseExAbsVal
 
widen(ReadWriteSet) - Method in class accrue.analysis.readwritesets.ReadWriteSet
 
wideningUpperBound(VarContext<T>, boolean) - Method in class accrue.analysis.interprocvarcontext.VarContext
Return a new VarContext that is an upper bound of this and that, i.e., this.leq(this.uppperBound(that)) and that.leq(this.upperBound(that)).
workQueue - Variable in class accrue.analysis.interprocanalysis.AnalysisUtil
Analysis item work queue
workQueue() - Method in class accrue.analysis.interprocanalysis.AnalysisUtil
 
WorkQueue<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
Manages the work queue of AnalysisUnits for interprocedural analyses.
WorkQueue(Registrar, ExtensionInfo, AnalysisFactory<T>, Pass) - Constructor for class accrue.analysis.interprocanalysis.WorkQueue
 
workQueue - Variable in class accrue.analysis.interprocvarcontext.VarContextDataFlow
Analysis work queue
WorkQueue.AnalysisUnitRecord<T extends Ordered<T>> - Class in accrue.analysis.interprocanalysis
 
WorkQueue.AnalysisUnitRecord() - Constructor for class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
 
WorkQueue.AnalysisUnitRecord(T, ExitMap<T>) - Constructor for class accrue.analysis.interprocanalysis.WorkQueue.AnalysisUnitRecord
 
WorkQueueVarContext<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
Manages the work queue.
WorkQueueVarContext(Registrar, ExtensionInfo, AnalysisFactory<VarContext<T>>, Pass) - Constructor for class accrue.analysis.interprocvarcontext.WorkQueueVarContext
 
WorkQueueVarContext.AnalysisUnitRecordLocs<T extends AbstractValue<T>> - Class in accrue.analysis.interprocvarcontext
 
WorkQueueVarContext.AnalysisUnitRecordLocs() - Constructor for class accrue.analysis.interprocvarcontext.WorkQueueVarContext.AnalysisUnitRecordLocs
 
WorkQueueVarContext.AnalysisUnitRecordLocs(VarContext<T>, FinalVarContext<T>) - Constructor for class accrue.analysis.interprocvarcontext.WorkQueueVarContext.AnalysisUnitRecordLocs
 
writeSet() - Method in class accrue.analysis.readwritesets.ReadWriteSet
Get the set of written locations

X

XOR - Static variable in class accrue.analysis.parse.sym
 
XOREQ - Static variable in class accrue.analysis.parse.sym
 

Y

yybegin(int) - Method in class accrue.analysis.parse.Lexer_c
Enters a new lexical state
yycharat(int) - Method in class accrue.analysis.parse.Lexer_c
Returns the character at position pos from the matched text.
yyclose() - Method in class accrue.analysis.parse.Lexer_c
Closes the input stream.
YYEOF - Static variable in class accrue.analysis.parse.Lexer_c
This character denotes the end of file
YYINITIAL - Static variable in class accrue.analysis.parse.Lexer_c
lexical states
yylength() - Method in class accrue.analysis.parse.Lexer_c
Returns the length of the matched text region.
yypushback(int) - Method in class accrue.analysis.parse.Lexer_c
Pushes the specified amount of characters back into the input stream.
yyreset(Reader) - Method in class accrue.analysis.parse.Lexer_c
Resets the scanner to read from a new input stream.
yystate() - Method in class accrue.analysis.parse.Lexer_c
Returns the current lexical state.
yytext() - Method in class accrue.analysis.parse.Lexer_c
Returns the text matched by the current regular expression.

_

_action_table - Static variable in class accrue.analysis.parse.Grm
Parse-action table.
_production_table - Static variable in class accrue.analysis.parse.Grm
Production table.
_reduce_table - Static variable in class accrue.analysis.parse.Grm
reduce_goto table.
A B C D E F G H I J K L M N O P Q R S T U V W X Y _