| Interface | Description |
|---|---|
| AbstractValue<T> |
An abstract value
|
| Class | Description |
|---|---|
| AnalysisContextPeerMap<T> |
A utility class that is used to help record analysis results for AST nodes.
|
| AnalysisContextPeerMap.CodeObjectPeerContext | |
| AnalysisFactoryVarContext<T extends AbstractValue<T>> | |
| AnalysisUtilVarContext<A extends Ordered<A>,T extends AbstractValue<T>> |
Abstract utility class for performing an interprocedural analysis with a
variable context.
|
| AnalysisUtilVarContextDataFlow<A extends Ordered<A>,T extends AbstractValue<T>> |
Abstract utility class for performing an interprocedural dataflow analysis.
|
| FinalVarContext<T extends AbstractValue<T>> |
The analysis context produced by analyzing a command.
|
| InterProcVarContextPass<T extends AbstractValue<T>> | |
| LibrarySignature<A extends Ordered<A>,T extends AbstractValue<T>> | |
| SignatureRepository<T> |
Provides a way to store and look up LibrarySignatures for procedure instances.
|
| Stack<T extends AbstractValue<T>> |
A stack of abstract values.
|
| SuspendedExecutionStack<T extends AbstractValue<T>> |
Stack of maps from CFG edge key to abstract dataflow value.
|
| VarContext<T extends AbstractValue<T>> |
A VarContext keeps track of abstract values for local variables and heap
locations.
|
| VarContextDataFlow<T extends AbstractValue<T>> |
Add support for analysis contexts.
|
| WorkQueueVarContext<T extends AbstractValue<T>> |
Manages the work queue.
|
| WorkQueueVarContext.AnalysisUnitRecordLocs<T extends AbstractValue<T>> |