Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

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

Sign up
Appearance settings

Commit99a3106

Browse files
committed
Contracts: Add MISRA C 2012 tags
1 parentf1e6f50 commit99a3106

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

‎rule_packages/c/Contracts.json‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,8 @@
3838
"short_name":"CheckMathLibraryFunctionParameters",
3939
"shared_implementation_short_name":"UncheckedRangeDomainPoleErrors",
4040
"tags": [
41-
"correctness"
41+
"correctness",
42+
"external/misra/c/2012/third-edition-first-revision"
4243
],
4344
"implementation_scope": {
4445
"description":"This query identifies possible domain, pole and range errors on a selection of C standard library fuctions from math.h."
@@ -61,7 +62,8 @@
6162
"short_name":"FunctionErrorInformationUntested",
6263
"shared_implementation_short_name":"FunctionErroneousReturnValueNotTested",
6364
"tags": [
64-
"maintainability"
65+
"maintainability",
66+
"external/misra/c/2012/third-edition-first-revision"
6567
],
6668
"implementation_scope": {
6769
"description":"This query enforces checking on some C standard library functions that may return error codes."

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp