From c77cdcf4c3f1c69175384b8c184cf1e749df2c23 Mon Sep 17 00:00:00 2001 From: Mathew Payne <2772944+GeekMasher@users.noreply.github.com> Date: Mon, 17 Apr 2023 11:38:28 +0000 Subject: [PATCH] Removed the OutputStream models --- java/ql/lib/change-notes/2023-04-12-new-models-io.md | 1 - java/ql/lib/ext/java.io.model.yml | 2 -- 2 files changed, 3 deletions(-) diff --git a/java/ql/lib/change-notes/2023-04-12-new-models-io.md b/java/ql/lib/change-notes/2023-04-12-new-models-io.md index def66b14c4f..04cf85c3e8b 100644 --- a/java/ql/lib/change-notes/2023-04-12-new-models-io.md +++ b/java/ql/lib/change-notes/2023-04-12-new-models-io.md @@ -2,5 +2,4 @@ category: minorAnalysis --- * Added models for the following packages: - * java.io * java.nio.file diff --git a/java/ql/lib/ext/java.io.model.yml b/java/ql/lib/ext/java.io.model.yml index 1b82102f316..f5d27f20e37 100644 --- a/java/ql/lib/ext/java.io.model.yml +++ b/java/ql/lib/ext/java.io.model.yml @@ -47,8 +47,6 @@ extensions: - ["java.io", "RandomAccessFile", False, "writeUTF", "", "", "Argument[0]", "write-file", "manual"] - ["java.io", "Writer", True, "append", "", "", "Argument[0]", "write-file", "manual"] - ["java.io", "Writer", True, "write", "", "", "Argument[0]", "write-file", "manual"] - - ["java.io", "OutputStream", True, "write", "(byte[])", "", "Argument[0]", "write-file", "manual"] - - ["java.io", "OutputStream", True, "write", "(byte[],int,int)", "", "Argument[0]", "write-file", "manual"] - addsTo: pack: codeql/java-all extensible: summaryModel