Constructor Detail

• FILiveObjectAnalysis

  public FILiveObjectAnalysis​(CallGraph callGraph,
                              HeapGraph heapGraph,
                              boolean expensiveIntraproceduralAnalysis)

Method Detail

• mayBeLive

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

  Specified by:

  mayBeLive in interface ILiveObjectAnalysis

  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

  IllegalArgumentException

• mayBeLive

  public boolean mayBeLive​(InstanceKey ik,
                           CGNode m,
                           int instructionIndex)

  Specified by:

  mayBeLive in interface ILiveObjectAnalysis

  Parameters:

  instructionIndex - index of an SSA instruction

  ik - an instance key

  m - method in question

• mayBeLive

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

  Specified by:

  mayBeLive in interface ILiveObjectAnalysis

  Parameters:

  ik - an instance key

  m - method in question

  instructionIndices - indices of instructions in SSA IR.