Package soot

Interface EscapeAnalysis


  • public interface EscapeAnalysis
    A generic interface to an escape analysis.
    Author:
    Ondrej Lhotak
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      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 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 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.
      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.
    • 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.