Package com.ibm.wala.ssa.analysis

This package provides analyses over the WALA SSA IR.

See: Description

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.

Package com.ibm.wala.ssa.analysis Description

This package provides analyses over the WALA SSA IR.