Package com.ibm.wala.cfg

Class CFGSanitizer

java.lang.Object

com.ibm.wala.cfg.CFGSanitizer

public class CFGSanitizer
extends Object

Utility class to remove exceptional edges to exit() from a CFG

Constructor Summary

Constructors

Constructor	Description
CFGSanitizer()

Method Summary

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CFGSanitizer

public CFGSanitizer()

Method Details

sanitize

public static Graph<ISSABasicBlock> sanitize(IR ir,
 IClassHierarchy cha)
                                      throws IllegalArgumentException,
WalaException

Return a view of the ControlFlowGraph for an IR, which elides all exceptional exits from PEIs in the IR.

Throws:

IllegalArgumentException

WalaException