Package com.ibm.wala.ssa.analysis

package com.ibm.wala.ssa.analysis
  • 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.
    IExplodedBasicBlock
    A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA instruction array.