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 and Description
CFGSanitizer()

Method Summary

Methods

Modifier and Type	Method and Description
static com.ibm.wala.util.graph.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 Detail

CFGSanitizer

public CFGSanitizer()

Method Detail

sanitize

public static com.ibm.wala.util.graph.Graph<ISSABasicBlock> sanitize(IR ir,
                                                     IClassHierarchy cha)
                                                              throws IllegalArgumentException,
                                                                     com.ibm.wala.util.WalaException

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

Throws:

IllegalArgumentException

com.ibm.wala.util.WalaException