debug

Author: hvitved

java/ql/lib/semmle/code/java/security/TaintedPathQuery.qll

@@ -66,9 +66,9 @@ module TaintedPathConfig implements DataFlow::ConfigSig {
 
   predicate isBarrier(DataFlow::Node sanitizer) {
     sanitizer instanceof SimpleTypeSanitizer or
-    sanitizer instanceof PathInjectionSanitizer //or
-    // sanitizer.getLocation().getFile().getBaseName() =
-    //   ["BaseObject.java", "SimpleNode.java", "Context.java"]
+    sanitizer instanceof PathInjectionSanitizer or
+    sanitizer.getLocation().getFile().getBaseName() =
+      [/*"BaseObject.java", "SimpleNode.java",*/ "Context.java"]
   }
 
   predicate isAdditionalFlowStep(DataFlow::Node n1, DataFlow::Node n2) {

shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

@@ -3259,7 +3259,8 @@ module MakeImpl<InputSig Lang> {
     private module Stage3 = MkStage<Stage2_5>::Stage<Stage3Param>;
 
     // private predicate mostBusyNodeFwd3 = Stage3::mostBusyNodeFwd/10;
-    // private predicate mostBusyNodeFwd3_5 = Stage3_5::mostBusyNodeFwd/10;
+    private predicate mostBusyNodeFwd3_5 = Stage3_5::mostBusyNodeFwd/10;
+
     // private predicate mostBusyNodeFwd4 = Stage4::mostBusyNodeFwd/10;
     private predicate mostBusyNodeFwd5 = Stage5::mostBusyNodeFwd/10;