MISRA-C:2012 Compliance Matrix

RistanCASE Logo Development Assistant for C
MISRA-C 2012 Compliance Matrix

  Decidable Undecidable  
  Fully
Supported
Partially
Supported
Not Yet
Checked
  Fully
Supported
Partially
Supported
Not Yet
Checked
  Totals
Mandatory Rules 4 0 0   2 0 4   10
Required Rules 64 2 17   4 2 12   101
Advisory Rules 20 2 6   3 0 1   32
Totals 88 4 23   9 2 17   143

Rule Category Decidable Supported Notes
1.1 req No No
1.2 adv No Yes Rule is not decidable but assistance is provided.
1.3 req No No
2.1 req No No
2.2 req No No
2.3 adv Yes
2.4 adv Partial
2.5 adv Yes
2.6 adv Yes
2.7 adv Yes
3.1 req Partial
3.2 req Yes
4.1 req Yes
4.2 adv Yes
5.1 req Yes
5.2 req Yes
5.3 req Yes
5.4 req Yes
5.5 req Yes
5.6 req Yes Uniqueness is not checked across name spaces.
5.7 req Yes Uniqueness is not checked across name spaces.
5.8 req Yes
5.9 adv Yes Uniqueness is not checked across name spaces.
6.1 req Yes
6.2 req Yes
7.1 req Yes
7.2 req Yes
7.3 req Yes
7.4 req Yes
8.1 req Yes
8.2 req Yes
8.3 req Yes
8.4 req Yes
8.5 req Yes
8.6 req Yes
8.7 adv Yes
8.8 req Yes
8.9 adv Yes
8.10 req Yes
8.11 adv Yes
8.12 req Yes
8.13 adv No Yes Rule deemed not decidable but checking is supported.
8.14 req Yes
9.1 mand No Yes Rule is not decidable but checking is implemented.
9.2 req No
9.3 req No
9.4 req No
9.5 req No
10.1 req No
10.2 req No
10.3 req No
10.4 req No
10.5 adv No
10.6 req No
10.7 req No
10.8 req No
11.1 req Yes
11.2 req Yes
11.3 req Yes
11.4 adv Yes
11.5 adv Yes
11.6 req Yes
11.7 req Yes
11.8 req Yes
11.9 req No
12.1 adv No
12.2 req No No
12.3 adv Yes
12.4 adv No
13.1 req No Partial Rule deemed not decidable but checking is supported.
13.2 req No Yes Rule deemed not decidable but checking is supported.
13.3 adv No
13.4 adv Yes
13.5 req No Yes Rule deemed not decidable but checking is supported.
13.6 mand Yes
14.1 req No Yes Rule is not decidable but assistance is provided.
14.2 req No No
14.3 req No No
14.4 req Yes
15.1 adv Yes
15.2 req Yes
15.3 req No
15.4 adv No
15.5 adv Yes
15.6 req Yes
15.7 req Yes
16.1 req No
16.2 req Yes
16.3 req Yes
16.4 req Yes
16.5 req Yes
16.6 req Yes
16.7 req Yes
17.1 req Partial
17.2 req No Partial Rule deemed not decidable but checking is supported.
17.3 mand Yes
17.4 mand Yes
17.5 adv No No
17.6 mand Yes
17.7 req No
17.8 adv No Yes Rule deemed not decidable but checking is supported.
18.1 req No No
18.2 req No No
18.3 req No No
18.4 adv Yes
18.5 adv Partial
18.6 req No Yes Rule is not decidable but assistance is provided.
18.7 req Yes
18.8 req No
19.1 mand No No
19.2 adv Yes
20.1 adv No
20.2 req Yes
20.3 req Yes
20.4 req Yes
20.5 adv Yes
20.6 req Yes
20.7 req Yes
20.8 req Yes
20.9 req Yes
20.10 adv Yes
20.11 req Yes
20.12 req No
20.13 req Yes Conditionally excluded source code is not checked.
20.14 req Yes
21.1 req Yes
21.2 req Yes
21.3 req Yes
21.4 req Yes
21.5 req Yes
21.6 req Yes
21.7 req Yes
21.8 req Yes
21.9 req Yes
21.10 req Yes
21.11 req Yes
21.12 adv Yes
22.1 req No No
22.2 mand No No
22.3 req No No
22.4 mand No No
22.5 mand No Yes Rule deemed not decidable but checking is supported.
22.6 mand No No