hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #15211 from owen-mc/go/redefine-successfully-extracted-files

Browse Source 
Go: report any extracted file as successfully extracted
This commit is contained in:
Owen Mansel-Chan
2024-01-03 16:07:09 +00:00
committed by GitHub
parent 14cffc3170 13b00bae17
commit 697aa609f4
3 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/lib/change-notes/2024-01-02-go-successfully-extracted.md Normal file
View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* The diagnostic query `go/diagnostics/successfully-extracted-files`, and therefore the Code Scanning UI measure of scanned Go files, now considers any Go file seen during extraction, even one with some errors, to be extracted / scanned.

8
go/ql/src/Diagnostics/SuccessfullyExtractedFiles.ql
View File

@@ -1,7 +1,7 @@
/**
* @id go/diagnostics/successfully-extracted-files
* @name Successfully analyzed files
* @description List all files that were successfully extracted.
* @name Extracted files
* @description List all files that were extracted.
* @kind diagnostic
* @tags successfully-extracted-files
*/
@@ -9,7 +9,5 @@
import go
from File f
where
not exists(Error e | e.getFile() = f) and
exists(f.getRelativePath())
where exists(f.getRelativePath())
select f, ""

2
go/ql/test/query-tests/Diagnostics/SuccessfullyExtractedFiles.expected
View File

@@ -1,2 +1,4 @@
| ../../go.mod:0:0:0:0 | ../../go.mod | |
| badimport.go:0:0:0:0 | badimport.go | |
| type.go:0:0:0:0 | type.go | |
| util.go:0:0:0:0 | util.go | |