Package com.ibm.wala.escape
Class FILiveObjectAnalysis
- java.lang.Object
-
- com.ibm.wala.escape.FILiveObjectAnalysis
-
- All Implemented Interfaces:
ILiveObjectAnalysis
public class FILiveObjectAnalysis extends Object implements ILiveObjectAnalysis
A simple liveness analysis based on flow-insensitive pointer analysis.
-
-
Constructor Summary
Constructors Constructor Description FILiveObjectAnalysis(CallGraph callGraph, HeapGraph heapGraph, boolean expensiveIntraproceduralAnalysis)
-
Method Summary
All Methods Instance Methods Concrete 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
public boolean mayBeLive(CGNode allocMethod, int allocPC, CGNode m, int instructionIndex) throws IllegalArgumentException, WalaException
- Specified by:
mayBeLive
in interfaceILiveObjectAnalysis
- 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
IllegalArgumentException
-
mayBeLive
public boolean mayBeLive(InstanceKey ik, CGNode m, int instructionIndex)
- Specified by:
mayBeLive
in interfaceILiveObjectAnalysis
- Parameters:
instructionIndex
- index of an SSA instructionik
- an instance keym
- method in question
-
mayBeLive
public boolean mayBeLive(InstanceKey ik, CGNode m, IntSet instructionIndices)
- Specified by:
mayBeLive
in interfaceILiveObjectAnalysis
- Parameters:
ik
- an instance keym
- method in questioninstructionIndices
- indices of instructions in SSA IR.
-
-