程序包 proguard.analysis.cpa.algorithms

类 CpaAlgorithm<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.algorithms.CpaAlgorithm<StateT>

类型参数:

StateT - The type of the analyzed states.

public class CpaAlgorithm<StateT extends AbstractState<StateT>>
extends java.lang.Object

This is the CPA+ algorithm. The algorithm computes the set of reached states based on the initial content of the waitlist.

构造器概要

构造器

构造器	说明
CpaAlgorithm(ConfigurableProgramAnalysis<StateT> cpa)	Create an algorithm to run the specified CPA.

方法概要

修饰符和类型	方法	说明
void	run(ReachedSet<StateT> reachedSet, Waitlist<StateT> waitlist)	Launches the algorithm updating the reachedSet and the waitlist.

从类继承的方法 java.lang.Object

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

构造器详细资料

CpaAlgorithm

public CpaAlgorithm(ConfigurableProgramAnalysis<StateT> cpa)

Create an algorithm to run the specified CPA.

参数:

cpa - a CPA instance wrapping the transfer relation, the merge, and the stop operator, and the precision adjustment

方法详细资料

run

public void run(ReachedSet<StateT> reachedSet,
                Waitlist<StateT> waitlist)

Launches the algorithm updating the reachedSet and the waitlist. A proper selection of parameters allows resuming the algorithm from a saved state.