accrue.analysis.pointer.analyses

Class StickFirstPrimitive

java.lang.Object

accrue.analysis.pointer.analyses.HeapAbstractionFactory

accrue.analysis.pointer.analyses.StickFirstMatches

accrue.analysis.pointer.analyses.StickFirstPrimitive

public class StickFirstPrimitive
extends StickFirstMatches

Precisely track the first calls into the one of the 8 Java primitive wrappers. 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
StickFirstPrimitive() Create an analysis that tracks methods called on Primitive wrapper classes with default sensitivity.
StickFirstPrimitive(int sensitivity) Create an analysis that tracks methods called on Primitive wrapper classes.

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

StickFirstPrimitive

public StickFirstPrimitive(int sensitivity)

Create an analysis that tracks methods called on Primitive wrapper classes.

Parameters:

sensitivity - depth of the call stack to keep track of

StickFirstPrimitive

public StickFirstPrimitive()

Create an analysis that tracks methods called on Primitive wrapper classes with default sensitivity.

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class StickFirstMatches