mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
18 lines
464 B
Plaintext
18 lines
464 B
Plaintext
import cpp
|
|
import Diagnostics.ExtractionProblems
|
|
|
|
string describe(File f) {
|
|
exists(ExtractionProblem e | e.getFile() = f |
|
|
result = "ExtractionProblem (severity " + e.getSeverity().toString() + ")"
|
|
)
|
|
or
|
|
f.fromSource() and result = "fromSource"
|
|
or
|
|
exists(Compilation c | c.getAFileCompiled() = f |
|
|
(c.normalTermination() and result = "normalTermination")
|
|
)
|
|
}
|
|
|
|
from File f
|
|
select f, concat(f.getRelativePath(), ", "), concat(describe(f), ", ")
|