soot
Interface EscapeAnalysis


public interface EscapeAnalysis

A generic interface to an escape analysis.

Author:
Ondrej Lhotak

Method Summary
 boolean mayEscapeMethod(AnyNewExpr n)
          Returns true if objects allocated at n may continue to be live after the method in which they are allocated returns.
 boolean mayEscapeMethod(Context c, AnyNewExpr n)
          Returns true if objects allocated at n in context c may continue to be live after the method in which they are allocated returns.
 boolean mayEscapeThread(AnyNewExpr n)
          Returns true if objects allocated at n may be accessed in a thread other than the thread in which they were allocated.
 boolean mayEscapeThread(Context c, AnyNewExpr n)
          Returns true if objects allocated at n in context c may be accessed in a thread other than the thread in which they were allocated.
 

Method Detail

mayEscapeMethod

public boolean mayEscapeMethod(AnyNewExpr n)
Returns true if objects allocated at n may continue to be live after the method in which they are allocated returns.


mayEscapeMethod

public boolean mayEscapeMethod(Context c,
                               AnyNewExpr n)
Returns true if objects allocated at n in context c may continue to be live after the method in which they are allocated returns.


mayEscapeThread

public boolean mayEscapeThread(AnyNewExpr n)
Returns true if objects allocated at n may be accessed in a thread other than the thread in which they were allocated.


mayEscapeThread

public boolean mayEscapeThread(Context c,
                               AnyNewExpr n)
Returns true if objects allocated at n in context c may be accessed in a thread other than the thread in which they were allocated.