Java: add first argument to copy sink

This commit is contained in:
Jami Cogswell
2023-02-02 16:20:54 -05:00
parent 61a8f5e425
commit 30b1a2edbc

View File

@@ -3,7 +3,7 @@ extensions:
pack: codeql/java-all
extensible: sinkModel
data:
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[1]", "create-file", "manual"]
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0..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"]
- ["java.nio.file", "Files", False, "createFile", "", "", "Argument[0]", "create-file", "manual"]