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

calumgrant · calumgrant · commit 75c19e399141 · 2019-05-21T21:22:50.000+01:00
diff --git a/csharp/ql/src/Diagnostics/CompilerError.ql b/csharp/ql/src/Diagnostics/CompilerError.ql
@@ -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()
diff --git a/csharp/ql/src/Diagnostics/CompilerMessage.ql b/csharp/ql/src/Diagnostics/CompilerMessage.ql
@@ -0,0 +1,16 @@
+/**
+ * @name Compilation message
+ * @description A message emitted by the compiler.
+ * @kind problem
+ * @problem.severity recommendation
+ * @precision medium
+ * @id cs/compilation-warning
+ * @tags internal
+ */
+
+import csharp
+import semmle.code.csharp.commons.Diagnostics
+
+from Diagnostic diagnostic
+select diagnostic,
+  diagnostic.getSeverityText() + " " + diagnostic.getTag() + " " + diagnostic.getFullMessage()
diff --git a/csharp/ql/src/Diagnostics/ExtractorError.ql b/csharp/ql/src/Diagnostics/ExtractorError.ql
@@ -0,0 +1,20 @@
+/**
+ * @name Extraction error
+ * @description An error message reported by the extractor, limited to those files where there are no
+ *              compilation errors. This indicates a bug or limitation in the extractor, and could lead
+ *              to inaccurate results.
+ * @kind problem
+ * @problem.severity recommendation
+ * @precision medium
+ * @id cs/extraction-error
+ * @tags internal
+ */
+
+import csharp
+import semmle.code.csharp.commons.Diagnostics
+
+from ExtractorError error
+where not exists(CompilerError ce | ce.getLocation().getFile() = error.getLocation().getFile())
+select error,
+  "Unexpected " + error.getOrigin() + " error in element '" + error.getElementText() +
+    "' at location " + error.getStackTrace()
diff --git a/csharp/ql/src/Diagnostics/ExtractorMessage.ql b/csharp/ql/src/Diagnostics/ExtractorMessage.ql
@@ -0,0 +1,17 @@
+/**
+ * @name Extraction message
+ * @description An error message reported by the extractor. This could lead to inaccurate results.
+ * @kind problem
+ * @problem.severity recommendation
+ * @precision medium
+ * @id cs/extraction-message
+ * @tags internal
+ */
+
+import csharp
+import semmle.code.csharp.commons.Diagnostics
+
+from ExtractorMessage message
+select message,
+  message.getSeverityText() + " was generated by " + message.getOrigin() + " in element '" +
+    message.getElementText() + "' at location " + message.getStackTrace()
diff --git a/csharp/ql/src/semmle/code/csharp/commons/Diagnostics.qll b/csharp/ql/src/semmle/code/csharp/commons/Diagnostics.qll
@@ -29,6 +29,17 @@ class Diagnostic extends @diagnostic {
    */
   int getSeverity() { result = severity }
 
+  /** Gets a string representation of the severity of this diagnostic. */
+  string getSeverityText() {
+    severity = 0 and result = "Hidden"
+    or
+    severity = 1 and result = "Info"
+    or
+    severity = 2 and result = "Warning"
+    or
+    severity = 3 and result = "Error"
+  }
+
   /** Gets the identifier of this diagnostic, for example "CS8019". */
   string getTag() { result = tag }
 
diff --git a/csharp/ql/test/library-tests/compilations/CompilerError.expected b/csharp/ql/test/library-tests/compilations/CompilerError.expected
diff --git a/csharp/ql/test/library-tests/compilations/CompilerError.qlref b/csharp/ql/test/library-tests/compilations/CompilerError.qlref
@@ -0,0 +1 @@
+Diagnostics/CompilerError.ql
diff --git a/csharp/ql/test/library-tests/compilations/CompilerMessage.expected b/csharp/ql/test/library-tests/compilations/CompilerMessage.expected
@@ -0,0 +1,3 @@
+| Program.cs:7:13:7:13 | CS0219: The variable 'x' is assigned but its value is never used | Warning CS0219 The variable 'x' is assigned but its value is never used |
+| Program.cs:9:9:9:11 | CS0162: Unreachable code detected | Warning CS0162 Unreachable code detected |
+| Program.cs:9:13:9:13 | CS0219: The variable 'y' is assigned but its value is never used | Warning CS0219 The variable 'y' is assigned but its value is never used |
diff --git a/csharp/ql/test/library-tests/compilations/CompilerMessage.qlref b/csharp/ql/test/library-tests/compilations/CompilerMessage.qlref
@@ -0,0 +1 @@
+Diagnostics/CompilerMessage.ql
diff --git a/csharp/ql/test/library-tests/compilations/ExtractorError.expected b/csharp/ql/test/library-tests/compilations/ExtractorError.expected
diff --git a/csharp/ql/test/library-tests/compilations/ExtractorError.qlref b/csharp/ql/test/library-tests/compilations/ExtractorError.qlref
@@ -0,0 +1 @@
+Diagnostics/ExtractorError.ql
diff --git a/csharp/ql/test/library-tests/compilations/ExtractorMessage.expected b/csharp/ql/test/library-tests/compilations/ExtractorMessage.expected
diff --git a/csharp/ql/test/library-tests/compilations/ExtractorMessage.qlref b/csharp/ql/test/library-tests/compilations/ExtractorMessage.qlref
@@ -0,0 +1 @@
+Diagnostics/ExtractorMessage.ql

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+\| Program.cs:7:13:7:13 \| CS0219: The variable 'x' is assigned but its value is never used \| Warning CS0219 The variable 'x' is assigned but its value is never used \|`
	`2`	`+\| Program.cs:9:9:9:11 \| CS0162: Unreachable code detected \| Warning CS0162 Unreachable code detected \|`
	`3`	`+\| Program.cs:9:13:9:13 \| CS0219: The variable 'y' is assigned but its value is never used \| Warning CS0219 The variable 'y' is assigned but its value is never used \|`