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

Java: Temporarily replace model pack for commons-io with automodel-generated one.

Browse Source
This commit is contained in:
Max Schaefer
2024-04-24 13:54:15 +01:00
parent 839ca60f90
commit 03556f18a3
1 changed files with 119 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

150
java/ql/lib/ext/org.apache.commons.io.model.yml
View File

@@ -1,32 +1,120 @@
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["org.apache.commons.io", "FileUtils", False, "listFiles", "(File,IOFileFilter,IOFileFilter)", "", "Argument[0]", "ReturnValue.Element", "taint", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "listFiles", "(File,String[],boolean)", "", "Argument[0]", "ReturnValue.Element", "taint", "ai-manual"]
# Models that are not yet auto generated or where the generated summaries will
# be ignored.
# Note that if a callable has any handwritten summary, all generated summaries
# will be ignored for that callable.
- ["org.apache.commons.io", "IOUtils", False, "toBufferedInputStream", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "toByteArray", "(Reader)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "toByteArray", "(Reader,String)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "writeLines", "(Collection,String,Writer)", "", "Argument[0].Element", "Argument[2]", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "writeLines", "(Collection,String,Writer)", "", "Argument[1]", "Argument[2]", "taint", "manual"]
- addsTo:
pack: codeql/java-all
extensible: sinkModel
data:
- ["org.apache.commons.io", "FileUtils", False, "forceMkdir", "(File)", "", "Argument[0]", "path-injection", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "moveDirectory", "(File,File)", "", "Argument[0]", "path-injection", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "readFileToByteArray", "(File)", "", "Argument[0]", "path-injection", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "readFileToString", "(File,Charset)", "", "Argument[0]", "path-injection", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "writeLines", "(File,String,Collection,String)", "", "Argument[3]", "file-content-store", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "writeStringToFile", "(File,String,Charset,boolean)", "", "Argument[1]", "file-content-store", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", True, "copyInputStreamToFile", "(InputStream,File)", "", "Argument[0]", "file-content-store", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", True, "copyInputStreamToFile", "(InputStream,File)", "", "Argument[1]", "path-injection", "manual"]
- ["org.apache.commons.io", "FileUtils", True, "copyToFile", "(InputStream,File)", "", "Argument[0]", "file-content-store", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", True, "copyToFile", "(InputStream,File)", "", "Argument[1]", "path-injection", "manual"]
- ["org.apache.commons.io", "FileUtils", True, "openInputStream", "(File)", "", "Argument[0]", "path-injection", "ai-manual"]
- ["org.apache.commons.io", "IOUtils", False, "resourceToString", "(String,Charset)", "", "Argument[0]", "path-injection", "ai-manual"]
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["org.apache.commons.io", "FileUtils", False, "listFiles", "(File,IOFileFilter,IOFileFilter)", "", "Argument[0]", "ReturnValue.Element", "taint", "ai-manual"]
- ["org.apache.commons.io", "FileUtils", False, "listFiles", "(File,String[],boolean)", "", "Argument[0]", "ReturnValue.Element", "taint", "ai-manual"]
# Models that are not yet auto generated or where the generated summaries will
# be ignored.
# Note that if a callable has any handwritten summary, all generated summaries
# will be ignored for that callable.
- ["org.apache.commons.io", "IOUtils", False, "toBufferedInputStream", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "toByteArray", "(Reader)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "toByteArray", "(Reader,String)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "writeLines", "(Collection,String,Writer)", "", "Argument[0].Element", "Argument[2]", "taint", "manual"]
- ["org.apache.commons.io", "IOUtils", True, "writeLines", "(Collection,String,Writer)", "", "Argument[1]", "Argument[2]", "taint", "manual"]
- addsTo: {extensible: sinkModel, pack: codeql/java-all}
data:
- [org.apache.commons.io, IOUtils, false, resourceToString, '(String,Charset,ClassLoader)', '', 'Argument[0]', path-injection, ai-generated]
- [org.apache.commons.io, IOUtils, false, write, '(CharSequence,OutputStream,String)', '', 'Argument[2]', command-injection, ai-generated]
- addsTo: {extensible: sourceModel, pack: codeql/java-all}
data:
- [org.apache.commons.io, IOUtils, false, toString, '(URL,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, (URL), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, '(URI,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, '(URI,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, (URI), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, (Reader), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, '(IOSupplier,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, '(InputStream,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toString, '(InputStream,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.output, FileWriterWithEncoding, true, FileWriterWithEncoding, '(File,CharsetEncoder)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.output, FileWriterWithEncoding, true, FileWriterWithEncoding, '(File,Charset,boolean)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.serialization, ValidatingObjectInputStream, true, accept, '(String[])', '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toByteArray, (URLConnection), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toByteArray, (URL), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toByteArray, (URI), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toByteArray, '(Reader,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toByteArray, '(InputStream,long)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, XmlStreamReader, true, XmlStreamReader, '(URLConnection,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, XmlStreamReader, true, XmlStreamReader, (URL), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ReaderInputStream, true, ReaderInputStream, '(Reader,String,int)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ReaderInputStream, true, ReaderInputStream, '(Reader,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ReaderInputStream, true, ReaderInputStream, '(Reader,CharsetEncoder)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ReaderInputStream, true, ReaderInputStream, '(Reader,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ReversedLinesFileReader, true, ReversedLinesFileReader, '(Path,int,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ReversedLinesFileReader, true, ReversedLinesFileReader, '(File,int,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, Tailer, false, create, '(File,TailerListener,long,boolean)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.output, WriterOutputStream, true, WriterOutputStream, '(Writer,CharsetDecoder,int,boolean)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, TeeReader, true, read, (CharBuffer), '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io.filefilter, CanExecuteFileFilter, true, accept, (File), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.output, WriterOutputStream$Builder, false, setCharset, (String), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toInputStream, '(CharSequence,String)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toInputStream, '(CharSequence,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.function, IOQuadFunction, true, apply, '(Object,Object,Object,Object)', '', 'Parameter[3]', remote, ai-generated]
- [org.apache.commons.io.function, IOStream, true, toArray, (IntFunction), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.function, IOStream, true, toArray, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, ObservableInputStream, true, read, '(byte[])', '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, TeeInputStream, true, read, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.filefilter, RegexFileFilter, true, RegexFileFilter, '(String,IOCase)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.output, WriterOutputStream, true, write, '(byte[])', '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, toCharArray, (Reader), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, readLines, '(InputStream,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, readLines, (InputStream), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.function, Uncheck, false, apply, '(IOTriFunction,Object,Object,Object)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, BufferedFileChannelInputStream, false, BufferedFileChannelInputStream, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, BufferedFileChannelInputStream, false, BufferedFileChannelInputStream, (File), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, CharSequenceInputStream, true, CharSequenceInputStream, '(CharSequence,String,int)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, CharSequenceInputStream, true, CharSequenceInputStream, '(CharSequence,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.output, XmlStreamWriter, true, XmlStreamWriter, (OutputStream), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.filefilter, AbstractFileFilter, true, preVisitDirectory, '(Path,BasicFileAttributes)', '', 'Parameter[1]', remote, ai-generated]
- [org.apache.commons.io.build, AbstractOriginSupplier, true, setByteArray, '(byte[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.function, IOStream, true, mapToInt, (ToIntFunction), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.function, IOStream, true, flatMapToInt, (IOFunction), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ClassLoaderObjectInputStream, true, resolveProxyClass, '(String[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ClassLoaderObjectInputStream, true, resolveProxyClass, '(String[])', '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, ClassLoaderObjectInputStream, true, resolveClass, (ObjectStreamClass), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ObservableInputStream$Observer, false, data, (int), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, ReadAheadInputStream, true, read, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, lineIterator, (Reader), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, PathUtils, false, deleteFile, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, PathUtils, false, delete, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, newDirectoryStream, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, MessageDigestCalculatingInputStream, true, MessageDigestCalculatingInputStream, (InputStream), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.build, AbstractOrigin$InputStreamOrigin, false, getReader, (Charset), '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io.function, IOStream, true, flatMapToLong, (IOFunction), '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io.function, IOBaseStream, true, spliterator, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.function, IOStream, true, skip, (long), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, CharSequenceInputStream$Builder, false, get, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, MessageDigestCalculatingInputStream$Builder, false, get, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, SwappedDataInputStream, true, readUTF, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, SwappedDataInputStream, true, readLine, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ThrottledInputStream$Builder, false, get, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, XmlStreamReader$Builder, false, get, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.monitor, FileEntry, true, refresh, (File), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io, IOUtils, false, resourceToURL, (String), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, PathUtils, false, copyFileToDirectory, '(URL,Path,CopyOption[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, newBufferedReader, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, lines, '(Path,Charset)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, lines, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.filefilter, FileFilterUtils, false, nameFileFilter, '(String,IOCase)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.filefilter, FileFilterUtils, false, filter, '(IOFileFilter,File[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.output, ChunkedOutputStream, true, ChunkedOutputStream, '(OutputStream,int)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.filefilter, IOFileFilter, true, matches, (Path), '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io.filefilter, PathMatcherFileFilter, true, accept, (File), '', 'Parameter[0]', remote, ai-generated]
- [org.apache.commons.io.input, SwappedDataInputStream, true, readShort, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, SwappedDataInputStream, true, readChar, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, UncheckedBufferedReader, false, readLine, (), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io, FileUtils, false, toFiles, '(URL[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.build, AbstractOrigin$InputStreamOrigin, false, InputStreamOrigin, (InputStream), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, PathUtils, false, copyFile, '(URL,Path,CopyOption[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, readAllBytes, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, newInputStream, '(Path,OpenOption[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, getFileStore, (Path), '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.file, FilesUncheck, false, find, '(Path,int,BiPredicate,FileVisitOption[])', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, ClassLoaderObjectInputStream, true, ClassLoaderObjectInputStream, '(ClassLoader,InputStream)', '', ReturnValue, remote, ai-generated]
- [org.apache.commons.io.input, XmlStreamReaderException, true, getContentTypeMime, (), '', 'Parameter[this]', remote, ai-generated]
- [org.apache.commons.io.input, XmlStreamReaderException, true, getContentTypeEncoding, (), '', 'Parameter[this]', remote, ai-generated]