Interface ILiveObjectAnalysis

  • All Known Implementing Classes:
    FILiveObjectAnalysis

    public interface ILiveObjectAnalysis
    Basic interface for liveness analysis of heap-allocated objects.
    • 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.