github
diff --git a/‎c/cert/src/rules/ERR33-C/DetectAndHandleStandardLibraryErrors.md
Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR33-C/DetectAndHandleStandardLibraryErrors.md
+1-1Lines changed: 1 addition & 1 deletion b/‎c/cert/src/rules/ERR33-C/DetectAndHandleStandardLibraryErrors.md
Copy file name to clipboardExpand all lines: c/cert/src/rules/ERR33-C/DetectAndHandleStandardLibraryErrors.md
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎c/cert/test/rules/ERR33-C/test.c
Copy file name to clipboardExpand all lines: c/cert/test/rules/ERR33-C/test.c
+1-1Lines changed: 1 addition & 1 deletion b/‎c/cert/test/rules/ERR33-C/test.c
Copy file name to clipboardExpand all lines: c/cert/test/rules/ERR33-C/test.c
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/common/src/codingstandards/cpp/exclusions/c/Contracts5.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Contracts5.qll
+5-3Lines changed: 5 additions & 3 deletions b/‎cpp/common/src/codingstandards/cpp/exclusions/c/Contracts5.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/Contracts5.qll
+5-3Lines changed: 5 additions & 3 deletions
diff --git a/‎cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll
+1-1Lines changed: 1 addition & 1 deletion b/‎cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll
+1-1Lines changed: 1 addition & 1 deletion
@@ -372,7 +372,7 @@ Independent( ERR33-C, POS54-C, FLP32-C, ERR34-C) Intersection( CWE-252, CWE-253)
 
 ## Implementation notes
 
-None
+The rule is enforced in the context of a single function.
 
 ## References
 
 
@@ -125,7 +125,7 @@ void f4() {
   if (strtoumax("", &endptr, 0) == UINTMAX_MAX) { // COMPLIANT
   }
   if (strtoull("", &endptr, 0) == ULONG_MAX) { // NON_COMPLIANT
-  // =ULLONG_MAX not present in the test DB
+    // =ULLONG_MAX not present in the test DB
   }
   if (strtoul("", &endptr, 0) == ULONG_MAX) { // COMPLIANT
   }
 
@@ -7,22 +7,24 @@ newtype Contracts5Query =
   TDoNotRelyOnIndeterminateValuesOfErrnoQuery() or
   TDetectAndHandleStandardLibraryErrorsQuery()
 
-predicate isContracts5QueryMetadata(Query query, string queryId, string ruleId) {
+predicate isContracts5QueryMetadata(Query query, string queryId, string ruleId, string category) {
   query =
     // `Query` instance for the `doNotRelyOnIndeterminateValuesOfErrno` query
     Contracts5Package::doNotRelyOnIndeterminateValuesOfErrnoQuery() and
   queryId =
     // `@id` for the `doNotRelyOnIndeterminateValuesOfErrno` query
     "c/cert/do-not-rely-on-indeterminate-values-of-errno" and
-  ruleId = "ERR32-C"
+  ruleId = "ERR32-C" and
+  category = "rule"
   or
   query =
     // `Query` instance for the `detectAndHandleStandardLibraryErrors` query
     Contracts5Package::detectAndHandleStandardLibraryErrorsQuery() and
   queryId =
     // `@id` for the `detectAndHandleStandardLibraryErrors` query
     "c/cert/detect-and-handle-standard-library-errors" and
-  ruleId = "ERR33-C"
+  ruleId = "ERR33-C" and
+  category = "rule"
 }
 
 module Contracts5Package {
 
@@ -90,7 +90,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isContracts2QueryMetadata(query, queryId, ruleId, category) or
   isContracts3QueryMetadata(query, queryId, ruleId, category) or
   isContracts4QueryMetadata(query, queryId, ruleId, category) or
-  isContracts5QueryMetadata(query, queryId, ruleId) or
+  isContracts5QueryMetadata(query, queryId, ruleId, category) or
   isDeclarations1QueryMetadata(query, queryId, ruleId, category) or
   isDeclarations2QueryMetadata(query, queryId, ruleId, category) or
   isDeclarations3QueryMetadata(query, queryId, ruleId, category) or
Original file line number	Diff line number	Diff line change
`@@ -125,7 +125,7 @@ void f4() {`
`125`	`125`	`if (strtoumax("", &endptr, 0) == UINTMAX_MAX) { // COMPLIANT`
`126`	`126`	`}`
`127`	`127`	`if (strtoull("", &endptr, 0) == ULONG_MAX) { // NON_COMPLIANT`
`128`		`- // =ULLONG_MAX not present in the test DB`
	`128`	`+ // =ULLONG_MAX not present in the test DB`
`129`	`129`	`}`
`130`	`130`	`if (strtoul("", &endptr, 0) == ULONG_MAX) { // COMPLIANT`
`131`	`131`	`}`