| 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>> |