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 and Description
boolean	mayEscape(MethodReference allocMethod, int allocPC, MethodReference m)

Method Detail

mayEscape

boolean mayEscape(MethodReference allocMethod,
                  int allocPC,
                  MethodReference m)
           throws com.ibm.wala.util.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:

com.ibm.wala.util.WalaException