Package proguard.analysis.cpa.bam

Class BlockAbstraction<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.bam.BlockAbstraction<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.

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.

Constructor Summary

Constructors

Constructor	Description
BlockAbstraction(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet, Waitlist<JvmAbstractState<ContentT>> waitlist)	Create a new block abstraction.

Method Summary

Modifier and Type	Method	Description
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	getReachedSet()	Returns the ReachedSet of the block abstraction.
Waitlist<JvmAbstractState<ContentT>>	getWaitlist()	Returns the Waitlist of the block abstraction.

Methods inherited from class java.lang.Object

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

Constructor Details

BlockAbstraction

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

Create a new block abstraction.

Parameters:

reachedSet - a collection of discovered states

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

Method Details

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.