com.ibm.wala.escape

Interface INodeEscapeAnalysis

All Superinterfaces:

IMethodEscapeAnalysis

All Known Implementing Classes:

TrivialMethodEscape

public interface INodeEscapeAnalysis
extends IMethodEscapeAnalysis

Basic interface from which to execute and get the results of escape analysis.

Method Summary

Modifier and Type	Method and Description
boolean	mayEscape(CGNode allocNode, int allocPC, CGNode node)

Methods inherited from interface com.ibm.wala.escape.IMethodEscapeAnalysis

mayEscape

Method Detail

mayEscape

boolean mayEscape(CGNode allocNode,
                  int allocPC,
                  CGNode node)
           throws com.ibm.wala.util.WalaException

Parameters:

allocNode - a CGNode which holds an allocation site

allocPC - bytecode index of allocation site

node - method in question

Returns:

true if an object allocated at the allocation site <allocMethod,allocPC> may escape from an activation of node m, false otherwise

Throws:

com.ibm.wala.util.WalaException