Java: Add manual models for FileReader (they would also have disappea…

…red if models were re-generated without using mixed mode).
github · Oct 3, 2024 · 2c426ea · 2c426ea
1 parent aaa2be6
commit 2c426ea
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/java/ql/lib/ext/generated/java.io.model.yml b/java/ql/lib/ext/generated/java.io.model.yml
@@ -270,11 +270,6 @@ extensions:
       - ["java.io", "FileOutputStream", "close", "()", "summary", "df-generated"]
       - ["java.io", "FilePermission", "implies", "(Permission)", "summary", "df-generated"]
       - ["java.io", "FilePermission", "newPermissionCollection", "()", "summary", "df-generated"]
-      - ["java.io", "FileReader", "FileReader", "(File)", "summary", "df-generated"]
-      - ["java.io", "FileReader", "FileReader", "(File,Charset)", "summary", "df-generated"]
-      - ["java.io", "FileReader", "FileReader", "(FileDescriptor)", "summary", "df-generated"]
-      - ["java.io", "FileReader", "FileReader", "(String)", "summary", "df-generated"]
-      - ["java.io", "FileReader", "FileReader", "(String,Charset)", "summary", "df-generated"]
       - ["java.io", "FilterInputStream", "available", "()", "summary", "df-generated"]
       - ["java.io", "FilterInputStream", "close", "()", "summary", "df-generated"]
       - ["java.io", "FilterInputStream", "mark", "(int)", "summary", "df-generated"]

diff --git a/java/ql/lib/ext/java.io.model.yml b/java/ql/lib/ext/java.io.model.yml
@@ -100,6 +100,11 @@ extensions:
       - ["java.io", "File", True, "toString", "", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.io", "File", True, "toURI", "", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.io", "File", True, "toURL", "()", "", "Argument[this]", "ReturnValue", "taint", "df-manual"]
+      - ["java.io", "FileReader", True, "FileReader", "(File)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
+      - ["java.io", "FileReader", True, "FileReader", "(File,Charset)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
+      - ["java.io", "FileReader", True, "FileReader", "(FileDescriptor)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
+      - ["java.io", "FileReader", True, "FileReader", "(String)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
+      - ["java.io", "FileReader", True, "FileReader", "(String,Charset)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
       - ["java.io", "FilterOutputStream", True, "FilterOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "manual"]
       - ["java.io", "InputStream", True, "read", "()", "", "Argument[this]", "ReturnValue", "taint", "manual"]
       - ["java.io", "InputStream", True, "read", "(byte[])", "", "Argument[this]", "Argument[0]", "taint", "manual"]