mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
automation/eclair: monitor rules 11.6, 17.2, 18.3, 21.11, 21.14-16
Add MISRA C rules to the monitored set. All these rules are 'accepted' for XEN, have zero or few violations, and should be enabled for the ECLAIR scan. Rule 17.2 is enabled to detect accidental direct recursion. Signed-off-by: Dmytro Prokopchuk <dmytro_prokopchuk1@epam.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org>
This commit is contained in:
Dmytro Prokopchuk1 authored and Stefano Stabellini committed
1 parent
422b6023ed
commit
b64087397d
1 file changed
+8
-1
@@ -45,6 +45,7 @@
|
||||
-enable=MC3A2.R10.2
|
||||
-enable=MC3A2.R11.1
|
||||
-enable=MC3A2.R11.2
|
||||
-enable=MC3A2.R11.6
|
||||
-enable=MC3A2.R11.7
|
||||
-enable=MC3A2.R11.8
|
||||
-enable=MC3A2.R11.9
|
||||
@@ -62,12 +63,14 @@
|
||||
-enable=MC3A2.R16.6
|
||||
-enable=MC3A2.R16.7
|
||||
-enable=MC3A2.R17.1
|
||||
-enable=MC3A2.R17.2
|
||||
-enable=MC3A2.R17.3
|
||||
-enable=MC3A2.R17.4
|
||||
-enable=MC3A2.R17.5
|
||||
-enable=MC3A2.R17.6
|
||||
-enable=MC3A2.R18.1
|
||||
-enable=MC3A2.R18.2
|
||||
-enable=MC3A2.R18.3
|
||||
-enable=MC3A2.R18.6
|
||||
-enable=MC3A2.R18.8
|
||||
-enable=MC3A2.R19.1
|
||||
@@ -83,14 +86,18 @@
|
||||
-enable=MC3A2.R20.14
|
||||
-enable=MC3A2.R21.3
|
||||
-enable=MC3A2.R21.4
|
||||
-enable=MC3A2.R21.6
|
||||
-enable=MC3A2.R21.5
|
||||
-enable=MC3A2.R21.6
|
||||
-enable=MC3A2.R21.7
|
||||
-enable=MC3A2.R21.8
|
||||
-enable=MC3A2.R21.9
|
||||
-enable=MC3A2.R21.10
|
||||
-enable=MC3A2.R21.11
|
||||
-enable=MC3A2.R21.12
|
||||
-enable=MC3A2.R21.13
|
||||
-enable=MC3A2.R21.14
|
||||
-enable=MC3A2.R21.15
|
||||
-enable=MC3A2.R21.16
|
||||
-enable=MC3A2.R21.17
|
||||
-enable=MC3A2.R21.18
|
||||
-enable=MC3A2.R21.19
|
||||
|
||||