netty.resolver tests

Author: atorralba

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

@@ -0,0 +1,28 @@
+package generatedtest;
+
+import io.netty.resolver.SimpleNameResolver;
+import io.netty.util.concurrent.Future;
+
+// Test case generated by GenerateFlowTestCase.ql
+public class Test {
+
+	Object source() {
+		return null;
+	}
+
+	void sink(Object o) {}
+
+	public void test() throws Exception {
+
+		{
+			// "io.netty.resolver;SimpleNameResolver;false;resolve;(String);;Argument[0];ReturnValue;taint;ai-generated"
+			Future out = null;
+			String in = (String) source();
+			SimpleNameResolver instance = null;
+			out = instance.resolve(in);
+			sink(out); // $ hasTaintFlow
+		}
+
+	}
+
+}

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

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

java/ql/test/library-tests/frameworks/netty/test.expected

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