accrue.analysis.pointer.analyses

Class StickFirstCollections

java.lang.Object

accrue.analysis.pointer.analyses.HeapAbstractionFactory

accrue.analysis.pointer.analyses.StickFirstMatches

accrue.analysis.pointer.analyses.StickFirstCollections

public class StickFirstCollections
extends StickFirstMatches

Precisely track the first calls into the Java collections framework. Nested calls up to the sensitivity will "stick" in the context, further calls will be dropped.

This should be used together with a more precise analysis context using CrossProductAnalysis

Field Summary

Fields inherited from class accrue.analysis.pointer.analyses.StickFirstMatches

EMPTY_CONTEXT

Constructor Summary

Constructors

Constructor and Description
StickFirstCollections() Create a new HeapAbstractionFactory with the default sensitivity
StickFirstCollections(int sensitivity) Create a new HeapAbstractionFactory with the given sensitivity

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class accrue.analysis.pointer.analyses.StickFirstMatches

init, initialContextImpl, mergeImpl, recordImpl

Methods inherited from class accrue.analysis.pointer.analyses.HeapAbstractionFactory

clearMemoization, fixContextForReferenceVariable, initialContext, memoize, memoize, merge, record

Methods inherited from class java.lang.Object

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

Constructor Detail

StickFirstCollections

public StickFirstCollections(int sensitivity)

Create a new HeapAbstractionFactory with the given sensitivity

Parameters:

sensitivity - how many call sites into the collections framework we want to keep

StickFirstCollections

public StickFirstCollections()

Create a new HeapAbstractionFactory with the default sensitivity

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class StickFirstMatches