proguard.analysis.cpa.bam

Class BlockAbstraction

java.lang.Object

proguard.analysis.cpa.bam.BlockAbstraction

public class BlockAbstraction
extends java.lang.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 and Description
BlockAbstraction(ReachedSet reachedSet, Waitlist waitlist) Create a new block abstraction.

Method Summary

Modifier and Type	Method and Description
ReachedSet	getReachedSet() Returns the ReachedSet of the block abstraction.
Waitlist	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 Detail

BlockAbstraction

public BlockAbstraction(ReachedSet reachedSet,
                        Waitlist 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 Detail

getReachedSet

public ReachedSet getReachedSet()

Returns the ReachedSet of the block abstraction.

getWaitlist

public Waitlist getWaitlist()

Returns the Waitlist of the block abstraction.