mirror of
https://github.com/github/codeql.git
synced 2026-01-07 11:40:27 +01:00
18 lines
516 B
Plaintext
18 lines
516 B
Plaintext
/**
|
|
* @name Extraction message
|
|
* @description An error message reported by the extractor. This could lead to inaccurate results.
|
|
* @kind problem
|
|
* @problem.severity recommendation
|
|
* @precision high
|
|
* @id cs/extraction-message
|
|
* @tags internal non-attributable
|
|
*/
|
|
|
|
import csharp
|
|
import semmle.code.csharp.commons.Diagnostics
|
|
|
|
from ExtractorMessage message
|
|
select message,
|
|
message.getSeverityText() + " was generated by " + message.getOrigin() + ": " + message.getText() +
|
|
"\n" + message.getStackTrace()
|