Interface ILiveObjectAnalysis
- All Known Implementing Classes:
FILiveObjectAnalysis
public interface ILiveObjectAnalysis
Basic interface for liveness analysis of heap-allocated objects.
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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 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"- Returns:
- true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex>
- Throws:
WalaException
-
mayBeLive
- 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"- Returns:
- true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex>
- Throws:
WalaException
-
mayBeLive
- Parameters:
ik
- an instance keym
- method in questioninstructionIndices
- 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
-