public class FILiveObjectAnalysis extends Object implements ILiveObjectAnalysis
Constructor and Description |
---|
FILiveObjectAnalysis(CallGraph callGraph,
HeapGraph heapGraph,
boolean expensiveIntraproceduralAnalysis) |
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) |
public boolean mayBeLive(CGNode allocMethod, int allocPC, CGNode m, int instructionIndex) throws IllegalArgumentException, WalaException
mayBeLive
in interface ILiveObjectAnalysis
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
IllegalArgumentException
public boolean mayBeLive(InstanceKey ik, CGNode m, int instructionIndex)
mayBeLive
in interface ILiveObjectAnalysis
instructionIndex
- index of an SSA instructionik
- an instance keym
- method in questionpublic boolean mayBeLive(InstanceKey ik, CGNode m, IntSet instructionIndices)
mayBeLive
in interface ILiveObjectAnalysis
ik
- an instance keym
- method in questioninstructionIndices
- indices of instructions in SSA IR.