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

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?

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LocalLiveRangeAnalysis

public LocalLiveRangeAnalysis()

Method Details

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