Java: Make the corresponding rename in all the data extensions.

This commit is contained in:
Michael Nebel
2022-12-14 13:48:31 +01:00
parent b45d079a01
commit bc02adb400
223 changed files with 299 additions and 299 deletions

View File

@@ -1,7 +1,7 @@
extensions:
- addsTo:
pack: codeql/java-all
extensible: extSinkModel
extensible: sinkModel
data:
- ["java.io", "FileOutputStream", False, "FileOutputStream", "", "", "Argument[0]", "create-file", "manual"]
- ["java.io", "FileOutputStream", False, "write", "", "", "Argument[0]", "write-file", "manual"]
@@ -42,7 +42,7 @@ extensions:
- ["java.io", "Writer", True, "write", "", "", "Argument[0]", "write-file", "manual"]
- addsTo:
pack: codeql/java-all
extensible: extSummaryModel
extensible: summaryModel
data:
- ["java.io", "BufferedInputStream", False, "BufferedInputStream", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["java.io", "BufferedReader", False, "BufferedReader", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]