proguard.analysis.cpa.domain.arg

Class ArgCpa

java.lang.Object

proguard.analysis.cpa.defaults.SimpleCpa

proguard.analysis.cpa.domain.arg.ArgCpa

All Implemented Interfaces:

ConfigurableProgramAnalysis

public class ArgCpa
extends SimpleCpa

This CPA wraps a given CPA with abstract reachability graph (ARG) generation. The ARG tracks the way AbstractStates are computed. Its nodes represented by ArgAbstractStates wrap the traced analysis states and references their parents, i.e., AbstractState which may have influenced their value. ARG is constructed by introducing wrapper CPA operators handling the parent lists while being transparent for the traced analysis through interface delegation. Thus, the traced analysis can be ARG-unaware if it preserves some degree of transparency, i.e., all its relevant behavior is defined through its CPA operators.

Constructor Summary

Constructors

Constructor and Description
ArgCpa(ArgAbstractDomain argAbstractDomain, ArgTransferRelation argTransferRelation, ArgMergeOperator argMergeOperator, ArgStopOperator argStopOperator, ArgPrecisionAdjustment argPrecisionAdjustment) Create an ARG CPA for the given CPA components.
ArgCpa(ConfigurableProgramAnalysis wrappedCpa, ArgAbstractStateFactory argAbstractStateFactory) Create an ARG CPA for the given inner CPA.

Method Summary

Methods inherited from class proguard.analysis.cpa.defaults.SimpleCpa

getAbstractDomain, getMergeOperator, getPrecisionAdjustment, getStopOperator, getTransferRelation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ArgCpa

public ArgCpa(ConfigurableProgramAnalysis wrappedCpa,
              ArgAbstractStateFactory argAbstractStateFactory)

Create an ARG CPA for the given inner CPA.

Parameters:

wrappedCpa - a CPA to be wrapped

argAbstractStateFactory - an ARG node factory

ArgCpa

public ArgCpa(ArgAbstractDomain argAbstractDomain,
              ArgTransferRelation argTransferRelation,
              ArgMergeOperator argMergeOperator,
              ArgStopOperator argStopOperator,
              ArgPrecisionAdjustment argPrecisionAdjustment)

Create an ARG CPA for the given CPA components.

Parameters:

argAbstractDomain - an ARG abstract domain

argTransferRelation - an ARG transfer relation

argMergeOperator - an ARG merge operator

argStopOperator - an ARG stop operator

argPrecisionAdjustment - an ARG precision adjustment