Skip to content

Commit d0529bb

Browse files
committed
Add missing models for Java IO
- java.io.OutputStream - java.nio.file.Files
1 parent 566513e commit d0529bb

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

java/ql/lib/ext/java.io.model.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,8 @@ extensions:
4747
- ["java.io", "RandomAccessFile", False, "writeUTF", "", "", "Argument[0]", "write-file", "manual"]
4848
- ["java.io", "Writer", True, "append", "", "", "Argument[0]", "write-file", "manual"]
4949
- ["java.io", "Writer", True, "write", "", "", "Argument[0]", "write-file", "manual"]
50+
- ["java.io", "OutputStream", True, "write", "(byte[])", "", "Argument[0]", "write-file", "manual"]
51+
- ["java.io", "OutputStream", True, "write", "(byte[],int,int)", "", "Argument[0]", "write-file", "manual"]
5052
- addsTo:
5153
pack: codeql/java-all
5254
extensible: summaryModel

java/ql/lib/ext/java.nio.file.model.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ extensions:
44
extensible: sinkModel
55
data:
66
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0]", "read-file", "manual"]
7+
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0]", "write-file", "manual"]
78
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[1]", "create-file", "manual"]
89
- ["java.nio.file", "Files", False, "createDirectories", "", "", "Argument[0]", "create-file", "manual"]
910
- ["java.nio.file", "Files", False, "createDirectory", "", "", "Argument[0]", "create-file", "manual"]

0 commit comments

Comments
 (0)