mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Dmytro Prokopchuk1
b64087397d
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>
117 lines
2.3 KiB
Prolog
117 lines
2.3 KiB
Prolog
-doc_begin="A set of guidelines that are clean or that only have few violations left."
|
|
-enable=MC3A2.D1.1
|
|
-enable=MC3A2.D2.1
|
|
-enable=MC3A2.D4.1
|
|
-enable=MC3A2.D4.3
|
|
-enable=MC3A2.D4.7
|
|
-enable=MC3A2.D4.10
|
|
-enable=MC3A2.D4.11
|
|
-enable=MC3A2.D4.14
|
|
-enable=MC3A2.R1.1
|
|
-enable=MC3A2.R1.3
|
|
-enable=MC3A2.R1.4
|
|
-enable=MC3A2.R2.1
|
|
-enable=MC3A2.R2.6
|
|
-enable=MC3A2.R3.1
|
|
-enable=MC3A2.R3.2
|
|
-enable=MC3A2.R4.1
|
|
-enable=MC3A2.R4.2
|
|
-enable=MC3A2.R5.1
|
|
-enable=MC3A2.R5.2
|
|
-enable=MC3A2.R5.3
|
|
-enable=MC3A2.R5.4
|
|
-enable=MC3A2.R5.5
|
|
-enable=MC3A2.R5.6
|
|
-enable=MC3A2.R6.1
|
|
-enable=MC3A2.R6.2
|
|
-enable=MC3A2.R7.1
|
|
-enable=MC3A2.R7.2
|
|
-enable=MC3A2.R7.3
|
|
-enable=MC3A2.R7.4
|
|
-enable=MC3A2.R8.1
|
|
-enable=MC3A2.R8.2
|
|
-enable=MC3A2.R8.3
|
|
-enable=MC3A2.R8.4
|
|
-enable=MC3A2.R8.5
|
|
-enable=MC3A2.R8.6
|
|
-enable=MC3A2.R8.8
|
|
-enable=MC3A2.R8.10
|
|
-enable=MC3A2.R8.12
|
|
-enable=MC3A2.R8.14
|
|
-enable=MC3A2.R9.2
|
|
-enable=MC3A2.R9.3
|
|
-enable=MC3A2.R9.4
|
|
-enable=MC3A2.R10.1
|
|
-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
|
|
-enable=MC3A2.R12.2
|
|
-enable=MC3A2.R12.5
|
|
-enable=MC3A2.R13.1
|
|
-enable=MC3A2.R13.2
|
|
-enable=MC3A2.R13.6
|
|
-enable=MC3A2.R14.1
|
|
-enable=MC3A2.R14.3
|
|
-enable=MC3A2.R14.4
|
|
-enable=MC3A2.R16.2
|
|
-enable=MC3A2.R16.3
|
|
-enable=MC3A2.R16.4
|
|
-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
|
|
-enable=MC3A2.R20.2
|
|
-enable=MC3A2.R20.3
|
|
-enable=MC3A2.R20.4
|
|
-enable=MC3A2.R20.6
|
|
-enable=MC3A2.R20.7
|
|
-enable=MC3A2.R20.9
|
|
-enable=MC3A2.R20.11
|
|
-enable=MC3A2.R20.12
|
|
-enable=MC3A2.R20.13
|
|
-enable=MC3A2.R20.14
|
|
-enable=MC3A2.R21.3
|
|
-enable=MC3A2.R21.4
|
|
-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
|
|
-enable=MC3A2.R21.20
|
|
-enable=MC3A2.R21.21
|
|
-enable=MC3A2.R22.1
|
|
-enable=MC3A2.R22.2
|
|
-enable=MC3A2.R22.3
|
|
-enable=MC3A2.R22.4
|
|
-enable=MC3A2.R22.5
|
|
-enable=MC3A2.R22.6
|
|
-enable=MC3A2.R22.7
|
|
-enable=MC3A2.R22.8
|
|
-enable=MC3A2.R22.9
|
|
-enable=MC3A2.R22.10
|
|
-doc_end
|