proguard.analysis.cpa.bam

Interface BamCache<SignatureT extends Signature>

All Known Implementing Classes:

BamCacheImpl

public interface BamCache<SignatureT extends Signature>

Generic interface for the BAM cache, where the blocks represent a function identified with a SignatureT. Along with the Cfa the signature can be used to retrieve the block (i.e. the respective CFA subgraph) as described in the BAM paper.

A block abstraction is uniquely identified by a triple of an entry AbstractState (that may be call-context dependent, e.g. if the calling parameters or global variables are different), the corresponding Precision, and the Signature of the function the block belongs to.

Method Summary

Modifier and Type	Method and Description
BlockAbstraction	get(AbstractState stateKey, Precision precisionKey, SignatureT blockKey) Gets the block abstraction identified by the provided keys from the cache.
void	put(AbstractState stateKey, Precision precisionKey, SignatureT blockKey, BlockAbstraction blockAbstraction) Adds the block abstraction identified by the provided keys to the cache.
java.util.Collection<BlockAbstraction>	values() Returns block abstractions stored in the cache.

Method Detail

put

void put(AbstractState stateKey,
         Precision precisionKey,
         SignatureT blockKey,
         BlockAbstraction blockAbstraction)

Adds the block abstraction identified by the provided keys to the cache.

get

BlockAbstraction get(AbstractState stateKey,
                     Precision precisionKey,
                     SignatureT blockKey)

Gets the block abstraction identified by the provided keys from the cache.

Returns:

The requested block abstraction, null in case of cache-miss.

values

java.util.Collection<BlockAbstraction> values()

Returns block abstractions stored in the cache.