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

Remove df-gen models we have deliberately modeled

Browse Source 
Manual models always take precedence over generated models, so there is
no point in keeping the generated models.

These manual models were deliberately written to take precedence over
the corresponding df-gen models.
This commit is contained in:
Owen Mansel-Chan
2024-03-14 15:55:57 +00:00
parent 311512c768
commit 919436efbb
15 changed files with 0 additions and 356 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -40,49 +40,21 @@ extensions:
- ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map,ClassLoader)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map,ClassLoader)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map,ClassLoader)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "copy", "(Path,OutputStream)", "", "Argument[0].Element", "Argument[1]", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "copy", "(Path,Path,CopyOption[])", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createDirectories", "(Path,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createDirectory", "(Path,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createFile", "(Path,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createLink", "(Path,Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createSymbolicLink", "(Path,Path,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempDirectory", "(Path,String,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempDirectory", "(Path,String,FileAttribute[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempDirectory", "(String,FileAttribute[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempFile", "(Path,String,String,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempFile", "(Path,String,String,FileAttribute[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempFile", "(Path,String,String,FileAttribute[])", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempFile", "(String,String,FileAttribute[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "createTempFile", "(String,String,FileAttribute[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "getAttribute", "(Path,String,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "getAttribute", "(Path,String,LinkOption[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "getFileAttributeView", "(Path,Class,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "getFileAttributeView", "(Path,Class,LinkOption[])", "", "Argument[2].ArrayElement", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "getFileStore", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "move", "(Path,Path,CopyOption[])", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "newDirectoryStream", "(Path,String)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "newInputStream", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "newOutputStream", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readAllBytes", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readAllLines", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readAllLines", "(Path,Charset)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readAttributes", "(Path,Class,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readAttributes", "(Path,String,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readAttributes", "(Path,String,LinkOption[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readString", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "readString", "(Path,Charset)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "setAttribute", "(Path,String,Object,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "setLastModifiedTime", "(Path,FileTime)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "setOwner", "(Path,UserPrincipal)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "setPosixFilePermissions", "(Path,Set)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "walkFileTree", "(Path,FileVisitor)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "walkFileTree", "(Path,Set,int,FileVisitor)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "write", "(Path,Iterable,Charset,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "write", "(Path,Iterable,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "write", "(Path,byte[],OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "writeString", "(Path,CharSequence,Charset,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "Files", False, "writeString", "(Path,CharSequence,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
@@ -127,9 +99,6 @@ extensions:
- ["java.nio.file", "FileSystem", "supportedFileAttributeViews", "()", "summary", "df-generated"]
- ["java.nio.file", "FileSystems", "getDefault", "()", "summary", "df-generated"]
- ["java.nio.file", "FileSystems", "getFileSystem", "(URI)", "summary", "df-generated"]
- ["java.nio.file", "Files", "copy", "(InputStream,Path,CopyOption[])", "summary", "df-generated"]
- ["java.nio.file", "Files", "delete", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "deleteIfExists", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "getLastModifiedTime", "(Path,LinkOption[])", "summary", "df-generated"]
- ["java.nio.file", "Files", "getOwner", "(Path,LinkOption[])", "summary", "df-generated"]
- ["java.nio.file", "Files", "getPosixFilePermissions", "(Path,LinkOption[])", "summary", "df-generated"]
@@ -141,13 +110,7 @@ extensions:
- ["java.nio.file", "Files", "isSameFile", "(Path,Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "isSymbolicLink", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "isWritable", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "lines", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "lines", "(Path,Charset)", "summary", "df-generated"]
- ["java.nio.file", "Files", "mismatch", "(Path,Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "newBufferedWriter", "(Path,Charset,OpenOption[])", "summary", "df-generated"]
- ["java.nio.file", "Files", "newBufferedWriter", "(Path,OpenOption[])", "summary", "df-generated"]
- ["java.nio.file", "Files", "notExists", "(Path,LinkOption[])", "summary", "df-generated"]
- ["java.nio.file", "Files", "probeContentType", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "size", "(Path)", "summary", "df-generated"]
- ["java.nio.file", "Files", "walk", "(Path,int,FileVisitOption[])", "summary", "df-generated"]
- ["java.nio.file", "InvalidPathException", "getIndex", "()", "summary", "df-generated"]