Class CFGSanitizer
java.lang.Object
com.ibm.wala.cfg.CFGSanitizer
Utility class to remove exceptional edges to exit() from a CFG
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic Graph
<ISSABasicBlock> sanitize
(IR ir, IClassHierarchy cha) Return a view of theControlFlowGraph
for anIR
, which elides all exceptional exits from PEIs in the IR.
-
Constructor Details
-
CFGSanitizer
public CFGSanitizer()
-
-
Method Details
-
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.
-