mirror of
https://github.com/github/codeql.git
synced 2026-08-04 01:13:00 +02:00
22 lines
722 B
Plaintext
22 lines
722 B
Plaintext
/**
|
|
* @name Failed extractor invocations
|
|
* @description Gives the command line of compilations for which extraction did not run to completion.
|
|
* @kind diagnostic
|
|
* @id cpp/diagnostics/failed-extractor-invocations
|
|
*/
|
|
|
|
import cpp
|
|
|
|
string describe(Compilation c) {
|
|
if c.getArgument(1) = "--mimic"
|
|
then result = "compiler invocation " + concat(int i | i > 1 | c.getArgument(i), " " order by i)
|
|
else result = "extractor invocation " + concat(int i | | c.getArgument(i), " " order by i)
|
|
}
|
|
|
|
/** Gets the SARIF severity level that indicates an error. */
|
|
private int getErrorSeverity() { result = 2 }
|
|
|
|
from Compilation c
|
|
where not c.normalTermination()
|
|
select "Extraction aborted for " + describe(c), getErrorSeverity()
|