Package proguard.analysis.cpa.domain.arg

Class Summary

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>	This BamCpaRun wraps the given BamCpaRun with an ARG generator.
ArgCpa	This CPA wraps a given CPA with abstract reachability graph (ARG) generation.
ArgCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState>	This CpaRun wraps a given CpaRun with ARG creation.
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>	This ArgTransferRelation is extended for the case of ProgramLocationDependent AbstractStates.
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.