Skip to content

Commit 4bc8529

Browse files
authored
Go: Extract locations of successfully extracted files
Switch the successfully extracted files query to the `location, message` results format so that we get rich location information when exporting the results of this query to SARIF. Previously the query used the `message` results format, which meant the interpreted results lacked a location.
1 parent fac383a commit 4bc8529

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

go/ql/src/Diagnostics/SuccessfullyExtractedFiles.ql

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,6 @@
99
import go
1010

1111
from File f
12-
where not exists(Error e | e.getFile() = f)
13-
select f.getRelativePath()
12+
where not exists(Error e | e.getFile() = f) and
13+
exists(f.getRelativePath())
14+
select f, ""

0 commit comments

Comments
 (0)