程序包 proguard.analysis.cpa.bam

类 BlockAbstraction<ContentT extends AbstractState<ContentT>>

java.lang.Object

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

类型参数:

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.

public class BlockAbstraction<ContentT extends AbstractState<ContentT>>
extends Object

A block abstraction is a summary of the analysis of a procedure call, represented by the set of reached abstract states and a waitlist of states that still need to be analyzed. The BAM CPA can save these abstractions in a cache and retrieve them when the same procedure is called with the same entry AbstractState.

构造器概要

构造器

构造器	说明
BlockAbstraction(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet, Waitlist<JvmAbstractState<ContentT>> waitlist)	Create a new block abstraction.

方法概要

修饰符和类型	方法	说明
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	getReachedSet()	Returns the ReachedSet of the block abstraction.
Waitlist<JvmAbstractState<ContentT>>	getWaitlist()	Returns the Waitlist of the block abstraction.

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

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

构造器详细资料

BlockAbstraction

public BlockAbstraction(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet,
 Waitlist<JvmAbstractState<ContentT>> waitlist)

Create a new block abstraction.

参数:

reachedSet - a collection of discovered states

waitlist - a collection of states of the block that need to be analyzed

方法详细资料

getReachedSet

public ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> getReachedSet()

Returns the ReachedSet of the block abstraction.

getWaitlist

public Waitlist<JvmAbstractState<ContentT>> getWaitlist()

Returns the Waitlist of the block abstraction.