Add df-manual models related to existing df-manual models

This commit is contained in:
Owen Mansel-Chan
2024-03-15 23:21:29 +00:00
parent fc367042ef
commit 23a58a0835
3 changed files with 3 additions and 0 deletions

View File

@@ -120,6 +120,7 @@ extensions:
- ["java.io", "File", "listFiles", "", "summary", "df-manual"]
- ["java.io", "File", "mkdirs", "()", "summary", "manual"]
- ["java.io", "FileInputStream", "FileInputStream", "(File)", "summary", "manual"]
- ["java.io", "FileInputStream", "FileInputStream", "(FileDescriptor)", "summary", "df-manual"]
- ["java.io", "FileInputStream", "FileInputStream", "(String)", "summary", "df-manual"]
- ["java.io", "InputStream", "close", "()", "summary", "manual"]
- ["java.io", "ObjectInput", "readObject", "()", "summary", "df-manual"] # this is a deserialization sink modeled in regular CodeQL