Interface ILiveObjectAnalysis

All Known Implementing Classes:
FILiveObjectAnalysis

public interface ILiveObjectAnalysis
Basic interface for liveness analysis of heap-allocated objects.
  • Method Details

    • 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"
      Returns:
      true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex>
      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"
      Returns:
      true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex>
      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.
      Returns:
      true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex> for any instructionIndex in the set