Merge pull request #19798 from d10c/d10c/ruby/diff-informed-2

Ruby: mass enable diff-informed data flow `none()` location overrides

Author: d10c

ruby/ql/src/experimental/manually-check-http-verb/ManuallyCheckHttpVerb.ql

@@ -88,6 +88,8 @@ private module HttpVerbConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node source) { none() }
 }
 
 private module HttpVerbFlow = TaintTracking::Global<HttpVerbConfig>;

ruby/ql/src/experimental/weak-params/WeakParams.ql

@@ -48,6 +48,8 @@ private module WeakParamsConfig implements DataFlow::ConfigSig {
   predicate isSink(DataFlow::Node node) { node = any(PersistentWriteAccess a).getValue() }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node source) { none() }
 }
 
 private module WeakParamsFlow = TaintTracking::Global<WeakParamsConfig>;

ruby/ql/src/queries/meta/TaintedNodes.ql

@@ -21,6 +21,8 @@ private module BasicTaintConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node source) { none() }
 }
 
 private module BasicTaintFlow = TaintTracking::Global<BasicTaintConfig>;