com.ibm.wala.cast.ir.ssa.analysis

Class LiveAnalysis

java.lang.Object

com.ibm.wala.cast.ir.ssa.analysis.LiveAnalysis

public class LiveAnalysis
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	LiveAnalysis.Result

Constructor Summary

Constructors

Constructor and Description
LiveAnalysis()

Method Summary

Modifier and Type	Method and Description
static LiveAnalysis.Result	perform(com.ibm.wala.cfg.ControlFlowGraph<com.ibm.wala.ssa.SSAInstruction,com.ibm.wala.ssa.ISSABasicBlock> cfg, com.ibm.wala.ssa.SymbolTable symtab)
static LiveAnalysis.Result	perform(com.ibm.wala.cfg.ControlFlowGraph<com.ibm.wala.ssa.SSAInstruction,com.ibm.wala.ssa.ISSABasicBlock> cfg, com.ibm.wala.ssa.SymbolTable symtab, com.ibm.wala.util.intset.BitVector considerLiveAtExit)
static LiveAnalysis.Result	perform(com.ibm.wala.ssa.IR ir)

Methods inherited from class java.lang.Object

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

Constructor Detail

LiveAnalysis

public LiveAnalysis()

Method Detail

perform

public static LiveAnalysis.Result perform(com.ibm.wala.ssa.IR ir)

perform

public static LiveAnalysis.Result perform(com.ibm.wala.cfg.ControlFlowGraph<com.ibm.wala.ssa.SSAInstruction,com.ibm.wala.ssa.ISSABasicBlock> cfg,
                                          com.ibm.wala.ssa.SymbolTable symtab)

perform

public static LiveAnalysis.Result perform(com.ibm.wala.cfg.ControlFlowGraph<com.ibm.wala.ssa.SSAInstruction,com.ibm.wala.ssa.ISSABasicBlock> cfg,
                                          com.ibm.wala.ssa.SymbolTable symtab,
                                          com.ibm.wala.util.intset.BitVector considerLiveAtExit)

Parameters:

considerLiveAtExit - given set (of variables) to consider to be live after the exit.

todo: used once in SSAConversion; Explain better the purpose.