hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 05:05:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Add some basic qhelp. Since these are internal queries, this is probably not needed.

Browse Source
This commit is contained in:
Calum Grant
2019-05-22 10:16:24 +01:00
parent 75c19e3991
commit fc8eccfc6b
6 changed files with 79 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
csharp/ql/src/Diagnostics/CompilerError.qhelp Normal file
View File

@@ -0,0 +1,17 @@
<!DOCTYPE qhelp PUBLIC
"-//Semmle//qhelp//EN"
"qhelp.dtd">
<qhelp>
<overview>
<p>
This is an internal query that finds all compilation errors reported by the C# compiler.</p>
</overview>
<recommendation>
<p>
Fix the cause of the compilation error.
</p>
</recommendation>
</qhelp>

3
csharp/ql/src/Diagnostics/CompilerError.ql
View File

@@ -1,7 +1,6 @@
/**
* @name Compilation error
* @description A compilation error can lead to extraction problems, and may indicate
* a bug in the extractor.
* @description A compilation error can cause extraction problems, and could lead to inaccurate results.
* @kind problem
* @problem.severity recommendation
* @precision medium

19
csharp/ql/src/Diagnostics/CompilerMessage.qhelp Normal file
View File

@@ -0,0 +1,19 @@
<!DOCTYPE qhelp PUBLIC
"-//Semmle//qhelp//EN"
"qhelp.dtd">
<qhelp>
<overview>
<p>
This is an internal query that finds all messages reported by the compiler. This may include both compiler errors and
compiler warnings. Compiler errors can lead to inaccurate results and should be fixed.
</p>
</overview>
<recommendation>
<p>
Fix the cause of the compilation error.
</p>
</recommendation>
</qhelp>

4
csharp/ql/src/Diagnostics/CompilerMessage.ql
View File

@@ -1,10 +1,10 @@
/**
* @name Compilation message
* @description A message emitted by the compiler.
* @description A message emitted by the compiler, including warnings and errors.
* @kind problem
* @problem.severity recommendation
* @precision medium
* @id cs/compilation-warning
* @id cs/compilation-message
* @tags internal
*/

22
csharp/ql/src/Diagnostics/ExtractorError.qhelp Normal file
View File

@@ -0,0 +1,22 @@
<!DOCTYPE qhelp PUBLIC
"-//Semmle//qhelp//EN"
"qhelp.dtd">
<qhelp>
<overview>
<p>
This is an internal query that finds all errors reported by the C# extractor. It excludes results from files containing
compilation errors, because these errors are likely to be caused by the compilation error rather than due to an internal
error in the extractor.
</p>
<p>Extractor errors can lead to inaccurate results.</p>
</overview>
<recommendation>
<p>
Report extractor errors to Semmle.
</p>
</recommendation>
</qhelp>

18
csharp/ql/src/Diagnostics/ExtractorMessage.qhelp Normal file
View File

@@ -0,0 +1,18 @@
<!DOCTYPE qhelp PUBLIC
"-//Semmle//qhelp//EN"
"qhelp.dtd">
<qhelp>
<overview>
<p>
This is an internal query that finds all messages reported by the extractor. These results may include extraction errors
that are caused by compilation errors.
</p>
<p>
Extractor errors can lead to inaccurate results.
</p>
</overview>
<recommendation></recommendation>
</qhelp>