Java: add test for ResourceBundle.getString

Author: Jami Cogswell

java/ql/test/ext/TestModels/Test.java

@@ -1,3 +1,5 @@
+package generatedtest; // for java.util.ResourceBundle.getString test
+
 import java.awt.*;
 import java.io.*;
 import java.math.BigDecimal;
@@ -8,7 +10,6 @@
 import java.sql.PreparedStatement;
 import java.sql.ResultSet;
 import java.util.EventObject;
-import java.util.Locale;
 import java.util.ResourceBundle;
 import java.util.StringJoiner;
 import java.util.concurrent.*;
@@ -25,6 +26,8 @@ void sink(Object o) { }
 
     Object source() { return null; }
 
+    Object newWithMapValueDefault(Object element) { return null; } // for java.util.ResourceBundle.getString test
+
     public void test() throws Exception {
 
         // top 100 JDK APIs tests
@@ -155,6 +158,12 @@ public void test() throws Exception {
             EventObject eventObj = new EventObject(source());
             sink(eventObj.getSource()); // $hasValueFlow
 
+            // "java.util;ResourceBundle;true;getString;(String);;Argument[-1].MapValue;ReturnValue;value;manual"
+            String out = null;
+            ResourceBundle in = (ResourceBundle)newWithMapValueDefault(source());
+            out = in.getString(null);
+            sink(out); // $ hasValueFlow
+
             // java.lang
             AssertionError assertErr = new AssertionError(source());
             sink((String)assertErr.getMessage()); // $hasValueFlow
@@ -186,5 +195,4 @@ public void test() throws Exception {
             sink(th.toString()); // $hasTaintFlow
         }
     }
-
 }

java/ql/test/ext/TestModels/test.ext.yml

@@ -0,0 +1,6 @@
+extensions:
+  - addsTo:
+      pack: codeql/java-tests
+      extensible: summaryModel
+    data:
+      - ["generatedtest", "Test", False, "newWithMapValueDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"]