Skip to content

Commit 18ccd06

Browse files
felickzfelickz
committed
Enhance CERT rules with priority and level tags
1 parent 70f0077 commit 18ccd06

File tree

115 files changed

+233
-3
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

115 files changed

+233
-3
lines changed

‎c/cert/src/rules/ARR30-C/DoNotFormOutOfBoundsPointersOrArraySubscripts.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* security
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p9
14+
* external/cert/level/l2
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/ARR32-C/VariableLengthArraySizeNotInValidRange.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* security
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p6
14+
* external/cert/level/l2
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/ARR36-C/DoNotRelatePointersThatDoNotReferToTheSameArray.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/arr36-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ARR36-C/DoNotSubtractPointersThatDoNotReferToTheSameArray.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/arr36-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ARR37-C/DoNotUsePointerArithmeticOnNonArrayObjectPointers.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/arr37-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ARR38-C/LibraryFunctionArgumentOutOfBounds.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* security
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p18
14+
* external/cert/level/l1
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/ARR39-C/DoNotAddOrSubtractAScaledIntegerToAPointer.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/arr39-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p6
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/CON30-C/CleanUpThreadSpecificStorage.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p4
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON31-C/DoNotAllowAMutexToGoOutOfScopeWhileLocked.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p4
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON31-C/DoNotDestroyAMutexWhileItIsLocked.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* correctness
1010
* concurrency
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p4
13+
* external/cert/level/l3
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/CON32-C/PreventDataRacesWithMultipleThreads.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p8
14+
* external/cert/level/l2
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON33-C/RaceConditionsWhenUsingLibraryFunctions.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* correctness
1010
* concurrency
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p4
13+
* external/cert/level/l3
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/CON34-C/AppropriateThreadObjectStorageDurations.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p4
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON34-C/ThreadObjectStorageDurationsNotInitialized.ql

+2
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@
1111
* correctness
1212
* concurrency
1313
* external/cert/obligation/rule
14+
* external/cert/priority/p4
15+
* external/cert/level/l3
1416
*/
1517

1618
import cpp

‎c/cert/src/rules/CON35-C/DeadlockByLockingInPredefinedOrder.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p4
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON36-C/WrapFunctionsThatCanSpuriouslyWakeUpInLoop.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p2
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON37-C/DoNotCallSignalInMultithreadedProgram.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p6
14+
* external/cert/level/l2
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON38-C/PreserveSafetyWhenUsingConditionVariables.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p2
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON39-C/ThreadWasPreviouslyJoinedOrDetached.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p6
14+
* external/cert/level/l2
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON40-C/AtomicVariableTwiceInExpression.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p8
14+
* external/cert/level/l2
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/CON41-C/WrapFunctionsThatCanFailSpuriouslyInLoop.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* correctness
1111
* concurrency
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p2
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/DCL30-C/AppropriateStorageDurationsFunctionReturn.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/dcl30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p6
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/DCL30-C/AppropriateStorageDurationsStackAdressEscape.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/dcl30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p6
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/DCL31-C/DeclareIdentifiersBeforeUsingThem.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* correctness
1010
* readability
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p3
13+
* external/cert/level/l3
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/DCL37-C/DoNotDeclareOrDefineAReservedIdentifier.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* maintainability
1111
* readability
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p3
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/DCL38-C/DeclaringAFlexibleArrayMember.ql

+2
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@
1111
* maintainability
1212
* readability
1313
* external/cert/obligation/rule
14+
* external/cert/priority/p3
15+
* external/cert/level/l3
1416
*/
1517

1618
import cpp

‎c/cert/src/rules/DCL39-C/InformationLeakageAcrossTrustBoundariesC.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/dcl39-c
1010
* security
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p1
13+
* external/cert/level/l3
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/DCL40-C/ExcessLengthNamesIdentifiersNotDistinct.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* maintainability
1111
* readability
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p2
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/DCL40-C/IncompatibleFunctionDeclarations.ql

+2
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@
1212
* maintainability
1313
* readability
1414
* external/cert/obligation/rule
15+
* external/cert/priority/p2
16+
* external/cert/level/l3
1517
*/
1618

1719
import cpp

‎c/cert/src/rules/DCL40-C/IncompatibleObjectDeclarations.ql

+2
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@
1111
* maintainability
1212
* readability
1313
* external/cert/obligation/rule
14+
* external/cert/priority/p2
15+
* external/cert/level/l3
1416
*/
1517

1618
import cpp

‎c/cert/src/rules/DCL41-C/VariablesInsideSwitchStatement.ql

+2
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,8 @@
1111
* maintainability
1212
* readability
1313
* external/cert/obligation/rule
14+
* external/cert/priority/p4
15+
* external/cert/level/l3
1416
*/
1517

1618
import cpp

‎c/cert/src/rules/ENV30-C/DoNotModifyTheReturnValueOfCertainFunctions.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/env30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p4
13+
* external/cert/level/l3
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ENV31-C/EnvPointerIsInvalidAfterCertainOperations.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/env31-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p4
13+
* external/cert/level/l3
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ENV32-C/ExitHandlersMustReturnNormally.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/env32-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p12
13+
* external/cert/level/l1
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ENV33-C/DoNotCallSystem.ql

+2
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
* @tags external/cert/id/env33-c
99
* security
1010
* external/cert/obligation/rule
11+
* external/cert/priority/p12
12+
* external/cert/level/l1
1113
*/
1214

1315
import cpp

‎c/cert/src/rules/ENV34-C/DoNotStorePointersReturnedByEnvFunctions.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* @tags external/cert/id/env34-c
1111
* correctness
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p4
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/ENV34-C/DoNotStorePointersReturnedByEnvironmentFunWarn.ql

+2
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@
1010
* @tags external/cert/id/env34-c
1111
* correctness
1212
* external/cert/obligation/rule
13+
* external/cert/priority/p4
14+
* external/cert/level/l3
1315
*/
1416

1517
import cpp

‎c/cert/src/rules/ERR30-C/ErrnoNotSetToZero.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/err30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ERR30-C/ErrnoReadBeforeReturn.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/err30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ERR30-C/FunctionCallBeforeErrnoCheck.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/err30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/ERR30-C/SetlocaleMightSetErrno.ql

+2
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
* @tags external/cert/id/err30-c
99
* correctness
1010
* external/cert/obligation/rule
11+
* external/cert/priority/p8
12+
* external/cert/level/l2
1113
*/
1214

1315
import cpp

‎c/cert/src/rules/ERR32-C/DoNotRelyOnIndeterminateValuesOfErrno.ql

+2
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
* @tags external/cert/id/err32-c
99
* correctness
1010
* external/cert/obligation/rule
11+
* external/cert/priority/p3
12+
* external/cert/level/l3
1113
*/
1214

1315
import cpp

‎c/cert/src/rules/ERR33-C/DetectAndHandleStandardLibraryErrors.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/err33-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p18
13+
* external/cert/level/l1
1214
*/
1315

1416
import cpp

‎c/cert/src/rules/EXP30-C/DependenceOnOrderOfFunctionArgumentsForSideEffects.ql

+2
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,8 @@
99
* @tags external/cert/id/exp30-c
1010
* correctness
1111
* external/cert/obligation/rule
12+
* external/cert/priority/p8
13+
* external/cert/level/l2
1214
*/
1315

1416
import cpp

0 commit comments

Comments
 (0)