hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 15:55:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Correct extraction errors query to output only errors.

Browse Source
This commit is contained in:
Geoffrey White
2024-10-02 18:29:47 +01:00
parent f30a642c8f
commit ad7c96554f
3 changed files with 3 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/lib/codeql/rust/Diagnostics.qll
View File

@@ -48,9 +48,9 @@ class Diagnostic extends @diagnostic {
string toString() { result = this.getMessage() }
}
/** A diagnostic relating to a particular error in extracting a file. */
/** A diagnostic that is error severity. */
class ExtractionError extends Diagnostic {
ExtractionError() { this.getTag() = "parse_error" }
ExtractionError() { this.getSeverity() = 40 }
}
/** A diagnostic that is warning severity. */

2
rust/ql/src/queries/diagnostics/ExtractionErrors.ql
View File

@@ -8,7 +8,7 @@
import codeql.rust.Diagnostics
import codeql.files.FileSystem
/** Gets the SARIF severity to associate an error. */
/** Gets the SARIF severity to associate with an error. */
int getSeverity() { result = 2 }
from ExtractionError error, File f

6
rust/ql/test/query-tests/diagnostics/ExtractionErrors.expected
View File

@@ -1,6 +0,0 @@
| does_not_compile.rs:2:6:2:5 | expected SEMICOLON | Extraction failed in does_not_compile.rs with error expected SEMICOLON | 2 |
| does_not_compile.rs:2:9:2:8 | expected SEMICOLON | Extraction failed in does_not_compile.rs with error expected SEMICOLON | 2 |
| does_not_compile.rs:2:13:2:12 | expected SEMICOLON | Extraction failed in does_not_compile.rs with error expected SEMICOLON | 2 |
| does_not_compile.rs:2:21:2:20 | expected SEMICOLON | Extraction failed in does_not_compile.rs with error expected SEMICOLON | 2 |
| does_not_compile.rs:2:26:2:25 | expected SEMICOLON | Extraction failed in does_not_compile.rs with error expected SEMICOLON | 2 |
| does_not_compile.rs:2:32:2:31 | expected field name or number | Extraction failed in does_not_compile.rs with error expected field name or number | 2 |