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 and Description
LocalLiveRangeAnalysis()

Method Summary

Methods

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalLiveRangeAnalysis

public LocalLiveRangeAnalysis()

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