| Class | Description |
|---|---|
| ArgAbstractDomain |
This
AbstractDomain delegates its semi-lattice
interfaces to the inner abstract state and creates ARG nodes
upon discovering new abstract states. |
| ArgAbstractState |
This
AbstractSingleWrapperState represents a node of
the abstract reachability graph (ARG). |
| ArgAbstractStateFactory |
This abstract state factory creates an
ArgAbstractState
for a specific abstract state and its ARG parents. |
| ArgBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> | |
| ArgCpa |
This CPA wraps a given CPA with abstract reachability graph (ARG) generation.
|
| ArgCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState> | |
| ArgExpandOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> |
This wrapper expand operator delegates expansion to its inner
ExpandOperator
and wraps the output with an ARG node. |
| ArgMergeOperator |
This wrapper merge operator delegates merging to its inner
MergeOperator
and wraps the output with an ARG node. |
| ArgPrecisionAdjustment |
This wrapper precision adjustment delegates precision selection to
its inner
PrecisionAdjustment and wraps the adjusted AbstractState
with an ARG node. |
| ArgProgramLocationDependentAbstractState<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> |
This
ArgAbstractState is extended for the case when the wrapped abstract state is program location dependent. |
| ArgProgramLocationDependentAbstractStateFactory<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> |
This abstract state factory creates an
ArgProgramLocationDependentAbstractState
for a specific abstract state and its ARG parents. |
| ArgProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> | |
| ArgRebuildOperator |
This wrapper rebuild operator delegates rebuilding to its inner
RebuildOperator
and wraps the output with an ARG node. |
| ArgReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> |
This
ReduceOperator delegates reduction to its inner reduce operator and
creates an ARG node to its output. |
| ArgStopOperator |
This
StopOperator delegates the decision to the wrapped stop operator. |
| ArgTransferRelation |
This
SingleWrapperTransferRelation applies the wrapped TransferRelation
to the AbstractState stored in an ARG node and wraps its output into a child
ARG node. |