Skip to content

Commit bd54fa6

Browse files
lcarteylcartey
committed
Add Conversions2 package
1 parent ce43bb9 commit bd54fa6

File tree

3 files changed

+240
-0
lines changed

3 files changed

+240
-0
lines changed

‎cpp/common/src/codingstandards/cpp/exclusions/cpp/Conversions2.qll‎

Lines changed: 112 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,112 @@
1+
//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY. **/
2+
import cpp
3+
import RuleMetadata
4+
import codingstandards.cpp.exclusions.RuleMetadata
5+
6+
newtype Conversions2Query =
7+
TVirtualBaseClassCastToDerivedQuery() or
8+
TNoCStyleOrFunctionalCastsQuery() or
9+
TIntToPointerCastProhibitedQuery() or
10+
TNoPointerToIntegralCastQuery() or
11+
TPointerToIntegralCastQuery() or
12+
TNoStandaloneTypeCastExpressionQuery()
13+
14+
predicate isConversions2QueryMetadata(Query query, string queryId, string ruleId, string category) {
15+
query =
16+
// `Query` instance for the `virtualBaseClassCastToDerived` query
17+
Conversions2Package::virtualBaseClassCastToDerivedQuery() and
18+
queryId =
19+
// `@id` for the `virtualBaseClassCastToDerived` query
20+
"cpp/misra/virtual-base-class-cast-to-derived" and
21+
ruleId = "RULE-8-2-1" and
22+
category = "required"
23+
or
24+
query =
25+
// `Query` instance for the `noCStyleOrFunctionalCasts` query
26+
Conversions2Package::noCStyleOrFunctionalCastsQuery() and
27+
queryId =
28+
// `@id` for the `noCStyleOrFunctionalCasts` query
29+
"cpp/misra/no-c-style-or-functional-casts" and
30+
ruleId = "RULE-8-2-2" and
31+
category = "required"
32+
or
33+
query =
34+
// `Query` instance for the `intToPointerCastProhibited` query
35+
Conversions2Package::intToPointerCastProhibitedQuery() and
36+
queryId =
37+
// `@id` for the `intToPointerCastProhibited` query
38+
"cpp/misra/int-to-pointer-cast-prohibited" and
39+
ruleId = "RULE-8-2-6" and
40+
category = "required"
41+
or
42+
query =
43+
// `Query` instance for the `noPointerToIntegralCast` query
44+
Conversions2Package::noPointerToIntegralCastQuery() and
45+
queryId =
46+
// `@id` for the `noPointerToIntegralCast` query
47+
"cpp/misra/no-pointer-to-integral-cast" and
48+
ruleId = "RULE-8-2-7" and
49+
category = "advisory"
50+
or
51+
query =
52+
// `Query` instance for the `pointerToIntegralCast` query
53+
Conversions2Package::pointerToIntegralCastQuery() and
54+
queryId =
55+
// `@id` for the `pointerToIntegralCast` query
56+
"cpp/misra/pointer-to-integral-cast" and
57+
ruleId = "RULE-8-2-8" and
58+
category = "required"
59+
or
60+
query =
61+
// `Query` instance for the `noStandaloneTypeCastExpression` query
62+
Conversions2Package::noStandaloneTypeCastExpressionQuery() and
63+
queryId =
64+
// `@id` for the `noStandaloneTypeCastExpression` query
65+
"cpp/misra/no-standalone-type-cast-expression" and
66+
ruleId = "RULE-9-2-1" and
67+
category = "required"
68+
}
69+
70+
module Conversions2Package {
71+
Query virtualBaseClassCastToDerivedQuery() {
72+
//autogenerate `Query` type
73+
result =
74+
// `Query` type for `virtualBaseClassCastToDerived` query
75+
TQueryCPP(TConversions2PackageQuery(TVirtualBaseClassCastToDerivedQuery()))
76+
}
77+
78+
Query noCStyleOrFunctionalCastsQuery() {
79+
//autogenerate `Query` type
80+
result =
81+
// `Query` type for `noCStyleOrFunctionalCasts` query
82+
TQueryCPP(TConversions2PackageQuery(TNoCStyleOrFunctionalCastsQuery()))
83+
}
84+
85+
Query intToPointerCastProhibitedQuery() {
86+
//autogenerate `Query` type
87+
result =
88+
// `Query` type for `intToPointerCastProhibited` query
89+
TQueryCPP(TConversions2PackageQuery(TIntToPointerCastProhibitedQuery()))
90+
}
91+
92+
Query noPointerToIntegralCastQuery() {
93+
//autogenerate `Query` type
94+
result =
95+
// `Query` type for `noPointerToIntegralCast` query
96+
TQueryCPP(TConversions2PackageQuery(TNoPointerToIntegralCastQuery()))
97+
}
98+
99+
Query pointerToIntegralCastQuery() {
100+
//autogenerate `Query` type
101+
result =
102+
// `Query` type for `pointerToIntegralCast` query
103+
TQueryCPP(TConversions2PackageQuery(TPointerToIntegralCastQuery()))
104+
}
105+
106+
Query noStandaloneTypeCastExpressionQuery() {
107+
//autogenerate `Query` type
108+
result =
109+
// `Query` type for `noStandaloneTypeCastExpression` query
110+
TQueryCPP(TConversions2PackageQuery(TNoStandaloneTypeCastExpressionQuery()))
111+
}
112+
}

‎cpp/common/src/codingstandards/cpp/exclusions/cpp/RuleMetadata.qll‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ import Concurrency
1313
import Conditionals
1414
import Const
1515
import Conversions
16+
import Conversions2
1617
import DeadCode
1718
import Declarations
1819
import ExceptionSafety
@@ -69,6 +70,7 @@ newtype TCPPQuery =
6970
TConditionalsPackageQuery(ConditionalsQuery q) or
7071
TConstPackageQuery(ConstQuery q) or
7172
TConversionsPackageQuery(ConversionsQuery q) or
73+
TConversions2PackageQuery(Conversions2Query q) or
7274
TDeadCodePackageQuery(DeadCodeQuery q) or
7375
TDeclarationsPackageQuery(DeclarationsQuery q) or
7476
TExceptionSafetyPackageQuery(ExceptionSafetyQuery q) or
@@ -125,6 +127,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
125127
isConditionalsQueryMetadata(query, queryId, ruleId, category) or
126128
isConstQueryMetadata(query, queryId, ruleId, category) or
127129
isConversionsQueryMetadata(query, queryId, ruleId, category) or
130+
isConversions2QueryMetadata(query, queryId, ruleId, category) or
128131
isDeadCodeQueryMetadata(query, queryId, ruleId, category) or
129132
isDeclarationsQueryMetadata(query, queryId, ruleId, category) or
130133
isExceptionSafetyQueryMetadata(query, queryId, ruleId, category) or

‎rule_packages/cpp/Conversions2.json‎

Lines changed: 125 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,125 @@
1+
{
2+
"MISRA-C++-2023": {
3+
"RULE-8-2-1": {
4+
"properties": {
5+
"enforcement": "decidable",
6+
"obligation": "required"
7+
},
8+
"queries": [
9+
{
10+
"description": "Casting from a virtual base class to a derived class using anything other than dynamic_cast causes undefined behavior.",
11+
"kind": "problem",
12+
"name": "A virtual base class shall only be cast to a derived class by means of dynamic_cast",
13+
"precision": "very-high",
14+
"severity": "error",
15+
"short_name": "VirtualBaseClassCastToDerived",
16+
"tags": [
17+
"scope/single-translation-unit"
18+
],
19+
"shared_implementation_short_name": "PointerToAVirtualBaseClassCastToAPointer"
20+
}
21+
],
22+
"title": "A virtual base class shall only be cast to a derived class by means of dynamic_cast"
23+
},
24+
"RULE-8-2-2": {
25+
"properties": {
26+
"enforcement": "decidable",
27+
"obligation": "required"
28+
},
29+
"queries": [
30+
{
31+
"description": "Using C-style casts or functional notation casts allows unsafe type conversions and makes code harder to maintain compared to using named casts like const_cast, dynamic_cast, static_cast and reinterpret_cast.",
32+
"kind": "problem",
33+
"name": "C-style casts and functional notation casts shall not be used",
34+
"precision": "very-high",
35+
"severity": "error",
36+
"short_name": "NoCStyleOrFunctionalCasts",
37+
"tags": [
38+
"scope/single-translation-unit"
39+
]
40+
}
41+
],
42+
"title": "C-style casts and functional notation casts shall not be used"
43+
},
44+
"RULE-8-2-6": {
45+
"properties": {
46+
"enforcement": "decidable",
47+
"obligation": "required"
48+
},
49+
"queries": [
50+
{
51+
"description": "Casting from an integral type, enumerated type, or pointer to void type to a pointer type leads to unspecified behavior and is error prone.",
52+
"kind": "problem",
53+
"name": "An object with integral, enumerated, or pointer to void type shall not be cast to a pointer type",
54+
"precision": "very-high",
55+
"severity": "error",
56+
"short_name": "IntToPointerCastProhibited",
57+
"tags": [
58+
"scope/single-translation-unit"
59+
]
60+
}
61+
],
62+
"title": "An object with integral, enumerated, or pointer to void type shall not be cast to a pointer type"
63+
},
64+
"RULE-8-2-7": {
65+
"properties": {
66+
"enforcement": "decidable",
67+
"obligation": "advisory"
68+
},
69+
"queries": [
70+
{
71+
"description": "Casting between pointer types and integral types makes code behavior harder to understand and may cause pointer tracking tools to become unreliable.",
72+
"kind": "problem",
73+
"name": "A cast should not convert a pointer type to an integral type",
74+
"precision": "very-high",
75+
"severity": "error",
76+
"short_name": "NoPointerToIntegralCast",
77+
"tags": [
78+
"scope/single-translation-unit"
79+
]
80+
}
81+
],
82+
"title": "A cast should not convert a pointer type to an integral type"
83+
},
84+
"RULE-8-2-8": {
85+
"properties": {
86+
"enforcement": "decidable",
87+
"obligation": "required"
88+
},
89+
"queries": [
90+
{
91+
"description": "Casting object pointers to integral types other than std::uintptr_t or std::intptr_t can lead to implementation-defined behavior and potential loss of pointer information.",
92+
"kind": "problem",
93+
"name": "An object pointer type shall not be cast to an integral type other than std::uintptr_t or",
94+
"precision": "very-high",
95+
"severity": "error",
96+
"short_name": "PointerToIntegralCast",
97+
"tags": [
98+
"scope/single-translation-unit"
99+
]
100+
}
101+
],
102+
"title": "An object pointer type shall not be cast to an integral type other than std::uintptr_t or std::intptr_t"
103+
},
104+
"RULE-9-2-1": {
105+
"properties": {
106+
"enforcement": "decidable",
107+
"obligation": "required"
108+
},
109+
"queries": [
110+
{
111+
"description": "Using an explicit type conversion as an expression statement creates a temporary object that is immediately discarded, which can lead to unintended premature resource cleanup.",
112+
"kind": "problem",
113+
"name": "An explicit type conversion shall not be an expression statement",
114+
"precision": "very-high",
115+
"severity": "error",
116+
"short_name": "NoStandaloneTypeCastExpression",
117+
"tags": [
118+
"scope/single-translation-unit"
119+
]
120+
}
121+
],
122+
"title": "An explicit type conversion shall not be an expression statement"
123+
}
124+
}
125+
}

0 commit comments

Comments
 (0)