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
All Methods Instance Methods Abstract Methods 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 Detail
-
mayBeLive
boolean mayBeLive(CGNode allocMethod, int allocPC, CGNode m, int instructionIndex) throws WalaException
- Parameters:
allocMethod
- a method which holds an allocation siteallocPC
- bytecode index of allocation sitem
- method in questioninstructionIndex
- 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 keym
- method in questioninstructionIndex
- 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 keym
- method in questioninstructionIndices
- indices of instructions in SSA IR.
-
-