Module File

Classes and predicates for modeling the core File module.

Because File is a subclass of IO, all FileInstances and FileModuleReaders are also IOInstances and IOModuleReaders respectively.

Import path

import codeql.ruby.frameworks.Files

FileInstance	An instance of the `File` class, for example in
FileJoinSummary	A flow summary for `File.join`, which propagates taint from every argument to its return value.
FileModuleFilenameSource	A call to a `File` method that may return one or more filenames.
FileModuleReader	A read using the `File` module, e.g. the `f.read` call in
FileOpen	A call to `File.open`, considered as a `FileSystemAccess`.
FilePathConversionSummary	A flow summary for several methods on the `File` class that propagate taint from their first argument to the return value.