Ruby: extend FileSystemReadAccess and restructure some Files.qll classes

This commit is contained in:
Alex Ford
2021-11-17 22:03:34 +00:00
parent 08b6a17097
commit 12a3251649
3 changed files with 60 additions and 50 deletions

View File

@@ -36,16 +36,16 @@ ioInstances
| Files.rb:24:19:24:40 | call to open |
| Files.rb:35:1:35:56 | ... = ... |
| Files.rb:35:13:35:56 | call to open |
fileReaders
fileModuleReaders
| Files.rb:7:13:7:32 | call to readlines |
ioReaders
| Files.rb:7:13:7:32 | call to readlines | File |
| Files.rb:20:13:20:25 | call to read | IO |
| Files.rb:29:12:29:29 | call to read | IO |
| Files.rb:32:8:32:23 | call to read | IO |
ioFileReaders
| Files.rb:7:13:7:32 | call to readlines | File |
| Files.rb:29:12:29:29 | call to read | IO |
| Files.rb:20:13:20:25 | call to read |
| Files.rb:29:12:29:29 | call to read |
| Files.rb:32:8:32:23 | call to read |
fileReaders
| Files.rb:7:13:7:32 | call to readlines |
| Files.rb:20:13:20:25 | call to read |
| Files.rb:29:12:29:29 | call to read |
fileModuleFilenameSources
| Files.rb:10:6:10:18 | call to path |
| Files.rb:11:6:11:21 | call to to_path |
@@ -53,6 +53,7 @@ fileUtilsFilenameSources
| Files.rb:14:8:14:43 | call to makedirs |
fileSystemReadAccesses
| Files.rb:7:13:7:32 | call to readlines |
| Files.rb:20:13:20:25 | call to read |
| Files.rb:29:12:29:29 | call to read |
fileNameSources
| Files.rb:10:6:10:18 | call to path |

View File

@@ -6,11 +6,11 @@ query predicate fileInstances(File::FileInstance i) { any() }
query predicate ioInstances(IO::IOInstance i) { any() }
query predicate fileReaders(File::FileModuleReader r) { any() }
query predicate fileModuleReaders(File::FileModuleReader r) { any() }
query predicate ioReaders(IO::IOReader r, string api) { api = r.getAPI() }
query predicate ioReaders(IO::IOReader r) { any() }
query predicate ioFileReaders(IO::IOFileReader r, string api) { api = r.getAPI() }
query predicate fileReaders(IO::FileReader r) { any() }
query predicate fileModuleFilenameSources(File::FileModuleFilenameSource s) { any() }