accrue.analysis.pointer.analyses

Class DistinguishClass

java.lang.Object

accrue.analysis.pointer.analyses.HeapAbstractionFactory

accrue.analysis.pointer.analyses.DistinguishClass

public class DistinguishClass
extends HeapAbstractionFactory

A heap abstraction that improves the precision of object sensitive analyses: once a call stack is tainted by a subclass of the specified class, all heap and code contexts are distinguished by the allocation site of that specified class.

Constructor Summary

Constructors

Constructor and Description
DistinguishClass(java.lang.String className)

Method Summary

Methods

Modifier and Type	Method and Description
void	init() Initialize the factory.
CContext	initialContextImpl() Return the initial CContext, i.e., to analyze the main method.
CContext	mergeImpl(CallSiteNode callSite, HContext receiver, CContext callerContext) Produce a code context (i.e., CContext) to analysis code called from call site callSite in code context callerContext, where receiver is the abstract object for the recevier of the method invocation.
HContext	recordImpl(CContext context, AllocSiteNode alloc) Produce an abstract object (i.e., HContext) to represent an object created at allocation site alloc in code context context.
java.lang.String	toString()

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

DistinguishClass

public DistinguishClass(java.lang.String className)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

recordImpl

public HContext recordImpl(CContext context,
                  AllocSiteNode alloc)

Description copied from class: HeapAbstractionFactory

Produce an abstract object (i.e., HContext) to represent an object created at allocation site alloc in code context context.

Specified by:

recordImpl in class HeapAbstractionFactory

mergeImpl

public CContext mergeImpl(CallSiteNode callSite,
                 HContext receiver,
                 CContext callerContext)

Description copied from class: HeapAbstractionFactory

Produce a code context (i.e., CContext) to analysis code called from call site callSite in code context callerContext, where receiver is the abstract object for the recevier of the method invocation. If the method being called does not have a receiver (i.e., it is a static method), then receiver will be null.

Specified by:

mergeImpl in class HeapAbstractionFactory

init

public void init()

Description copied from class: HeapAbstractionFactory

Initialize the factory.

Overrides:

init in class HeapAbstractionFactory

initialContextImpl

public CContext initialContextImpl()

Description copied from class: HeapAbstractionFactory

Return the initial CContext, i.e., to analyze the main method.

Specified by:

initialContextImpl in class HeapAbstractionFactory