Interface INodeEscapeAnalysis

All Superinterfaces:
IMethodEscapeAnalysis
All Known Implementing Classes:
TrivialMethodEscape

public interface INodeEscapeAnalysis extends IMethodEscapeAnalysis
Basic interface from which to execute and get the results of escape analysis.
  • Method Details

    • mayEscape

      boolean mayEscape(CGNode allocNode, int allocPC, CGNode node) throws WalaException
      Parameters:
      allocNode - a CGNode which holds an allocation site
      allocPC - bytecode index of allocation site
      node - method in question
      Returns:
      true if an object allocated at the allocation site <allocMethod,allocPC> may escape from an activation of node m, false otherwise
      Throws:
      WalaException