Commit ffe2b3dd authored by Carlos Galindo's avatar Carlos Galindo
Browse files

fix! ppdg condition didn't check for pseudopredicate status

parent 6df2fff7

sdg-core/src/main/java/es/upv/mist/slicing/slicing/ExceptionSensitiveSlicingAlgorithm.java

+1 −0
Original line number Diff line number Diff line
@@ -115,6 +115,7 @@ public class ExceptionSensitiveSlicingAlgorithm implements SlicingAlgorithm { 
    protected boolean ppdgIgnore(Arc arc) {

        GraphNode<?> target = graph.getEdgeTarget(arc);

        return arc.isUnconditionalControlDependencyArc() &&

                graph.isPseudoPredicate(target) &&

                reachedStream(target).allMatch(Arc::isUnconditionalControlDependencyArc) &&

                !target.equals(slicingCriterion);

    }