hudson.remoting tests

java/ql/test/library-tests/frameworks/hudson/Test.java

@@ -0,0 +1,28 @@
+package generatedtest;
+
+import hudson.remoting.URLDeserializationHelper;
+import java.net.URL;
+
+// Test case generated by GenerateFlowTestCase.ql
+public class Test {
+
+	Object source() {
+		return null;
+	}
+
+	void sink(Object o) {
+	}
+
+	public void test() throws Exception {
+
+		{
+			// "hudson.remoting;URLDeserializationHelper;true;wrapIfRequired;(URL);;Argument[0];ReturnValue;taint;ai-generated"
+			URL out = null;
+			URL in = (URL) source();
+			out = URLDeserializationHelper.wrapIfRequired(in);
+			sink(out); // $ hasTaintFlow
+		}
+
+	}
+
+}

java/ql/test/library-tests/frameworks/hudson/options

@@ -0,0 +1 @@
+//semmle-extractor-options: --javac-args -cp ${testdir}/../../../stubs/jenkins

java/ql/test/library-tests/frameworks/hudson/test.ql

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

java/ql/test/stubs/jenkins/hudson/remoting/URLDeserializationHelper.java

@@ -0,0 +1,11 @@
+// Generated automatically from hudson.remoting.URLDeserializationHelper for testing purposes
+
+package hudson.remoting;
+
+import java.net.URL;
+
+public class URLDeserializationHelper
+{
+    public URLDeserializationHelper(){}
+    public static URL wrapIfRequired(URL p0){ return null; }
+}