proguard.analysis.cpa.defaults

Class CpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState>

java.lang.Object

proguard.analysis.cpa.defaults.CpaRun<CpaT,AbstractStateT>

Direct Known Subclasses:

BamCpaRun, SequentialCpaRun

public abstract class CpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState>
extends java.lang.Object

This abstract wrapper class runs the selected ConfigurableProgramAnalysis and returns the ReachedSet.

Field Summary

Fields

Modifier and Type	Field and Description
protected AbortOperator	abortOperator
protected CpaT	cpa

Constructor Summary

Constructors

Constructor and Description
CpaRun()

Method Summary

Modifier and Type	Method and Description
protected ReachedSet	createReachedSet() Returns an empty ReachedSet.
protected Waitlist	createWaitlist() Returns an empty Waitlist.
ReachedSet	execute() Sets up the CpaAlgorithm, runs it, and returns the ReachedSet with the result of the analysis.
AbortOperator	getAbortOperator() Returns the abort operator.
CpaT	getCpa() Returns the CPA.
abstract java.util.Collection<AbstractStateT>	getInitialStates() Returns a collection of initial AbstractStates.

Methods inherited from class java.lang.Object

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

Field Detail

cpa

protected CpaT extends ConfigurableProgramAnalysis cpa

abortOperator

protected AbortOperator abortOperator

Constructor Detail

CpaRun

public CpaRun()

Method Detail

execute

public ReachedSet execute()

Sets up the CpaAlgorithm, runs it, and returns the ReachedSet with the result of the analysis.

createReachedSet

protected ReachedSet createReachedSet()

Returns an empty ReachedSet.

createWaitlist

protected Waitlist createWaitlist()

Returns an empty Waitlist.

getInitialStates

public abstract java.util.Collection<AbstractStateT> getInitialStates()

Returns a collection of initial AbstractStates.

getCpa

public CpaT getCpa()

Returns the CPA.

getAbortOperator

public AbortOperator getAbortOperator()

Returns the abort operator.