Class CFGSanitizer


  • public class CFGSanitizer
    extends Object
    Utility class to remove exceptional edges to exit() from a CFG