C#: Add internal queries for extractor and compiler diagnostics.

This commit is contained in:
Calum Grant
2019-05-21 18:24:12 +01:00
parent 8cd3cb501a
commit 75c19e3991
13 changed files with 88 additions and 0 deletions

View File

@@ -0,0 +1,17 @@
/**
* @name Compilation error
* @description A compilation error can lead to extraction problems, and may indicate
* a bug in the extractor.
* @kind problem
* @problem.severity recommendation
* @precision medium
* @id cs/compilation-error
* @tags internal
*/
import csharp
import semmle.code.csharp.commons.Diagnostics
from CompilerError diagnostic
select diagnostic,
diagnostic.getSeverityText() + " " + diagnostic.getTag() + " " + diagnostic.getFullMessage()