Interface | Description |
---|---|
DataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> |
Helper interface to assist in dispatch for dataflow implementations.
|
DataFlowNodeIdentifier | |
EdgeIdentifier | |
NativeNodeIdentifier | |
NodeIdentifier | |
Ordered<T> |
Interface for an arbitrary partially ordered set
|
Class | Description |
---|---|
AbstractDataFlowDispatch<DFItem extends polyglot.visit.DataFlow.Item> | |
AbstractLocation |
Represents an abstract location, i.e., zero or more concrete locations.
|
AnalysisContext |
A context in which to analyze code.
|
AnalysisContextMap<T> |
A utility class that is used to help record analysis results for AST nodes.
|
AnalysisFactory<A extends Ordered<A>> |
Utility class used by an interprocedural dataflow analysis
|
AnalysisUnit |
An AnalysisUnit is the unit of analysis that the WorkQueue deals with.
|
AnalysisUtil<A extends Ordered<A>> |
Abstract utility class for performing an object sensitive analysis.
|
CallGraph |
Representation of the interprocedural call graph.
|
DataFlowNodeIdentifier_c | |
EdgeIdentifier_c | |
EdgeIdentifier.EdgeType | |
EdgeIdentifier.ExceptionEdge | |
EdgeIdentifier.HeapUseKey |
A HeapUseKey is used for data dependency edges between defs and uses of
heap locations
|
EdgeIdentifier.LocalUseKey |
A LocalUseKey is used for data dependency edges between defs and uses of
Local and Formal locations
|
ExitMap<T extends Ordered<T>> |
Map giving the possible exit paths and the lattice elements along those paths
|
ExitMap.ExceptionKey |
Key for an exception exit path
|
ExitMap.Key |
Exit map key
|
ExitMap.LabeledBranchKey |
Labeled
break or continue |
InterProcAnalysisPass<T extends Ordered<T>> |
Compiler pass for an interprocedural analysis.
|
NativeNodeIdentifier_c |
This class identifies program points in missing or native code.
|
NodeIdentifier_c |
This class identifies a program point for the purposes of interprocedural analysis.
|
PreciseDataFlow<FlowItem extends polyglot.visit.DataFlow.Item> |
Uses the results of precise exceptions analysis to create a more accurate
control flow graph.
|
PreciseDataFlow.PreciseCFGBuilder<FlowItem extends polyglot.visit.DataFlow.Item> |
A more precise CFG builder that adds Exception edges only for
exceptions that might actually be thrown.
|
RegisterProceduresVisitor |
Registers all procedures (methods, constructors, initializers) with
the InterAnalysisPass.
|
Registrar |
The Registrar maintains useful information about the whole program's code.
|
Unit |
Singleton representation of a single element lattice.
|
WorkQueue<T extends Ordered<T>> |
Manages the work queue of AnalysisUnits for interprocedural analyses.
|
WorkQueue.AnalysisUnitRecord<T extends Ordered<T>> |