Rb: Report any extracted file as successfully extracted

This commit is contained in:
Sid Shankar
2024-01-08 22:21:30 +00:00
parent fb660b8f05
commit b26fef816a
2 changed files with 4 additions and 6 deletions

View File

@@ -1,7 +1,6 @@
/**
* @name Successfully extracted files
* @description Lists all files in the source code directory that were extracted
* without encountering an error in the file.
* @name Extracted files
* @description Lists all files in the source code directory that were extracted.
* @kind diagnostic
* @id rb/diagnostics/successfully-extracted-files
* @tags successfully-extracted-files
@@ -11,7 +10,5 @@ import codeql.ruby.AST
import codeql.ruby.Diagnostics
from File f
where
not exists(ExtractionError e | e.getLocation().getFile() = f) and
exists(f.getRelativePath())
where exists(f.getRelativePath())
select f, ""

View File

@@ -1,3 +1,4 @@
| src/bar.erb:0:0:0:0 | src/bar.erb | |
| src/foo.rb:0:0:0:0 | src/foo.rb | |
| src/not_ruby.rb:0:0:0:0 | src/not_ruby.rb | |
| src/vendor/cache/lib.rb:0:0:0:0 | src/vendor/cache/lib.rb | |