Exclude logging sinks

Those sinks are too coarse grained to be exposed as sinks on any model.

Author: Benjamin Muskalla

java/ql/src/utils/model-generator/CaptureSinkModels.ql

@@ -48,6 +48,7 @@ string captureSink(TargetAPI api) {
     config.hasFlow(src, sink) and
     sinkNode(sink, kind) and
     api = src.getEnclosingCallable() and
+    not kind = "logging" and
     result = asSinkModel(api, asInputArgument(src), kind)
   )
 }

java/ql/test/utils/model-generator/p/Sinks.java

@@ -7,6 +7,7 @@
 import java.nio.charset.Charset;
 import java.nio.file.Files;
 import java.nio.file.Path;
+import java.util.logging.Logger;
 
 public class Sinks {
 
@@ -25,4 +26,9 @@ public static void main(String[] args) throws IOException {
         String foo = new Sinks().readUrl(new URL(args[0]), Charset.defaultCharset());
     }
 
+    public void propagate(String s) {
+        Logger logger = Logger.getLogger(Sinks.class.getSimpleName());
+        logger.warning(s);
+    }
+
 }