Package com.ibm.wala.escape

Interface IMethodEscapeAnalysis

All Known Subinterfaces:

INodeEscapeAnalysis

All Known Implementing Classes:

TrivialMethodEscape

public interface IMethodEscapeAnalysis

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

Method Summary

Modifier and Type	Method	Description
boolean	mayEscape(MethodReference allocMethod, int allocPC, MethodReference m)

Method Details

mayEscape

boolean mayEscape(MethodReference allocMethod,
 int allocPC,
 MethodReference m)
           throws WalaException

Parameters:

allocMethod - a method which holds an allocation site

allocPC - bytecode index of allocation site

m - method in question

Returns:

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

Throws:

WalaException