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.
This commit is contained in:
Henry Mercer
2022-10-26 16:28:02 +01:00
committed by GitHub
parent fac383a3ac
commit 4bc8529490

View File

@@ -9,5 +9,6 @@
import go
from File f
where not exists(Error e | e.getFile() = f)
select f.getRelativePath()
where not exists(Error e | e.getFile() = f) and
exists(f.getRelativePath())
select f, ""