Skip to content

Commit 30b1a2e

Browse files
Jami CogswellJami Cogswell
authored andcommitted
Java: add first argument to copy sink
1 parent 61a8f5e commit 30b1a2e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ extensions:
33
pack: codeql/java-all
44
extensible: sinkModel
55
data:
6-
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[1]", "create-file", "manual"]
6+
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0..1]", "create-file", "manual"]
77
- ["java.nio.file", "Files", False, "createDirectories", "", "", "Argument[0]", "create-file", "manual"]
88
- ["java.nio.file", "Files", False, "createDirectory", "", "", "Argument[0]", "create-file", "manual"]
99
- ["java.nio.file", "Files", False, "createFile", "", "", "Argument[0]", "create-file", "manual"]

0 commit comments

Comments
 (0)