com.ibm.wala.escape

Interface ILiveObjectAnalysis

All Known Implementing Classes:

FILiveObjectAnalysis

public interface ILiveObjectAnalysis

Basic interface for liveness analysis of heap-allocated objects.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	mayBeLive(CGNode allocMethod, int allocPC, CGNode m, int instructionIndex)
boolean	mayBeLive(InstanceKey ik, CGNode m, int instructionIndex)
boolean	mayBeLive(InstanceKey ik, CGNode m, com.ibm.wala.util.intset.IntSet instructionIndices)

Method Detail

mayBeLive

boolean mayBeLive(CGNode allocMethod,
                int allocPC,
                CGNode m,
                int instructionIndex)
                  throws com.ibm.wala.util.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:

com.ibm.wala.util.WalaException

mayBeLive

boolean mayBeLive(InstanceKey ik,
                CGNode m,
                int instructionIndex)
                  throws com.ibm.wala.util.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:

com.ibm.wala.util.WalaException

mayBeLive

boolean mayBeLive(InstanceKey ik,
                CGNode m,
                com.ibm.wala.util.intset.IntSet instructionIndices)

Parameters:

ik - an instance key

m - method in question

instructionIndices - indices of instructions in SSA IR.