Merge pull request #19760 from d10c/d10c/go/diff-informed-2

Go: mass-enable diff-informed queries phase 2 - `getASelected{Source,Sink}Location() { none() }`

Author: d10c

go/ql/src/Security/CWE-020/MissingRegexpAnchor.ql

@@ -74,6 +74,8 @@ module Config implements DataFlow::ConfigSig {
   predicate isSink(DataFlow::Node sink) { sink instanceof RegexpPattern }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
 }
 
 module Flow = DataFlow::Global<Config>;

go/ql/src/Security/CWE-079/HtmlTemplateEscapingBypassXss.ql

@@ -101,6 +101,8 @@ module UntrustedToTemplateExecWithConversionConfig implements DataFlow::StateCon
       conversion.getType().getUnderlyingType*() = unescapedType
     )
   }
+
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 module UntrustedToTemplateExecWithConversionFlow =

go/ql/src/Security/CWE-326/InsufficientKeySize.ql

@@ -27,6 +27,8 @@ module Config implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 /**

go/ql/src/experimental/CWE-285/PamAuthBypass.ql

@@ -44,6 +44,8 @@ module PamStartToAcctMgmtConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
 }
 
 module PamStartToAcctMgmtFlow = TaintTracking::Global<PamStartToAcctMgmtConfig>;
@@ -59,6 +61,8 @@ module PamStartToAuthenticateConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
 }
 
 module PamStartToAuthenticateFlow = TaintTracking::Global<PamStartToAuthenticateConfig>;

go/ql/src/experimental/CWE-369/DivideByZero.ql

@@ -47,6 +47,8 @@ module Config implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
 }
 
 /**