Class LiveAnalysis

java.lang.Object
com.ibm.wala.cast.ir.ssa.analysis.LiveAnalysis

public class LiveAnalysis extends Object
Author:
Julian Dolby

Live-value analysis for a method's IR (or ControlFlowGraph and SymbolTable) using a IKilldallFramework based implementation.

Pre-requisites - Knowledge of SSA form: control flow graphs, basic blocks, Phi instructions - Knowledge of data flow analysis theory.

Implementation notes:

- The solver uses node transfer functions only. - Performance: inverts the CFG to traverse backwards (backward analysis).