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 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