Skip to content

Commit 21500b8

Browse files
committed
Add exclusion for Memory1.qll
1 parent 4d2bc8b commit 21500b8

File tree

1 file changed

+26
-0
lines changed
  • cpp/common/src/codingstandards/cpp/exclusions/cpp

1 file changed

+26
-0
lines changed
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY. **/
2+
import cpp
3+
import RuleMetadata
4+
import codingstandards.cpp.exclusions.RuleMetadata
5+
6+
newtype Memory1Query = TPointerArithmeticFormsAnInvalidPointerQuery()
7+
8+
predicate isMemory1QueryMetadata(Query query, string queryId, string ruleId, string category) {
9+
query =
10+
// `Query` instance for the `pointerArithmeticFormsAnInvalidPointer` query
11+
Memory1Package::pointerArithmeticFormsAnInvalidPointerQuery() and
12+
queryId =
13+
// `@id` for the `pointerArithmeticFormsAnInvalidPointer` query
14+
"cpp/misra/pointer-arithmetic-forms-an-invalid-pointer" and
15+
ruleId = "RULE-8-7-1" and
16+
category = "required"
17+
}
18+
19+
module Memory1Package {
20+
Query pointerArithmeticFormsAnInvalidPointerQuery() {
21+
//autogenerate `Query` type
22+
result =
23+
// `Query` type for `pointerArithmeticFormsAnInvalidPointer` query
24+
TQueryCPP(TMemory1PackageQuery(TPointerArithmeticFormsAnInvalidPointerQuery()))
25+
}
26+
}

0 commit comments

Comments
 (0)