soot

Interface EscapeAnalysis

public interface EscapeAnalysis

A generic interface to an escape analysis.

Author:

Ondrej Lhotak

Method Summary

Modifier and Type	Method and Description
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.