scripts: coccinelle: Check rule 21.2
This coccinelle script can check some violations for rule 21.2.
Currently it is checking the follow reserved names:
"remove", "rewind", "malloc", "free", "exp", "signal"
It can easily be extended in the future though.
Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
Rebnase
diff --git a/scripts/coccinelle/reserved_names.cocci b/scripts/coccinelle/reserved_names.cocci
new file mode 100644
index 0000000..688b3a9
--- /dev/null
+++ b/scripts/coccinelle/reserved_names.cocci
@@ -0,0 +1,86 @@
+// Check violations for rule 5.7
+// https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_02.c
+//
+// Confidence: Moderate
+// Copyright: (C) 2020 Intel Corporation
+//
+// SPDX-License-Identifier: Apache-2.0
+
+virtual report
+
+@initialize:python@
+@@
+
+@common_case@
+position p;
+identifier t, v;
+expression E;
+type T;
+@@
+(
+struct t *v@p;
+|
+struct t v@p;
+|
+union t v@p;
+|
+T v@p;
+|
+T *v@p;
+|
+struct t *v@p = E;
+|
+struct t v@p = E;
+|
+union t v@p = E;
+|
+T v@p = E;
+|
+T *v@p = E;
+)
+
+@ script:python @
+v << common_case.v;
+p << common_case.p;
+@@
+
+msg = "WARNING: Violation to rule 21.2 (Should not used a reserved identifier) - {}".format(v)
+if v in ["remove", "rewind", "malloc", "free", "exp", "signal"]:
+ coccilib.report.print_report(p[0], msg)
+
+@function_match@
+type T;
+identifier f;
+position p;
+@@
+T f@p(...) {
+...
+}
+
+@ script:python @
+v << function_match.f;
+@@
+
+msg = "WARNING: Violation to rule 21.2 (Should not used a reserved identifier) - {}".format(v)
+if v in ["remove", "rewind", "malloc", "free", "exp", "signal"]:
+ coccilib.report.print_report(p[0], msg)
+
+@function_parameter@
+type T1, T2;
+identifier function, v;
+position p;
+parameter list[n] P1;
+parameter list[n1] P2;
+@@
+T1 function(P1, T2 *v@p, P2) {
+...
+}
+
+@ script:python @
+v << function_parameter.v;
+p << function_parameter.p;
+@@
+
+msg = "WARNING: Violation to rule 21.2 (Should not used a reserved identifier) - {}".format(v)
+if v in ["remove", "rewind", "malloc", "free", "exp", "signal"]:
+ coccilib.report.print_report(p[0], msg)
