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
Appearance settings

Commit 6776738

Browse filesBrowse files
lcarteylcartey
committed
DeadCode: Add C DeadCode package description and exclusions files
1 parent 225d24e commit 6776738
Copy full SHA for 6776738

File tree

Expand file treeCollapse file tree

2 files changed

+281
-0
lines changed
Filter options
Expand file treeCollapse file tree

2 files changed

+281
-0
lines changed

‎cpp/common/src/codingstandards/cpp/exclusions/c/DeadCode.qll

Copy file name to clipboard
+129Lines changed: 129 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,129 @@
1+
//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY. **/
2+
import cpp
3+
import RuleMetadata
4+
import codingstandards.cpp.exclusions.RuleMetadata
5+
6+
newtype DeadCodeQuery =
7+
TUnreachableCodeQuery() or
8+
TDeadCodeQuery() or
9+
TUnusedTypeDeclarationsQuery() or
10+
TUnusedTagDeclarationQuery() or
11+
TUnusedMacroDeclarationQuery() or
12+
TUnusedLabelDeclarationQuery() or
13+
TUnusedParameterQuery()
14+
15+
predicate isDeadCodeQueryMetadata(Query query, string queryId, string ruleId, string category) {
16+
query =
17+
// `Query` instance for the `unreachableCode` query
18+
DeadCodePackage::unreachableCodeQuery() and
19+
queryId =
20+
// `@id` for the `unreachableCode` query
21+
"c/misra/unreachable-code" and
22+
ruleId = "RULE-2-1" and
23+
category = "required"
24+
or
25+
query =
26+
// `Query` instance for the `deadCode` query
27+
DeadCodePackage::deadCodeQuery() and
28+
queryId =
29+
// `@id` for the `deadCode` query
30+
"c/misra/dead-code" and
31+
ruleId = "RULE-2-2" and
32+
category = "required"
33+
or
34+
query =
35+
// `Query` instance for the `unusedTypeDeclarations` query
36+
DeadCodePackage::unusedTypeDeclarationsQuery() and
37+
queryId =
38+
// `@id` for the `unusedTypeDeclarations` query
39+
"c/misra/unused-type-declarations" and
40+
ruleId = "RULE-2-3" and
41+
category = "advisory"
42+
or
43+
query =
44+
// `Query` instance for the `unusedTagDeclaration` query
45+
DeadCodePackage::unusedTagDeclarationQuery() and
46+
queryId =
47+
// `@id` for the `unusedTagDeclaration` query
48+
"c/misra/unused-tag-declaration" and
49+
ruleId = "RULE-2-4" and
50+
category = "advisory"
51+
or
52+
query =
53+
// `Query` instance for the `unusedMacroDeclaration` query
54+
DeadCodePackage::unusedMacroDeclarationQuery() and
55+
queryId =
56+
// `@id` for the `unusedMacroDeclaration` query
57+
"c/misra/unused-macro-declaration" and
58+
ruleId = "RULE-2-5" and
59+
category = "advisory"
60+
or
61+
query =
62+
// `Query` instance for the `unusedLabelDeclaration` query
63+
DeadCodePackage::unusedLabelDeclarationQuery() and
64+
queryId =
65+
// `@id` for the `unusedLabelDeclaration` query
66+
"c/misra/unused-label-declaration" and
67+
ruleId = "RULE-2-6" and
68+
category = "advisory"
69+
or
70+
query =
71+
// `Query` instance for the `unusedParameter` query
72+
DeadCodePackage::unusedParameterQuery() and
73+
queryId =
74+
// `@id` for the `unusedParameter` query
75+
"c/misra/unused-parameter" and
76+
ruleId = "RULE-2-7" and
77+
category = "advisory"
78+
}
79+
80+
module DeadCodePackage {
81+
Query unreachableCodeQuery() {
82+
//autogenerate `Query` type
83+
result =
84+
// `Query` type for `unreachableCode` query
85+
TQueryC(TDeadCodePackageQuery(TUnreachableCodeQuery()))
86+
}
87+
88+
Query deadCodeQuery() {
89+
//autogenerate `Query` type
90+
result =
91+
// `Query` type for `deadCode` query
92+
TQueryC(TDeadCodePackageQuery(TDeadCodeQuery()))
93+
}
94+
95+
Query unusedTypeDeclarationsQuery() {
96+
//autogenerate `Query` type
97+
result =
98+
// `Query` type for `unusedTypeDeclarations` query
99+
TQueryC(TDeadCodePackageQuery(TUnusedTypeDeclarationsQuery()))
100+
}
101+
102+
Query unusedTagDeclarationQuery() {
103+
//autogenerate `Query` type
104+
result =
105+
// `Query` type for `unusedTagDeclaration` query
106+
TQueryC(TDeadCodePackageQuery(TUnusedTagDeclarationQuery()))
107+
}
108+
109+
Query unusedMacroDeclarationQuery() {
110+
//autogenerate `Query` type
111+
result =
112+
// `Query` type for `unusedMacroDeclaration` query
113+
TQueryC(TDeadCodePackageQuery(TUnusedMacroDeclarationQuery()))
114+
}
115+
116+
Query unusedLabelDeclarationQuery() {
117+
//autogenerate `Query` type
118+
result =
119+
// `Query` type for `unusedLabelDeclaration` query
120+
TQueryC(TDeadCodePackageQuery(TUnusedLabelDeclarationQuery()))
121+
}
122+
123+
Query unusedParameterQuery() {
124+
//autogenerate `Query` type
125+
result =
126+
// `Query` type for `unusedParameter` query
127+
TQueryC(TDeadCodePackageQuery(TUnusedParameterQuery()))
128+
}
129+
}

‎rule_packages/c/DeadCode.json

Copy file name to clipboard
+152Lines changed: 152 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,152 @@
1+
{
2+
"MISRA-C-2012": {
3+
"RULE-2-1": {
4+
"properties": {
5+
"obligation": "required"
6+
},
7+
"queries": [
8+
{
9+
"description": "Unreachable code complicates the program and can indicate a possible mistake on the part of the programmer.",
10+
"kind": "problem",
11+
"name": "A project shall not contain unreachable code",
12+
"precision": "very-high",
13+
"severity": "warning",
14+
"short_name": "UnreachableCode",
15+
"tags": [
16+
"readability",
17+
"maintainability"
18+
],
19+
"implementation_scope": {
20+
"description": "This query reports ...",
21+
"items": []
22+
},
23+
"shared_implementation_short_name": "UnreachableCode"
24+
}
25+
],
26+
"title": "A project shall not contain unreachable code"
27+
},
28+
"RULE-2-2": {
29+
"properties": {
30+
"obligation": "required"
31+
},
32+
"queries": [
33+
{
34+
"description": "Dead code complicates the program and can indicate a possible mistake on the part of the programmer.",
35+
"kind": "problem",
36+
"name": "There shall be no dead code",
37+
"precision": "very-high",
38+
"severity": "warning",
39+
"short_name": "DeadCode",
40+
"tags": [
41+
"readability",
42+
"maintainability"
43+
],
44+
"shared_implementation_short_name": "DeadCode"
45+
}
46+
],
47+
"title": "There shall be no dead code"
48+
},
49+
"RULE-2-3": {
50+
"properties": {
51+
"obligation": "advisory"
52+
},
53+
"queries": [
54+
{
55+
"description": "Unused type declarations are either redundant or indicate a possible mistake on the part of the programmer.",
56+
"kind": "problem",
57+
"name": "A project should not contain unused type declarations",
58+
"precision": "very-high",
59+
"severity": "warning",
60+
"short_name": "UnusedTypeDeclarations",
61+
"tags": [
62+
"readability",
63+
"maintainability"
64+
],
65+
"shared_implementation_short_name": "UnusedTypeDeclarations"
66+
}
67+
],
68+
"title": "A project should not contain unused type declarations"
69+
},
70+
"RULE-2-4": {
71+
"properties": {
72+
"obligation": "advisory"
73+
},
74+
"queries": [
75+
{
76+
"description": "Unused tag declarations are either redundant or indicate a possible mistake on the part of the programmer.",
77+
"kind": "problem",
78+
"name": "A project should not contain unused tag declarations",
79+
"precision": "very-high",
80+
"severity": "warning",
81+
"short_name": "UnusedTagDeclaration",
82+
"tags": [
83+
"readability",
84+
"maintainability"
85+
]
86+
}
87+
],
88+
"title": "A project should not contain unused tag declarations"
89+
},
90+
"RULE-2-5": {
91+
"properties": {
92+
"obligation": "advisory"
93+
},
94+
"queries": [
95+
{
96+
"description": "Unused macro declarations are either redundant or indicate a possible mistake on the part of the programmer.",
97+
"kind": "problem",
98+
"name": "A project should not contain unused macro declarations",
99+
"precision": "very-high",
100+
"severity": "warning",
101+
"short_name": "UnusedMacroDeclaration",
102+
"tags": [
103+
"readability",
104+
"maintainability"
105+
]
106+
}
107+
],
108+
"title": "A project should not contain unused macro declarations"
109+
},
110+
"RULE-2-6": {
111+
"properties": {
112+
"obligation": "advisory"
113+
},
114+
"queries": [
115+
{
116+
"description": "Unused label declarations are either redundant or indicate a possible mistake on the part of the programmer.",
117+
"kind": "problem",
118+
"name": "A function should not contain unused label declarations",
119+
"precision": "very-high",
120+
"severity": "warning",
121+
"short_name": "UnusedLabelDeclaration",
122+
"tags": [
123+
"readability",
124+
"maintainability"
125+
]
126+
}
127+
],
128+
"title": "A function should not contain unused label declarations"
129+
},
130+
"RULE-2-7": {
131+
"properties": {
132+
"obligation": "advisory"
133+
},
134+
"queries": [
135+
{
136+
"description": "Unused parameters can indicate a mistake when implementing the function.",
137+
"kind": "problem",
138+
"name": "There should be no unused parameters in functions",
139+
"precision": "very-high",
140+
"severity": "warning",
141+
"short_name": "UnusedParameter",
142+
"tags": [
143+
"readability",
144+
"maintainability"
145+
],
146+
"shared_implementation_short_name": "UnusedParameter"
147+
}
148+
],
149+
"title": "There should be no unused parameters in functions"
150+
}
151+
}
152+
}

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.