private static void printDetails(CGNode method, ExplodedControlFlowGraph cfg, FlowGraph pruned) { int deletedEdges = 0; int originalEdges = 0; for (IExplodedBasicBlock node : cfg) { originalEdges += cfg.getSuccNodeCount(node); Iterator<IExplodedBasicBlock> it = cfg.getSuccNodes(node); int srcNum = node.getNumber(); while (it.hasNext()) { IExplodedBasicBlock dst = it.next(); int dstNum = dst.getNumber(); if (pruned.hasEdge(srcNum, dstNum)) { deletedEdges++; } } } DecimalFormat df = new DecimalFormat("00.00"); double percent = ((double) deletedEdges / (double) originalEdges) * 100.0; Log.info( "EXC: " + df.format(percent) + "% - edges: " + originalEdges + " deleted: " + deletedEdges + " - " + edu.kit.joana.deprecated.jsdg.util.Util.methodName(method.getMethod())); }
public boolean hasNormalEdge(IExplodedBasicBlock src, IExplodedBasicBlock dst) { return finalGraph.hasEdge(src.getNumber(), dst.getNumber()); }