DAC MISRA C:2012 Compliance Matrix

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 support is implemented.
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 impleemnted.
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