hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add missing models for Java IO

Browse Source 
- java.io.OutputStream
- java.nio.file.Files
This commit is contained in:
Mathew Payne
2023-04-12 14:43:11 +00:00
parent 566513e927
commit d0529bba2b
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/ext/java.io.model.yml
View File

@@ -47,6 +47,8 @@ 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

1
java/ql/lib/ext/java.nio.file.model.yml
View File

@@ -4,6 +4,7 @@ extensions:
extensible: sinkModel
data:
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0]", "read-file", "manual"]
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0]", "write-file", "manual"]
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[1]", "create-file", "manual"]
- ["java.nio.file", "Files", False, "createDirectories", "", "", "Argument[0]", "create-file", "manual"]
- ["java.nio.file", "Files", False, "createDirectory", "", "", "Argument[0]", "create-file", "manual"]