- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- StickFirstCollections() - Constructor for class accrue.analysis.pointer.analyses.StickFirstCollections
-
- 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
-