Add tests for summaries

java/ql/lib/semmle/code/java/frameworks/Logging.qll

@@ -7,21 +7,20 @@ private class LoggingSummaryModels extends SummaryModelCsv {
   override predicate row(string row) {
     row =
       [
-        "org.apache.logging.log4j;Logger;true;entry;(Object[]);;Argument[0];ReturnValue;taint",
         "org.apache.logging.log4j;Logger;true;traceEntry;(Message);;Argument[0];ReturnValue;taint",
         "org.apache.logging.log4j;Logger;true;traceEntry;(String,Object[]);;Argument[0..1];ReturnValue;taint",
-        "org.apache.logging.log4j;Logger;true;traceEntry;(String,Supplier);;Argument[0..1];ReturnValue;taint",
-        "org.apache.logging.log4j;Logger;true;traceEntry;(Supplier);;Argument[0];ReturnValue;taint",
+        "org.apache.logging.log4j;Logger;true;traceEntry;(String,Supplier[]);;Argument[0..1];ReturnValue;taint",
+        "org.apache.logging.log4j;Logger;true;traceEntry;(Supplier[]);;Argument[0];ReturnValue;taint",
         "org.apache.logging.log4j;Logger;true;traceExit;(EntryMessage,Object);;Argument[1];ReturnValue;value",
         "org.apache.logging.log4j;Logger;true;traceExit;(Message,Object);;Argument[1];ReturnValue;value",
         "org.apache.logging.log4j;Logger;true;traceExit;(Object);;Argument[0];ReturnValue;value",
         "org.apache.logging.log4j;Logger;true;traceExit;(String,Object);;Argument[1];ReturnValue;value",
-        "org.slf4j.spi.LoggingEventBuilder;true;addArgument;;;Argument[1];Argument[-1];taint",
-        "org.slf4j.spi.LoggingEventBuilder;true;addArgument;;;Argument[-1];ReturnValue;value",
-        "org.slf4j.spi.LoggingEventBuilder;true;addKeyValue;;;Argument[1];Argument[-1];taint",
-        "org.slf4j.spi.LoggingEventBuilder;true;addKeyValue;;;Argument[-1];ReturnValue;value",
-        "org.slf4j.spi.LoggingEventBuilder;true;addMarker;;;Argument[-1];ReturnValue;value",
-        "org.slf4j.spi.LoggingEventBuilder;true;setCause;;;Argument[-1];ReturnValue;value",
+        "org.slf4j.spi;LoggingEventBuilder;true;addArgument;;;Argument[1];Argument[-1];taint",
+        "org.slf4j.spi;LoggingEventBuilder;true;addArgument;;;Argument[-1];ReturnValue;value",
+        "org.slf4j.spi;LoggingEventBuilder;true;addKeyValue;;;Argument[1];Argument[-1];taint",
+        "org.slf4j.spi;LoggingEventBuilder;true;addKeyValue;;;Argument[-1];ReturnValue;value",
+        "org.slf4j.spi;LoggingEventBuilder;true;addMarker;;;Argument[-1];ReturnValue;value",
+        "org.slf4j.spi;LoggingEventBuilder;true;setCause;;;Argument[-1];ReturnValue;value",
         "java.util.logging;LogRecord;false;LogRecord;;;Argument[1];Argument[-1];taint"
       ]
   }

java/ql/test/library-tests/logging/Test.java

@@ -0,0 +1,168 @@
+package generatedtest;
+
+import java.util.logging.LogRecord;
+import org.apache.logging.log4j.Logger;
+import org.apache.logging.log4j.message.EntryMessage;
+import org.apache.logging.log4j.message.Message;
+import org.slf4j.spi.LoggingEventBuilder;
+
+// Test case generated by GenerateFlowTestCase.ql
+public class Test {
+
+	Object source() {
+		return null;
+	}
+
+	void sink(Object o) {}
+
+	public void test() throws Exception {
+
+		{
+			// "java.util.logging;LogRecord;false;LogRecord;;;Argument[1];Argument[-1];taint"
+			LogRecord out = null;
+			String in = (String) source();
+			out = new LogRecord(null, in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceEntry;(Message);;Argument[0];ReturnValue;taint"
+			EntryMessage out = null;
+			Message in = (Message) source();
+			Logger instance = null;
+			out = instance.traceEntry(in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceEntry;(String,Object[]);;Argument[0..1];ReturnValue;taint"
+			EntryMessage out = null;
+			Object[] in = (Object[]) source();
+			Logger instance = null;
+			out = instance.traceEntry((String) null, in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceEntry;(String,Object[]);;Argument[0..1];ReturnValue;taint"
+			EntryMessage out = null;
+			String in = (String) source();
+			Logger instance = null;
+			out = instance.traceEntry(in, (Object[]) null);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceEntry;(String,Supplier[]);;Argument[0..1];ReturnValue;taint"
+			EntryMessage out = null;
+			String in = (String) source();
+			Logger instance = null;
+			out = instance.traceEntry(in, (org.apache.logging.log4j.util.Supplier[]) null);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceEntry;(String,Supplier[]);;Argument[0..1];ReturnValue;taint"
+			EntryMessage out = null;
+			org.apache.logging.log4j.util.Supplier[] in =
+					(org.apache.logging.log4j.util.Supplier[]) source();
+			Logger instance = null;
+			out = instance.traceEntry((String) null, in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceEntry;(Supplier[]);;Argument[0];ReturnValue;taint"
+			EntryMessage out = null;
+			org.apache.logging.log4j.util.Supplier[] in =
+					(org.apache.logging.log4j.util.Supplier[]) source();
+			Logger instance = null;
+			out = instance.traceEntry(in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceExit;(EntryMessage,Object);;Argument[1];ReturnValue;value"
+			Object out = null;
+			Object in = (Object) source();
+			Logger instance = null;
+			out = instance.traceExit((EntryMessage) null, in);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceExit;(Message,Object);;Argument[1];ReturnValue;value"
+			Object out = null;
+			Object in = (Object) source();
+			Logger instance = null;
+			out = instance.traceExit((Message) null, in);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceExit;(Object);;Argument[0];ReturnValue;value"
+			Object out = null;
+			Object in = (Object) source();
+			Logger instance = null;
+			out = instance.traceExit(in);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.apache.logging.log4j;Logger;true;traceExit;(String,Object);;Argument[1];ReturnValue;value"
+			Object out = null;
+			Object in = (Object) source();
+			Logger instance = null;
+			out = instance.traceExit((String) null, in);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addArgument;;;Argument[-1];ReturnValue;value"
+			LoggingEventBuilder out = null;
+			LoggingEventBuilder in = (LoggingEventBuilder) source();
+			out = in.addArgument((Object) null);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addArgument;;;Argument[-1];ReturnValue;value"
+			LoggingEventBuilder out = null;
+			LoggingEventBuilder in = (LoggingEventBuilder) source();
+			out = in.addArgument((java.util.function.Supplier) null);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addKeyValue;;;Argument[-1];ReturnValue;value"
+			LoggingEventBuilder out = null;
+			LoggingEventBuilder in = (LoggingEventBuilder) source();
+			out = in.addKeyValue((String) null, (Object) null);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addKeyValue;;;Argument[-1];ReturnValue;value"
+			LoggingEventBuilder out = null;
+			LoggingEventBuilder in = (LoggingEventBuilder) source();
+			out = in.addKeyValue((String) null, (java.util.function.Supplier) null);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addKeyValue;;;Argument[1];Argument[-1];taint"
+			LoggingEventBuilder out = null;
+			Object in = (Object) source();
+			out.addKeyValue((String) null, in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addKeyValue;;;Argument[1];Argument[-1];taint"
+			LoggingEventBuilder out = null;
+			java.util.function.Supplier in = (java.util.function.Supplier) source();
+			out.addKeyValue((String) null, in);
+			sink(out); // $ hasTaintFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;addMarker;;;Argument[-1];ReturnValue;value"
+			LoggingEventBuilder out = null;
+			LoggingEventBuilder in = (LoggingEventBuilder) source();
+			out = in.addMarker(null);
+			sink(out); // $ hasValueFlow
+		}
+		{
+			// "org.slf4j.spi;LoggingEventBuilder;true;setCause;;;Argument[-1];ReturnValue;value"
+			LoggingEventBuilder out = null;
+			LoggingEventBuilder in = (LoggingEventBuilder) source();
+			out = in.setCause(null);
+			sink(out); // $ hasValueFlow
+		}
+
+	}
+
+}

java/ql/test/library-tests/logging/options

@@ -0,0 +1 @@
+//semmle-extractor-options: --javac-args -cp ${testdir}/../../stubs/apache-log4j-2.14.1:${testdir}/../../stubs/slf4j-2.0.0

java/ql/test/library-tests/logging/test.ql

@@ -0,0 +1,2 @@
+import java
+import TestUtilities.InlineFlowTest

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/Level.java

@@ -0,0 +1,96 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j;
+
+import java.io.Serializable;
+
+public final class Level implements Comparable<Level>, Serializable {
+  public int intLevel() {
+    return 0;
+  }
+
+  public boolean isInRange(final Level minLevel, final Level maxLevel) {
+    return false;
+  }
+
+  public boolean isLessSpecificThan(final Level level) {
+    return false;
+  }
+
+  public boolean isMoreSpecificThan(final Level level) {
+    return false;
+  }
+
+  public Level clone() throws CloneNotSupportedException {
+    return null;
+  }
+
+  @Override
+  public int compareTo(final Level other) {
+    return 0;
+  }
+
+  @Override
+  public boolean equals(final Object other) {
+    return false;
+  }
+
+  public Class<Level> getDeclaringClass() {
+    return null;
+  }
+
+  @Override
+  public int hashCode() {
+    return 0;
+  }
+
+  public String name() {
+    return null;
+  }
+
+  @Override
+  public String toString() {
+    return null;
+  }
+
+  public static Level forName(final String name, final int intValue) {
+    return null;
+  }
+
+  public static Level getLevel(final String name) {
+    return null;
+  }
+
+  public static Level toLevel(final String sArg) {
+    return null;
+  }
+
+  public static Level toLevel(final String name, final Level defaultLevel) {
+    return null;
+  }
+
+  public static Level[] values() {
+    return null;
+  }
+
+  public static Level valueOf(final String name) {
+    return null;
+  }
+
+  public static <T extends Enum<T>> T valueOf(final Class<T> enumType, final String name) {
+    return null;
+  }
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/LogBuilder.java

@@ -0,0 +1,80 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j;
+
+import org.apache.logging.log4j.message.Message;
+import org.apache.logging.log4j.util.Supplier;
+
+public interface LogBuilder {
+  public static final LogBuilder NOOP = new LogBuilder() {};
+
+  default LogBuilder withMarker(Marker marker) {
+    return null;
+  }
+
+  default LogBuilder withThrowable(Throwable throwable) {
+    return null;
+  }
+
+  default LogBuilder withLocation() {
+    return null;
+  }
+
+  default LogBuilder withLocation(StackTraceElement location) {
+    return null;
+  }
+
+  default void log(CharSequence message) {}
+
+  default void log(String message) {}
+
+  default void log(String message, Object... params) {}
+
+  default void log(String message, Supplier<?>... params) {}
+
+  default void log(Message message) {}
+
+  default void log(Supplier<Message> messageSupplier) {}
+
+  default void log(Object message) {}
+
+  default void log(String message, Object p0) {}
+
+  default void log(String message, Object p0, Object p1) {}
+
+  default void log(String message, Object p0, Object p1, Object p2) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3, Object p4) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+      Object p5) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+      Object p6) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+      Object p6, Object p7) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+      Object p6, Object p7, Object p8) {}
+
+  default void log(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+      Object p6, Object p7, Object p8, Object p9) {}
+
+  default void log() {}
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/Logger.java

@@ -0,0 +1,885 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j;
+
+import org.apache.logging.log4j.message.EntryMessage;
+import org.apache.logging.log4j.message.Message;
+import org.apache.logging.log4j.message.MessageFactory;
+import org.apache.logging.log4j.util.MessageSupplier;
+import org.apache.logging.log4j.util.Supplier;
+
+public interface Logger {
+        void catching(Level level, Throwable throwable);
+
+        void catching(Throwable throwable);
+
+        void debug(Marker marker, Message message);
+
+        void debug(Marker marker, Message message, Throwable throwable);
+
+        void debug(Marker marker, MessageSupplier messageSupplier);
+
+        void debug(Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void debug(Marker marker, CharSequence message);
+
+        void debug(Marker marker, CharSequence message, Throwable throwable);
+
+        void debug(Marker marker, Object message);
+
+        void debug(Marker marker, Object message, Throwable throwable);
+
+        void debug(Marker marker, String message);
+
+        void debug(Marker marker, String message, Object... params);
+
+        void debug(Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void debug(Marker marker, String message, Throwable throwable);
+
+        void debug(Marker marker, Supplier<?> messageSupplier);
+
+        void debug(Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void debug(Message message);
+
+        void debug(Message message, Throwable throwable);
+
+        void debug(MessageSupplier messageSupplier);
+
+        void debug(MessageSupplier messageSupplier, Throwable throwable);
+
+        void debug(CharSequence message);
+
+        void debug(CharSequence message, Throwable throwable);
+
+        void debug(Object message);
+
+        void debug(Object message, Throwable throwable);
+
+        void debug(String message);
+
+        void debug(String message, Object... params);
+
+        void debug(String message, Supplier<?>... paramSuppliers);
+
+        void debug(String message, Throwable throwable);
+
+        void debug(Supplier<?> messageSupplier);
+
+        void debug(Supplier<?> messageSupplier, Throwable throwable);
+
+        void debug(Marker marker, String message, Object p0);
+
+        void debug(Marker marker, String message, Object p0, Object p1);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void debug(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void debug(String message, Object p0);
+
+        void debug(String message, Object p0, Object p1);
+
+        void debug(String message, Object p0, Object p1, Object p2);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3, Object p4);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8);
+
+        void debug(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8, Object p9);
+
+        void entry();
+
+        void entry(Object... params);
+
+        void error(Marker marker, Message message);
+
+        void error(Marker marker, Message message, Throwable throwable);
+
+        void error(Marker marker, MessageSupplier messageSupplier);
+
+        void error(Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void error(Marker marker, CharSequence message);
+
+        void error(Marker marker, CharSequence message, Throwable throwable);
+
+        void error(Marker marker, Object message);
+
+        void error(Marker marker, Object message, Throwable throwable);
+
+        void error(Marker marker, String message);
+
+        void error(Marker marker, String message, Object... params);
+
+        void error(Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void error(Marker marker, String message, Throwable throwable);
+
+        void error(Marker marker, Supplier<?> messageSupplier);
+
+        void error(Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void error(Message message);
+
+        void error(Message message, Throwable throwable);
+
+        void error(MessageSupplier messageSupplier);
+
+        void error(MessageSupplier messageSupplier, Throwable throwable);
+
+        void error(CharSequence message);
+
+        void error(CharSequence message, Throwable throwable);
+
+        void error(Object message);
+
+        void error(Object message, Throwable throwable);
+
+        void error(String message);
+
+        void error(String message, Object... params);
+
+        void error(String message, Supplier<?>... paramSuppliers);
+
+        void error(String message, Throwable throwable);
+
+        void error(Supplier<?> messageSupplier);
+
+        void error(Supplier<?> messageSupplier, Throwable throwable);
+
+        void error(Marker marker, String message, Object p0);
+
+        void error(Marker marker, String message, Object p0, Object p1);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void error(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void error(String message, Object p0);
+
+        void error(String message, Object p0, Object p1);
+
+        void error(String message, Object p0, Object p1, Object p2);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3, Object p4);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8);
+
+        void error(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8, Object p9);
+
+        void exit();
+
+        <R> R exit(R result);
+
+        void fatal(Marker marker, Message message);
+
+        void fatal(Marker marker, Message message, Throwable throwable);
+
+        void fatal(Marker marker, MessageSupplier messageSupplier);
+
+        void fatal(Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void fatal(Marker marker, CharSequence message);
+
+        void fatal(Marker marker, CharSequence message, Throwable throwable);
+
+        void fatal(Marker marker, Object message);
+
+        void fatal(Marker marker, Object message, Throwable throwable);
+
+        void fatal(Marker marker, String message);
+
+        void fatal(Marker marker, String message, Object... params);
+
+        void fatal(Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void fatal(Marker marker, String message, Throwable throwable);
+
+        void fatal(Marker marker, Supplier<?> messageSupplier);
+
+        void fatal(Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void fatal(Message message);
+
+        void fatal(Message message, Throwable throwable);
+
+        void fatal(MessageSupplier messageSupplier);
+
+        void fatal(MessageSupplier messageSupplier, Throwable throwable);
+
+        void fatal(CharSequence message);
+
+        void fatal(CharSequence message, Throwable throwable);
+
+        void fatal(Object message);
+
+        void fatal(Object message, Throwable throwable);
+
+        void fatal(String message);
+
+        void fatal(String message, Object... params);
+
+        void fatal(String message, Supplier<?>... paramSuppliers);
+
+        void fatal(String message, Throwable throwable);
+
+        void fatal(Supplier<?> messageSupplier);
+
+        void fatal(Supplier<?> messageSupplier, Throwable throwable);
+
+        void fatal(Marker marker, String message, Object p0);
+
+        void fatal(Marker marker, String message, Object p0, Object p1);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void fatal(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void fatal(String message, Object p0);
+
+        void fatal(String message, Object p0, Object p1);
+
+        void fatal(String message, Object p0, Object p1, Object p2);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3, Object p4);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8);
+
+        void fatal(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8, Object p9);
+
+        Level getLevel();
+
+        <MF extends MessageFactory> MF getMessageFactory();
+
+        String getName();
+
+        void info(Marker marker, Message message);
+
+        void info(Marker marker, Message message, Throwable throwable);
+
+        void info(Marker marker, MessageSupplier messageSupplier);
+
+        void info(Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void info(Marker marker, CharSequence message);
+
+        void info(Marker marker, CharSequence message, Throwable throwable);
+
+        void info(Marker marker, Object message);
+
+        void info(Marker marker, Object message, Throwable throwable);
+
+        void info(Marker marker, String message);
+
+        void info(Marker marker, String message, Object... params);
+
+        void info(Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void info(Marker marker, String message, Throwable throwable);
+
+        void info(Marker marker, Supplier<?> messageSupplier);
+
+        void info(Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void info(Message message);
+
+        void info(Message message, Throwable throwable);
+
+        void info(MessageSupplier messageSupplier);
+
+        void info(MessageSupplier messageSupplier, Throwable throwable);
+
+        void info(CharSequence message);
+
+        void info(CharSequence message, Throwable throwable);
+
+        void info(Object message);
+
+        void info(Object message, Throwable throwable);
+
+        void info(String message);
+
+        void info(String message, Object... params);
+
+        void info(String message, Supplier<?>... paramSuppliers);
+
+        void info(String message, Throwable throwable);
+
+        void info(Supplier<?> messageSupplier);
+
+        void info(Supplier<?> messageSupplier, Throwable throwable);
+
+        void info(Marker marker, String message, Object p0);
+
+        void info(Marker marker, String message, Object p0, Object p1);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void info(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void info(String message, Object p0);
+
+        void info(String message, Object p0, Object p1);
+
+        void info(String message, Object p0, Object p1, Object p2);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3, Object p4);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8);
+
+        void info(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8, Object p9);
+
+        boolean isDebugEnabled();
+
+        boolean isDebugEnabled(Marker marker);
+
+        boolean isEnabled(Level level);
+
+        boolean isEnabled(Level level, Marker marker);
+
+        boolean isErrorEnabled();
+
+        boolean isErrorEnabled(Marker marker);
+
+        boolean isFatalEnabled();
+
+        boolean isFatalEnabled(Marker marker);
+
+        boolean isInfoEnabled();
+
+        boolean isInfoEnabled(Marker marker);
+
+        boolean isTraceEnabled();
+
+        boolean isTraceEnabled(Marker marker);
+
+        boolean isWarnEnabled();
+
+        boolean isWarnEnabled(Marker marker);
+
+        void log(Level level, Marker marker, Message message);
+
+        void log(Level level, Marker marker, Message message, Throwable throwable);
+
+        void log(Level level, Marker marker, MessageSupplier messageSupplier);
+
+        void log(Level level, Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void log(Level level, Marker marker, CharSequence message);
+
+        void log(Level level, Marker marker, CharSequence message, Throwable throwable);
+
+        void log(Level level, Marker marker, Object message);
+
+        void log(Level level, Marker marker, Object message, Throwable throwable);
+
+        void log(Level level, Marker marker, String message);
+
+        void log(Level level, Marker marker, String message, Object... params);
+
+        void log(Level level, Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void log(Level level, Marker marker, String message, Throwable throwable);
+
+        void log(Level level, Marker marker, Supplier<?> messageSupplier);
+
+        void log(Level level, Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void log(Level level, Message message);
+
+        void log(Level level, Message message, Throwable throwable);
+
+        void log(Level level, MessageSupplier messageSupplier);
+
+        void log(Level level, MessageSupplier messageSupplier, Throwable throwable);
+
+        void log(Level level, CharSequence message);
+
+        void log(Level level, CharSequence message, Throwable throwable);
+
+        void log(Level level, Object message);
+
+        void log(Level level, Object message, Throwable throwable);
+
+        void log(Level level, String message);
+
+        void log(Level level, String message, Object... params);
+
+        void log(Level level, String message, Supplier<?>... paramSuppliers);
+
+        void log(Level level, String message, Throwable throwable);
+
+        void log(Level level, Supplier<?> messageSupplier);
+
+        void log(Level level, Supplier<?> messageSupplier, Throwable throwable);
+
+        void log(Level level, Marker marker, String message, Object p0);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3, Object p4);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3, Object p4, Object p5);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3, Object p4, Object p5, Object p6);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3, Object p4, Object p5, Object p6, Object p7);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void log(Level level, Marker marker, String message, Object p0, Object p1, Object p2,
+                        Object p3, Object p4, Object p5, Object p6, Object p7, Object p8,
+                        Object p9);
+
+        void log(Level level, String message, Object p0);
+
+        void log(Level level, String message, Object p0, Object p1);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5, Object p6);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5, Object p6, Object p7);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5, Object p6, Object p7, Object p8);
+
+        void log(Level level, String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void printf(Level level, Marker marker, String format, Object... params);
+
+        void printf(Level level, String format, Object... params);
+
+        <T extends Throwable> T throwing(Level level, T throwable);
+
+        <T extends Throwable> T throwing(T throwable);
+
+        void trace(Marker marker, Message message);
+
+        void trace(Marker marker, Message message, Throwable throwable);
+
+        void trace(Marker marker, MessageSupplier messageSupplier);
+
+        void trace(Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void trace(Marker marker, CharSequence message);
+
+        void trace(Marker marker, CharSequence message, Throwable throwable);
+
+        void trace(Marker marker, Object message);
+
+        void trace(Marker marker, Object message, Throwable throwable);
+
+        void trace(Marker marker, String message);
+
+        void trace(Marker marker, String message, Object... params);
+
+        void trace(Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void trace(Marker marker, String message, Throwable throwable);
+
+        void trace(Marker marker, Supplier<?> messageSupplier);
+
+        void trace(Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void trace(Message message);
+
+        void trace(Message message, Throwable throwable);
+
+        void trace(MessageSupplier messageSupplier);
+
+        void trace(MessageSupplier messageSupplier, Throwable throwable);
+
+        void trace(CharSequence message);
+
+        void trace(CharSequence message, Throwable throwable);
+
+        void trace(Object message);
+
+        void trace(Object message, Throwable throwable);
+
+        void trace(String message);
+
+        void trace(String message, Object... params);
+
+        void trace(String message, Supplier<?>... paramSuppliers);
+
+        void trace(String message, Throwable throwable);
+
+        void trace(Supplier<?> messageSupplier);
+
+        void trace(Supplier<?> messageSupplier, Throwable throwable);
+
+        void trace(Marker marker, String message, Object p0);
+
+        void trace(Marker marker, String message, Object p0, Object p1);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void trace(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void trace(String message, Object p0);
+
+        void trace(String message, Object p0, Object p1);
+
+        void trace(String message, Object p0, Object p1, Object p2);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3, Object p4);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3, Object p4,
+                        Object p5);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8);
+
+        void trace(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8, Object p9);
+
+        EntryMessage traceEntry();
+
+        EntryMessage traceEntry(String format, Object... params);
+
+        EntryMessage traceEntry(Supplier<?>... paramSuppliers);
+
+        EntryMessage traceEntry(String format, Supplier<?>... paramSuppliers);
+
+        EntryMessage traceEntry(Message message);
+
+        void traceExit();
+
+        <R> R traceExit(R result);
+
+        <R> R traceExit(String format, R result);
+
+        void traceExit(EntryMessage message);
+
+        <R> R traceExit(EntryMessage message, R result);
+
+        <R> R traceExit(Message message, R result);
+
+        void warn(Marker marker, Message message);
+
+        void warn(Marker marker, Message message, Throwable throwable);
+
+        void warn(Marker marker, MessageSupplier messageSupplier);
+
+        void warn(Marker marker, MessageSupplier messageSupplier, Throwable throwable);
+
+        void warn(Marker marker, CharSequence message);
+
+        void warn(Marker marker, CharSequence message, Throwable throwable);
+
+        void warn(Marker marker, Object message);
+
+        void warn(Marker marker, Object message, Throwable throwable);
+
+        void warn(Marker marker, String message);
+
+        void warn(Marker marker, String message, Object... params);
+
+        void warn(Marker marker, String message, Supplier<?>... paramSuppliers);
+
+        void warn(Marker marker, String message, Throwable throwable);
+
+        void warn(Marker marker, Supplier<?> messageSupplier);
+
+        void warn(Marker marker, Supplier<?> messageSupplier, Throwable throwable);
+
+        void warn(Message message);
+
+        void warn(Message message, Throwable throwable);
+
+        void warn(MessageSupplier messageSupplier);
+
+        void warn(MessageSupplier messageSupplier, Throwable throwable);
+
+        void warn(CharSequence message);
+
+        void warn(CharSequence message, Throwable throwable);
+
+        void warn(Object message);
+
+        void warn(Object message, Throwable throwable);
+
+        void warn(String message);
+
+        void warn(String message, Object... params);
+
+        void warn(String message, Supplier<?>... paramSuppliers);
+
+        void warn(String message, Throwable throwable);
+
+        void warn(Supplier<?> messageSupplier);
+
+        void warn(Supplier<?> messageSupplier, Throwable throwable);
+
+        void warn(Marker marker, String message, Object p0);
+
+        void warn(Marker marker, String message, Object p0, Object p1);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8);
+
+        void warn(Marker marker, String message, Object p0, Object p1, Object p2, Object p3,
+                        Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+
+        void warn(String message, Object p0);
+
+        void warn(String message, Object p0, Object p1);
+
+        void warn(String message, Object p0, Object p1, Object p2);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3, Object p4);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8);
+
+        void warn(String message, Object p0, Object p1, Object p2, Object p3, Object p4, Object p5,
+                        Object p6, Object p7, Object p8, Object p9);
+
+        default void logMessage(Level level, Marker marker, String fqcn, StackTraceElement location,
+                        Message message, Throwable throwable) {}
+
+        default LogBuilder atTrace() {
+                return null;
+        }
+
+        default LogBuilder atDebug() {
+                return null;
+        }
+
+        default LogBuilder atInfo() {
+                return null;
+        }
+
+        default LogBuilder atWarn() {
+                return null;
+        }
+
+        default LogBuilder atError() {
+                return null;
+        }
+
+        default LogBuilder atFatal() {
+                return null;
+        }
+
+        default LogBuilder always() {
+                return null;
+        }
+
+        default LogBuilder atLevel(Level level) {
+                return null;
+        }
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/Marker.java

@@ -0,0 +1,42 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j;
+
+import java.io.Serializable;
+
+public interface Marker extends Serializable {
+    Marker addParents(Marker... markers);
+
+    @Override
+    boolean equals(Object obj);
+
+    String getName();
+
+    Marker[] getParents();
+
+    @Override
+    int hashCode();
+
+    boolean hasParents();
+
+    boolean isInstanceOf(Marker m);
+
+    boolean isInstanceOf(String name);
+
+    boolean remove(Marker marker);
+
+    Marker setParents(Marker... markers);
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/EntryMessage.java

@@ -0,0 +1,18 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j.message;
+
+public interface EntryMessage extends FlowMessage {
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/FlowMessage.java

@@ -0,0 +1,22 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j.message;
+
+public interface FlowMessage extends Message {
+    String getText();
+
+    Message getMessage();
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/Message.java

@@ -0,0 +1,28 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j.message;
+
+import java.io.Serializable;
+
+public interface Message extends Serializable {
+    String getFormattedMessage();
+
+    String getFormat();
+
+    Object[] getParameters();
+
+    Throwable getThrowable();
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/MessageFactory.java

@@ -0,0 +1,24 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+package org.apache.logging.log4j.message;
+
+public interface MessageFactory {
+    Message newMessage(Object message);
+
+    Message newMessage(String message);
+
+    Message newMessage(String message, Object... params);
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/MessageSupplier.java

@@ -0,0 +1,23 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+
+package org.apache.logging.log4j.util;
+
+import org.apache.logging.log4j.message.Message;
+
+public interface MessageSupplier {
+    Message get();
+
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/Supplier.java

@@ -0,0 +1,21 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one or more contributor license
+ * agreements. See the NOTICE file distributed with this work for additional information regarding
+ * copyright ownership. The ASF licenses this file to You under the Apache license, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the License. You may obtain a
+ * copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the license for the specific language governing permissions and limitations under
+ * the license.
+ */
+
+package org.apache.logging.log4j.util;
+
+public interface Supplier<T> {
+    T get();
+
+}

java/ql/test/stubs/slf4j-2.0.0/org/slf4j/Marker.java

@@ -0,0 +1,46 @@
+/**
+ * Copyright (c) 2004-2011 QOS.ch All rights reserved.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
+ * associated documentation files (the "Software"), to deal in the Software without restriction,
+ * including without limitation the rights to use, copy, modify, merge, publish, distribute,
+ * sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in all copies or
+ * substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
+ * NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
+ * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+package org.slf4j;
+
+import java.io.Serializable;
+import java.util.Iterator;
+
+public interface Marker extends Serializable {
+    public String getName();
+
+    public void add(Marker reference);
+
+    public boolean remove(Marker reference);
+
+    public boolean hasChildren();
+
+    public boolean hasReferences();
+
+    public Iterator<Marker> iterator();
+
+    public boolean contains(Marker other);
+
+    public boolean contains(String name);
+
+    public boolean equals(Object o);
+
+    public int hashCode();
+
+}

java/ql/test/stubs/slf4j-2.0.0/org/slf4j/spi/LoggingEventBuilder.java

@@ -0,0 +1,48 @@
+/**
+ * Copyright (c) 2004-2021 QOS.ch All rights reserved.
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
+ * associated documentation files (the "Software"), to deal in the Software without restriction,
+ * including without limitation the rights to use, copy, modify, merge, publish, distribute,
+ * sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in all copies or
+ * substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
+ * NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
+ * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+package org.slf4j.spi;
+
+import java.util.function.Supplier;
+import org.slf4j.Marker;
+
+public interface LoggingEventBuilder {
+    LoggingEventBuilder setCause(Throwable cause);
+
+    LoggingEventBuilder addMarker(Marker marker);
+
+    LoggingEventBuilder addArgument(Object p);
+
+    LoggingEventBuilder addArgument(Supplier<?> objectSupplier);
+
+    LoggingEventBuilder addKeyValue(String key, Object value);
+
+    LoggingEventBuilder addKeyValue(String key, Supplier<Object> value);
+
+    void log(String message);
+
+    void log(String message, Object arg);
+
+    void log(String message, Object arg0, Object arg1);
+
+    void log(String message, Object... args);
+
+    void log(Supplier<String> messageSupplier);
+
+}