proguard.analysis.cpa.domain.arg

Class ArgBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.defaults.CpaRun<BamCpa<CfaNodeT,CfaEdgeT,SignatureT>,AbstractStateT>

proguard.analysis.cpa.defaults.BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT,CfaEdgeT,SignatureT>

proguard.analysis.cpa.domain.arg.ArgBamCpaRun<CpaT,AbstractStateT,CfaNodeT,CfaEdgeT,SignatureT>

public class ArgBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT,CfaEdgeT,SignatureT>

This BamCpaRun wraps the given BamCpaRun with an ARG generator.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected BamCpaRun<CpaT,AbstractStateT,CfaNodeT,CfaEdgeT,SignatureT>	wrappedBamCpaRun

Fields inherited from class proguard.analysis.cpa.defaults.CpaRun

abortOperator, cpa

Constructor Summary

Constructors

Constructor and Description
ArgBamCpaRun(BamCpaRun<CpaT,AbstractStateT,CfaNodeT,CfaEdgeT,SignatureT> wrappedBamCpaRun, ArgAbstractStateFactory argAbstractStateFactory) Create an ARG BAM CPA run.

Method Summary

Modifier and Type	Method and Description
ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>	createExpandOperator() Returns the expand operator.
ArgCpa	createIntraproceduralCPA() Returns the intraprocedural CPA.
protected ReachedSet	createReachedSet() Returns an empty ReachedSet.
RebuildOperator	createRebuildOperator() Returns the rebuild operator.
ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>	createReduceOperator() Returns the reduce operator.
Cfa<CfaNodeT,CfaEdgeT,SignatureT>	getCfa() Returns the CFA.
java.util.Collection<ArgAbstractState>	getInitialStates() Returns a collection of initial AbstractStates.
SignatureT	getMainSignature() Returns the signature of the main procedure.

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

createCache, getCpa, getMaxCallStackDepth

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

createWaitlist, execute, getAbortOperator

Methods inherited from class java.lang.Object

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

Field Detail

wrappedBamCpaRun

protected final BamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> wrappedBamCpaRun

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgBamCpaRun

public ArgBamCpaRun(BamCpaRun<CpaT,AbstractStateT,CfaNodeT,CfaEdgeT,SignatureT> wrappedBamCpaRun,
                    ArgAbstractStateFactory argAbstractStateFactory)

Create an ARG BAM CPA run.

Parameters:

wrappedBamCpaRun - a BAM CPA run to be wrapped

argAbstractStateFactory - an ARG node factory

Method Detail

createReduceOperator

public ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT> createReduceOperator()

Description copied from class: BamCpaRun

Returns the reduce operator.

Specified by:

createReduceOperator in class BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

createExpandOperator

public ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT> createExpandOperator()

Description copied from class: BamCpaRun

Returns the expand operator.

Specified by:

createExpandOperator in class BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

createRebuildOperator

public RebuildOperator createRebuildOperator()

Description copied from class: BamCpaRun

Returns the rebuild operator.

Overrides:

createRebuildOperator in class BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

getCfa

public Cfa<CfaNodeT,CfaEdgeT,SignatureT> getCfa()

Description copied from class: BamCpaRun

Returns the CFA.

Specified by:

getCfa in class BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

getMainSignature

public SignatureT getMainSignature()

Description copied from class: BamCpaRun

Returns the signature of the main procedure.

Specified by:

getMainSignature in class BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

createIntraproceduralCPA

public ArgCpa createIntraproceduralCPA()

Description copied from class: BamCpaRun

Returns the intraprocedural CPA.

Specified by:

createIntraproceduralCPA in class BamCpaRun<ArgCpa,ArgAbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

getInitialStates

public java.util.Collection<ArgAbstractState> getInitialStates()

Description copied from class: CpaRun

Returns a collection of initial AbstractStates.

Specified by:

getInitialStates in class CpaRun<BamCpa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>,ArgAbstractState>

createReachedSet

protected ReachedSet createReachedSet()

Description copied from class: CpaRun

Returns an empty ReachedSet.

Overrides:

createReachedSet in class CpaRun<BamCpa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>,ArgAbstractState>