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
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Graph<ISSABasicBlock>
sanitize(IR ir, IClassHierarchy cha)
Return a view of theControlFlowGraph
for anIR
, which elides all exceptional exits from PEIs in the IR.
-
-
-
Method Detail
-
sanitize
public static Graph<ISSABasicBlock> sanitize(IR ir, IClassHierarchy cha) throws IllegalArgumentException, WalaException
Return a view of theControlFlowGraph
for anIR
, which elides all exceptional exits from PEIs in the IR.
-
-