proguard.analysis.cpa.bam

Class CpaWithBamOperators<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.defaults.SimpleCpa<JvmAbstractState<ContentT>>

proguard.analysis.cpa.bam.CpaWithBamOperators<ContentT>

Type Parameters:

ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

All Implemented Interfaces:

ConfigurableProgramAnalysis<JvmAbstractState<ContentT>>

public class CpaWithBamOperators<ContentT extends AbstractState<ContentT>>
extends SimpleCpa<JvmAbstractState<ContentT>>

A domain dependent analysis that can be wrapped with a BamCpa to be extended inter-procedurally.

Compared to a standard ConfigurableProgramAnalysis, this is extended with three operators:

- The reduce operator discards from the entry abstract state of a procedure the unnecessary information (e.g. local variables of the caller).

- The expand operator restores the removed information.

- The rebuild operator avoids collision of program identifiers while returning from a procedure call (e.g. renaming variables).

Constructor Summary

Constructors

Constructor and Description
CpaWithBamOperators(ConfigurableProgramAnalysis<JvmAbstractState<ContentT>> intraproceduralCpa, ReduceOperator<ContentT> reduce, ExpandOperator<ContentT> expand, RebuildOperator rebuild) Create a CPA with BAM operators from the intra-procedural ConfigurableProgramAnalysis and the additional BAM operators.
CpaWithBamOperators(ProgramLocationDependentTransferRelation<ContentT> transferRelation, MergeOperator<JvmAbstractState<ContentT>> merge, StopOperator<JvmAbstractState<ContentT>> stop, PrecisionAdjustment precisionAdjustment, ReduceOperator<ContentT> reduce, ExpandOperator<ContentT> expand, RebuildOperator rebuild) Create a CPA with BAM operators from the abstract domain and the operators.

Method Summary

Modifier and Type	Method and Description
ExpandOperator<ContentT>	getExpandOperator() Returns the ExpandOperator.
RebuildOperator	getRebuildOperator() Returns the RebuildOperator.
ReduceOperator<ContentT>	getReduceOperator() Returns the ReduceOperator.

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

getAbortOperator, getMergeOperator, getPrecisionAdjustment, getStopOperator, getTransferRelation

Methods inherited from class java.lang.Object

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

Constructor Detail

CpaWithBamOperators

public CpaWithBamOperators(ProgramLocationDependentTransferRelation<ContentT> transferRelation,
                           MergeOperator<JvmAbstractState<ContentT>> merge,
                           StopOperator<JvmAbstractState<ContentT>> stop,
                           PrecisionAdjustment precisionAdjustment,
                           ReduceOperator<ContentT> reduce,
                           ExpandOperator<ContentT> expand,
                           RebuildOperator rebuild)

Create a CPA with BAM operators from the abstract domain and the operators.

Parameters:

abstractDomain - a join-semilattice of AbstractStates defining the abstraction level of the analysis

transferRelation - a transfer relation specifying how successor states are computed

merge - a merge operator defining how (and whether) the older AbstractState should be updated with the newly discovered AbstractState

stop - a stop operator deciding whether the successor state should be added to the ReachedSet based on the content of the latter

precisionAdjustment - a precision adjustment selecting the Precision for the currently processed AbstractState considering the ReachedSet content

reduce - a reduce operator discarding from the entry abstract state of procedures the unnecessary information

expand - an expand operator restoring the information removed during reduction

rebuild - a rebuild operator avoiding identifiers collision while returning from a procedure call

CpaWithBamOperators

public CpaWithBamOperators(ConfigurableProgramAnalysis<JvmAbstractState<ContentT>> intraproceduralCpa,
                           ReduceOperator<ContentT> reduce,
                           ExpandOperator<ContentT> expand,
                           RebuildOperator rebuild)

Create a CPA with BAM operators from the intra-procedural ConfigurableProgramAnalysis and the additional BAM operators.

Parameters:

intraproceduralCpa - an intra-procedural ConfigurableProgramAnalysis

reduce - a reduce operator discarding from the entry abstract state of procedures the unnecessary information

expand - an expand operator restoring the information removed during reduction

rebuild - a rebuild operator avoiding identifiers collision while returning from a procedure call

Method Detail

getReduceOperator

public ReduceOperator<ContentT> getReduceOperator()

Returns the ReduceOperator.

getExpandOperator

public ExpandOperator<ContentT> getExpandOperator()

Returns the ExpandOperator.

getRebuildOperator

public RebuildOperator getRebuildOperator()

Returns the RebuildOperator.