Package com.ibm.wala.ssa.analysis
-
Interface Summary Interface Description IExplodedBasicBlock A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA instruction array. -
Class Summary Class Description DeadAssignmentElimination Eliminate dead assignments (phis) from an SSA IR.ExplodedControlFlowGraph A view of a control flow graph where each basic block corresponds to exactly one SSA instruction index.