Merge pull request #18737 from jbj/NumericCastTaintedQuery-selectedLocation

Java: precise diff-informed NumericCastTainted

Author: jbj

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

@@ -104,6 +104,13 @@ module NumericCastFlowConfig implements DataFlow::ConfigSig {
   predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSinkLocation(DataFlow::Node sink) {
+    exists(NumericNarrowingCastExpr cast |
+      cast.getExpr() = sink.asExpr() and
+      result = cast.getLocation()
+    )
+  }
 }
 
 /**