patrick/zephyr
1
0
Fork 0
Code Issues Pull requests Actions 8 Packages Projects Releases Wiki Activity

scripts: coccinelle: Check rule 5.7

Browse source 
This coccinelle script can check some violations for rule 5.7.
It can identify things like:

struct device *device

But it is not capable to identify:

struct test { ... }

...

int test;

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
This commit is contained in:
Flavio Ceolin 2021-03-22 14:46:48 -07:00 committed by Anas Nashif
parent a94c7e3a23
commit 0058c02252
1 changed files with 76 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

76
scripts/coccinelle/same_identifier.cocci Normal file
View file

@ -0,0 +1,76 @@
// Check violations for rule 5.7
// https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_07.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;
@@
(
struct t *v@p;
|
struct t v@p;
|
union t v@p;
)
@ script:python @
t << common_case.t;
v << common_case.v;
p << common_case.p;
@@
msg = "WARNING: Violation to rule 5.7 (Tag name should be unique) tag: {}".format(v)
if t == v:
coccilib.report.print_report(p[0], msg)
@per_type@
type T;
identifier v;
position p;
@@
(
T v@p;
|
T *v@p;
)
@ script:python @
t << per_type.T;
v << per_type.v;
p << per_type.p;
@@
msg = "WARNING: Violation to rule 5.7 (Tag name should be unique) tag: {}".format(v)
if t == v:
coccilib.report.print_report(p[0], msg)
@function_match@
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_match.v;
t << function_match.T2;
p << function_match.p;
@@
msg = "WARNING: Violation to rule 5.7 (Tag name should be unique) tag: {}".format(v)
if v == t.split(" ")[-1]:
coccilib.report.print_report(p[0], msg)