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

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

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

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

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.