Method Detail

• mayBeLive

  boolean mayBeLive(CGNode allocMethod,
                    int allocPC,
                    CGNode m,
                    int instructionIndex)
             throws WalaException

  Parameters:

  allocMethod - a method which holds an allocation site

  allocPC - bytecode index of allocation site

  m - method in question

  instructionIndex - index of an instruction in SSA IR. in m. if -1, it is interpreted as a wildcard meaning "any statement"

  Throws:

  WalaException

• mayBeLive

  boolean mayBeLive(InstanceKey ik,
                    CGNode m,
                    int instructionIndex)
             throws WalaException

  Parameters:

  ik - an instance key

  m - method in question

  instructionIndex - index of an instruction in SSA IR. in m. if -1, it is interpreted as a wildcard meaning "any statement"

  Throws:

  WalaException

• mayBeLive

  boolean mayBeLive(InstanceKey ik,
                    CGNode m,
                    IntSet instructionIndices)

  Parameters:

  ik - an instance key

  m - method in question

  instructionIndices - indices of instructions in SSA IR.