public interface ILiveObjectAnalysis
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,
IntSet instructionIndices) |
boolean mayBeLive(CGNode allocMethod, int allocPC, CGNode m, int instructionIndex) throws WalaException
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"WalaException
boolean mayBeLive(InstanceKey ik, CGNode m, int instructionIndex) throws WalaException
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"WalaException
boolean mayBeLive(InstanceKey ik, CGNode m, IntSet instructionIndices)
ik
- an instance keym
- method in questioninstructionIndices
- indices of instructions in SSA IR.