CPP: Add external/jpl tags.

geoffw0 · geoffw0 · commit 12326943406d · 2018-11-28T18:18:28.000Z
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 03/ExitNonterminatingLoop.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 03/ExitNonterminatingLoop.ql
@@ -5,6 +5,7 @@
  * @id cpp/jpl-c/exit-nonterminating-loop
  * @problem.severity warning
  * @tags correctness
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 03/LoopBounds.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 03/LoopBounds.ql
@@ -6,6 +6,7 @@
  * @id cpp/jpl-c/loop-bounds
  * @problem.severity warning
  * @tags correctness
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 04/Recursion.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 04/Recursion.ql
@@ -7,6 +7,7 @@
  * @tags maintainability
  *       readability
  *       testability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 05/HeapMemory.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 05/HeapMemory.ql
@@ -5,6 +5,7 @@
  * @id cpp/jpl-c/heap-memory
  * @problem.severity recommendation
  * @tags resources
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 07/ThreadSafety.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 07/ThreadSafety.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       concurrency
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 09/AvoidNestedSemaphores.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 09/AvoidNestedSemaphores.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       concurrency
+ *       external/jpl
  */
 
 import Semaphores
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 09/AvoidSemaphores.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 09/AvoidSemaphores.ql
@@ -5,6 +5,7 @@
  * @id cpp/jpl-c/avoid-semaphores
  * @problem.severity recommendation
  * @tags concurrency
+ *       external/jpl
  */
 
 import Semaphores
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 09/OutOfOrderLocks.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 09/OutOfOrderLocks.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       concurrency
+ *       external/jpl
  */
 
 import Semaphores
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 09/ReleaseLocksWhenAcquired.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 09/ReleaseLocksWhenAcquired.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       concurrency
+ *       external/jpl
  */
 
 import Semaphores
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 11/SimpleControlFlowGoto.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 11/SimpleControlFlowGoto.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 11/SimpleControlFlowJmp.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 11/SimpleControlFlowJmp.ql
@@ -7,6 +7,7 @@
  * @tags correctness
  *       portability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-2/Rule 12/EnumInitialization.ql b/cpp/ql/src/JPL_C/LOC-2/Rule 12/EnumInitialization.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 import cpp
 
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 13/ExternDeclsInHeader.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 13/ExternDeclsInHeader.ql
@@ -5,6 +5,7 @@
  * @id cpp/jpl-c/extern-decls-in-header
  * @problem.severity warning
  * @tags maintainability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 13/LimitedScopeFile.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 13/LimitedScopeFile.ql
@@ -7,6 +7,7 @@
  * @precision low
  * @tags maintainability
  *       modularity
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 13/LimitedScopeFunction.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 13/LimitedScopeFunction.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @precision low
  * @tags maintainability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 13/LimitedScopeLocalHidesGlobal.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 13/LimitedScopeLocalHidesGlobal.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 import cpp
 
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 14/CheckingReturnValues.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 14/CheckingReturnValues.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       reliability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 15/CheckingParameterValues.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 15/CheckingParameterValues.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       reliability
+ *       external/jpl
  */
 
 import JPL_C.Tasks
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsConstant.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsConstant.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags maintainability
  *       reliability
+ *       external/jpl
  */
 
 import semmle.code.cpp.commons.Assertions
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsDensity.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsDensity.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       reliability
+ *       external/jpl
  */
 
 import semmle.code.cpp.commons.Assertions
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsNonBoolean.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsNonBoolean.ql
@@ -5,6 +5,7 @@
  * @id cpp/jpl-c/use-of-assertions-non-boolean
  * @problem.severity warning
  * @tags correctness
+ *       external/jpl
  */
 
 import semmle.code.cpp.commons.Assertions
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsSideEffect.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 16/UseOfAssertionsSideEffect.ql
@@ -5,6 +5,7 @@
  * @id cpp/jpl-c/use-of-assertions-side-effect
  * @problem.severity warning
  * @tags correctness
+ *       external/jpl
  */
 
 import semmle.code.cpp.commons.Assertions
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 17/BasicIntTypes.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 17/BasicIntTypes.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 18/CompoundExpressions.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 18/CompoundExpressions.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-3/Rule 19/NoBooleanSideEffects.ql b/cpp/ql/src/JPL_C/LOC-3/Rule 19/NoBooleanSideEffects.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags correctness
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUse.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUse.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUseIfdef.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUseIfdef.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUsePartial.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUsePartial.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUseUndisciplined.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 20/PreprocessorUseUndisciplined.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 21/MacroInBlock.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 21/MacroInBlock.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 22/UseOfUndef.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 22/UseOfUndef.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 23/MismatchedIfdefs.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 23/MismatchedIfdefs.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 24/MultipleStmtsPerLine.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 24/MultipleStmtsPerLine.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 24/MultipleVarDeclsPerLine.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 24/MultipleVarDeclsPerLine.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 25/FunctionSizeLimits.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 25/FunctionSizeLimits.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 26/DeclarationPointerNesting.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 26/DeclarationPointerNesting.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 27/PointerDereferenceInStmt.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 27/PointerDereferenceInStmt.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 28/HiddenPointerDereferenceMacro.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 28/HiddenPointerDereferenceMacro.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 28/HiddenPointerIndirectionTypedef.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 28/HiddenPointerIndirectionTypedef.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 29/NonConstFunctionPointer.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 29/NonConstFunctionPointer.ql
@@ -7,6 +7,7 @@
  * @precision low
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 30/FunctionPointerConversions.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 30/FunctionPointerConversions.ql
@@ -6,6 +6,7 @@
  * @problem.severity warning
  * @precision low
  * @tags correctness
+ *       external/jpl
  */
 
 import cpp
diff --git a/cpp/ql/src/JPL_C/LOC-4/Rule 31/IncludesFirst.ql b/cpp/ql/src/JPL_C/LOC-4/Rule 31/IncludesFirst.ql
@@ -6,6 +6,7 @@
  * @problem.severity recommendation
  * @tags maintainability
  *       readability
+ *       external/jpl
  */
 
 import cpp
