Package com.ibm.wala.escape
Class LocalLiveRangeAnalysis
- java.lang.Object
-
- com.ibm.wala.escape.LocalLiveRangeAnalysis
-
public class LocalLiveRangeAnalysis extends Object
Intraprocedural SSA-based live range analysis. This is horribly inefficient.
-
-
Constructor Summary
Constructors Constructor Description LocalLiveRangeAnalysis()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
isLive(int v, int instructionIndex, IR ir, DefUse du)
Is the variable with value number v live immediately after a particular instruction index? Algorithm: returns true if there is a path from pc to some use of v that does not traverse the def of v
-
-
-
Method Detail
-
isLive
public static boolean isLive(int v, int instructionIndex, IR ir, DefUse du)
Is the variable with value number v live immediately after a particular instruction index? Algorithm: returns true if there is a path from pc to some use of v that does not traverse the def of v- Parameters:
instructionIndex
- index of an instruction in the IR- Throws:
IllegalArgumentException
- if du is null
-
-