Skip to content

Navigation Menu

Sign in

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Commit 18ccd06

Browse filesBrowse files
felickzfelickz
committed
Enhance CERT rules with priority and level tags
1 parent 70f0077 commit 18ccd06
Copy full SHA for 18ccd06

File tree

115 files changed

+233
-3
lines changed
Filter options

Some content is hidden

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

115 files changed

+233
-3
lines changed

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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR30-C/DoNotFormOutOfBoundsPointersOrArraySubscripts.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR32-C/VariableLengthArraySizeNotInValidRange.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR36-C/DoNotRelatePointersThatDoNotReferToTheSameArray.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR36-C/DoNotSubtractPointersThatDoNotReferToTheSameArray.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR37-C/DoNotUsePointerArithmeticOnNonArrayObjectPointers.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR38-C/LibraryFunctionArgumentOutOfBounds.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ARR39-C/DoNotAddOrSubtractAScaledIntegerToAPointer.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON30-C/CleanUpThreadSpecificStorage.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON31-C/DoNotAllowAMutexToGoOutOfScopeWhileLocked.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON31-C/DoNotDestroyAMutexWhileItIsLocked.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON32-C/PreventDataRacesWithMultipleThreads.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON33-C/RaceConditionsWhenUsingLibraryFunctions.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON34-C/AppropriateThreadObjectStorageDurations.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON34-C/ThreadObjectStorageDurationsNotInitialized.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON35-C/DeadlockByLockingInPredefinedOrder.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON36-C/WrapFunctionsThatCanSpuriouslyWakeUpInLoop.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON37-C/DoNotCallSignalInMultithreadedProgram.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON38-C/PreserveSafetyWhenUsingConditionVariables.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON39-C/ThreadWasPreviouslyJoinedOrDetached.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON40-C/AtomicVariableTwiceInExpression.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/CON41-C/WrapFunctionsThatCanFailSpuriouslyInLoop.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL30-C/AppropriateStorageDurationsFunctionReturn.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL30-C/AppropriateStorageDurationsStackAdressEscape.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL31-C/DeclareIdentifiersBeforeUsingThem.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL37-C/DoNotDeclareOrDefineAReservedIdentifier.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL38-C/DeclaringAFlexibleArrayMember.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL39-C/InformationLeakageAcrossTrustBoundariesC.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL40-C/ExcessLengthNamesIdentifiersNotDistinct.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL40-C/IncompatibleFunctionDeclarations.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL40-C/IncompatibleObjectDeclarations.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/DCL41-C/VariablesInsideSwitchStatement.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ENV30-C/DoNotModifyTheReturnValueOfCertainFunctions.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ENV31-C/EnvPointerIsInvalidAfterCertainOperations.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ENV32-C/ExitHandlersMustReturnNormally.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ENV33-C/DoNotCallSystem.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ENV34-C/DoNotStorePointersReturnedByEnvFunctions.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ENV34-C/DoNotStorePointersReturnedByEnvironmentFunWarn.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR30-C/ErrnoNotSetToZero.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR30-C/ErrnoReadBeforeReturn.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR30-C/FunctionCallBeforeErrnoCheck.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR30-C/SetlocaleMightSetErrno.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR32-C/DoNotRelyOnIndeterminateValuesOfErrno.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR33-C/DetectAndHandleStandardLibraryErrors.ql
+2Lines changed: 2 additions & 0 deletions
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

Copy file name to clipboardExpand all lines: c/cert/src/rules/EXP30-C/DependenceOnOrderOfFunctionArgumentsForSideEffects.ql
+2Lines changed: 2 additions & 0 deletions
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 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.