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