Java: Add test case.

aschackmull · aschackmull · commit f0bfd7053e1d · 2025-10-07T13:40:44.000+02:00
diff --git a/java/ql/test/library-tests/dataflow/entrypoint-types/EntryPointTypesTest.java b/java/ql/test/library-tests/dataflow/entrypoint-types/EntryPointTypesTest.java
@@ -41,6 +41,10 @@ class UnrelatedObject {
         public String safeField;
     }
 
+    static class ArrayElemObject {
+        public String field;
+    }
+
     private static void sink(String sink) {}
 
     public static void test(TestObject source) {
@@ -70,4 +74,8 @@ public static void testSubtype(ParameterizedTestObject<?, ?> source) {
         UnrelatedObject unrelated = (UnrelatedObject) subtypeSource.getField8();
         sink(unrelated.safeField); // Safe
     }
+
+    public static void testArray(ArrayElemObject[] source) {
+        sink(source[0].field); // $hasTaintFlow
+    }
 }

Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,10 @@ class UnrelatedObject {`
`41`	`41`	`public String safeField;`
`42`	`42`	`}`
`43`	`43`
	`44`	`+ static class ArrayElemObject {`
	`45`	`+ public String field;`
	`46`	`+ }`
	`47`	`+`
`44`	`48`	`private static void sink(String sink) {}`
`45`	`49`
`46`	`50`	`public static void test(TestObject source) {`
`@@ -70,4 +74,8 @@ public static void testSubtype(ParameterizedTestObject<?, ?> source) {`
`70`	`74`	`UnrelatedObject unrelated = (UnrelatedObject) subtypeSource.getField8();`
`71`	`75`	`sink(unrelated.safeField); // Safe`
`72`	`76`	`}`
	`77`	`+`
	`78`	`+ public static void testArray(ArrayElemObject[] source) {`
	`79`	`+ sink(source[0].field); // $hasTaintFlow`
	`80`	`+ }`
`73`	`81`	`}`