Package 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

Modifier and Type	Method	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, IntSet instructionIndices)

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