Skip to content

Implement MISRA-C clarifications from amendments3, 4, at TC2. #820

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 8 commits into from
Jan 29, 2025
Merged

Implement MISRA-C clarifications from amendments3, 4, at TC2. #820

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
78ae4ce
Implement MISRA-C clarifications from amendments3, 4, at TC2.
MichaelRFairhurst Dec 11, 2024
08fdda9
Regenerate query files
MichaelRFairhurst Dec 11, 2024
a7d2c13
Attempt fix tests
MichaelRFairhurst Dec 13, 2024
b5e5595
Fix deviations report tests
MichaelRFairhurst Dec 13, 2024
ad066bb
Continued attempts to resolve deviations tests
MichaelRFairhurst Dec 13, 2024
bc0a6ac
Merge remote-tracking branch 'origin/main' into michaelrfairhurst/imp…
MichaelRFairhurst Dec 13, 2024
127c604
Address feedback
MichaelRFairhurst Jan 29, 2025
9beb4e3
Merge remote-tracking branch 'origin/main' into michaelrfairhurst/imp…
MichaelRFairhurst Jan 29, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
53 changes: 27 additions & 26 deletions amendments.csv
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,41 +9,42 @@ c,MISRA-C-2012,Amendment3,RULE-10-4,Yes,Refine,No,Import
c,MISRA-C-2012,Amendment3,RULE-10-5,Yes,Expand,No,Easy
c,MISRA-C-2012,Amendment3,RULE-10-7,Yes,Refine,No,Import
c,MISRA-C-2012,Amendment3,RULE-10-8,Yes,Refine,No,Import
c,MISRA-C-2012,Amendment3,RULE-21-11,Yes,Clarification,No,Import
c,MISRA-C-2012,Amendment3,RULE-21-11,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment3,RULE-21-12,Yes,Replace,No,Easy
c,MISRA-C-2012,Amendment4,RULE-11-3,Yes,Expand,No,Easy
c,MISRA-C-2012,Amendment4,RULE-11-8,Yes,Expand,No,Easy
c,MISRA-C-2012,Amendment4,RULE-13-2,Yes,Expand,No,Very Hard
c,MISRA-C-2012,Amendment4,RULE-18-6,Yes,Expand,No,Medium
c,MISRA-C-2012,Amendment4,RULE-18-8,Yes,Split,Yes,Easy
c,MISRA-C-2012,Corrigendum2,RULE-2-2,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-2-7,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-3-1,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-8-6,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-8-9,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-9-4,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-10-1,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-18-3,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-1-4,Yes,Replace,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-9-1,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-9-2,Yes,Refine,No,Import
c,MISRA-C-2012,Corrigendum2,DIR-4-10,Yes,Clarification,No,Import
c,MISRA-C-2012,Amendment4,RULE-2-2,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-2-7,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-3-1,Yes,Refine,No,Easy
c,MISRA-C-2012,Amendment4,RULE-8-6,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-8-9,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-9-4,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-10-1,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-18-3,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Amendment4,RULE-1-4,Yes,Replace,No,Easy
c,MISRA-C-2012,Amendment4,RULE-9-1,Yes,Refine,No,Easy
c,MISRA-C-2012,Amendment4,RULE-9-2,Yes,Refine,No,Import
c,MISRA-C-2012,Corrigendum2,DIR-4-10,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-7-4,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-8-2,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-8-2,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-8-3,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-8-7,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-8-7,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-10-1,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-10-2,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-10-3,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-11-3,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-11-6,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-13-2,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-13-6,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-10-3,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-11-3,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-11-6,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-13-2,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-13-6,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-14-3,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-15-7,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-17-4,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-17-5,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-15-7,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-17-4,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-17-5,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-18-1,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-20-14,No,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-21-19,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-20-14,No,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-21-19,Yes,Clarification,Yes,Import
c,MISRA-C-2012,Corrigendum2,RULE-21-20,Yes,Refine,No,Easy
c,MISRA-C-2012,Corrigendum2,RULE-22-9,Yes,Clarification,No,Import
c,MISRA-C-2012,Corrigendum2,RULE-22-9,Yes,Clarification,Yes,Import
2 changes: 1 addition & 1 deletion rule_packages/c/Banned.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,7 @@
},
"RULE-21-11": {
"properties": {
"obligation": "required"
"obligation": "advisory"
},
"queries": [
{
Expand Down
2 changes: 1 addition & 1 deletion rule_packages/c/Contracts6.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
"MISRA-C-2012": {
"RULE-17-5": {
"properties": {
"obligation": "advisory"
"obligation": "required"
},
"queries": [
{
Expand Down
2 changes: 1 addition & 1 deletion rule_packages/c/Pointers1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -244,7 +244,7 @@
]
}
],
"title": "The relational operators >, >=, < and <= shall not be applied to objects of pointer type except where they point into the same object"
"title": "The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object"
},
"RULE-18-4": {
"properties": {
Expand Down
2 changes: 1 addition & 1 deletion rule_packages/c/SideEffects1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -166,7 +166,7 @@
},
"RULE-13-6": {
"properties": {
"obligation": "mandatory"
"obligation": "required"
},
"queries": [
{
Expand Down
Loading