public class CFGSanitizer extends Object
| Constructor and Description |
|---|
CFGSanitizer() |
| Modifier and Type | Method and Description |
|---|---|
static Graph<ISSABasicBlock> |
sanitize(IR ir,
IClassHierarchy cha)
Return a view of the
ControlFlowGraph for an IR, which elides all exceptional exits from PEIs in the IR. |
public static Graph<ISSABasicBlock> sanitize(IR ir, IClassHierarchy cha) throws IllegalArgumentException, WalaException
ControlFlowGraph for an IR, which elides all exceptional exits from PEIs in the IR.