From 46fc63e8202be757571c1f412f11aa96d2394cd7 Mon Sep 17 00:00:00 2001 From: Ed Minnix Date: Fri, 15 Sep 2023 20:59:39 -0400 Subject: [PATCH] Fix FileInputStream model --- java/ql/lib/ext/java.io.model.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/lib/ext/java.io.model.yml b/java/ql/lib/ext/java.io.model.yml index 1f9e379049517..1bd9251c29d89 100644 --- a/java/ql/lib/ext/java.io.model.yml +++ b/java/ql/lib/ext/java.io.model.yml @@ -132,4 +132,4 @@ extensions: pack: codeql/java-all extensible: sourceModel data: - - ["java.io", "FileInputStream", True, "FileInputStream", "", "", "ReturnValue", "file", "manual"] \ No newline at end of file + - ["java.io", "FileInputStream", True, "FileInputStream", "", "", "Argument[this]", "file", "manual"] \ No newline at end of file