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.