From dc85b395b0f9ff06dbf787c2365b09876ed29662 Mon Sep 17 00:00:00 2001
From: Anas Nashif <anas.nashif@intel.com>
Date: Sat, 27 Jun 2020 09:21:48 -0400
Subject: [PATCH] doc: add coding guidelines

Add the coding guidelines agreed upon by the project TSC with a
description of the staged approach needed to implement them

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
---
 doc/guides/coding_guidelines/index.rst | 786 +++++++++++++++++++++++++
 doc/guides/index.rst                   |   1 +
 2 files changed, 787 insertions(+)
 create mode 100644 doc/guides/coding_guidelines/index.rst

diff --git a/doc/guides/coding_guidelines/index.rst b/doc/guides/coding_guidelines/index.rst
new file mode 100644
index 000000000000..d00e174e71db
--- /dev/null
+++ b/doc/guides/coding_guidelines/index.rst
@@ -0,0 +1,786 @@
+.. _coding_guidelines_misra:
+
+Coding Guidelines
+#################
+
+The project TSC and the Safety Committee of the project agreed to implement
+a staged and incremental approach for complying with a set of coding rules (AKA
+Coding Guidelines) to improve quality and consistency of the code base. Below
+are the agreed upon stages and the approximate timelines:
+
+Stage I
+  Coding guideline rules are available to be followed and referenced,
+  but not enforced. Rules are not yet enforced in CI and pull-requests cannot be
+  blocked by reviewers/approvers due to violations.
+
+Stage II
+  Begin enforcement on a limited scope of the code base. Initially this would be
+  the safety certification scope. For rules easily applied across codebase, we
+  should not limit compliance to initial scope. This step requires tooling and
+  CI setup.
+  This stage will begin during the 2.4 development cycle and end with the Zephyr
+  LTS2 (2.6) to achieve and LTS2 that is ready for certification.
+
+Stage III
+  Revisit the coding guideline and based on experience from previous stages,
+  refine/iterate on selected rules. This stage is to start after LTS2.
+
+Stage IV
+   Expand enforcement to the wider codebase. Exceptions may be granted on some
+   areas of the codebase with a proper justification. Exception would require
+   TSC approval.
+
+.. note::
+
+    Coding guideline rules may be removed/changed at any time by filing a
+    GH issue/RFC.
+
+The coding guideline is based on MISRA-C 2012 and is a subset of MISRA-C. The
+subset is listed in the table below with a summary of the rules, its severity
+and the equivlent rules from other standards for reference.
+
+.. note::
+
+    For existing Zephyr maintainers and collaborators, if you are unable to obtain
+    a copy through your employer, a limited number of copies will be made available
+    through the project. If you need a copy of MISRA-C 2012, please send email to
+    safety@lists.zephyrproject.org and provide details on reason why you can't
+    obtain one through other options and expected contributions once you have one.
+    The safety committee will review all requests.
+
+
+.. list-table:: Rules
+    :header-rows: 1
+
+    * -  MISRA C 2012
+      -  Severity
+      -  Description
+      -  CERT C
+      -  Example
+    * -  Dir 1.1
+      -  Required
+      -  Any implementation-defined behaviour on which the output of the program depends shall be documented and understood
+      -  `MSC09-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152154/>`_
+      -  `Dir 1.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_01_01.c>`_
+    * -  Dir 2.1
+      -  Required
+      -  All source files shall compile without any compilation errors
+      -  N/A
+      -  `Dir 2.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_02_01.c>`_
+    * -  Dir 3.1
+      -  Required
+      -  All code shall be traceable to documented requirements
+      -  N/A
+      -  `Dir 3.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_03_01.c>`_
+    * -  Dir 4.1
+      -  Required
+      -  Run-time failures shall be minimized
+      -  N/A
+      -  `Dir 4.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_01.c>`_
+    * -  Dir 4.10
+      -  Required
+      -  Precautions shall be taken in order to prevent the contents of a header file being included more than once
+      -  `PRE06-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152155/>`_
+      -  `Dir 4.10 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_10.c>`_
+    * -  Dir 4.11
+      -  Required
+      -  The validity of values passed to library functions shall be checked
+      -  N/A
+      -  `Dir 4.11 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_11.c>`_
+    * -  Dir 4.12
+      -  Required
+      -  Dynamic memory allocation shall not be used
+      -  `STR01-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152414/>`_
+      -  `Dir 4.12 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_12.c>`_
+    * -  Dir 4.13
+      -  Advisory
+      -  Functions which are designed to provide operations on a resource should be called in an appropriate sequence
+      -  N/A
+      -  `Dir 4.13 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_13.c>`_
+    * -  Dir 4.14
+      -  Required
+      -  The validity of values received from external sources shall be checked
+
+      -  N/A
+      -  `Dir 4.14 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_14.c>`_
+    * -  Dir 4.2
+      -  Advisory
+      -  All usage of assembly language should be documented
+      -  N/A
+      -  `Dir 4.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_02.c>`_
+    * -  Dir 4.4
+      -  Advisory
+      -  Sections of code should not be “commented out”
+      -  `MSC04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152275/>`_
+      -  `Dir 4.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_04.c>`_
+    * -  Dir 4.5
+      -  Advisory
+      -  Identifiers in the same name space with overlapping visibility should be typographically unambiguous
+      -  `DCL02-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152407/>`_
+      -  `Dir 4.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_05.c>`_
+    * -  Dir 4.6
+      -  Advisory
+      -  typedefs that indicate size and signedness should be used in place of the basic numerical types
+      -  N/A
+      -  `Dir 4.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_06.c>`_
+    * -  Dir 4.7
+      -  Required
+      -  If a function returns error information, then that error information shall be tested
+      -  N/A
+      -  `Dir 4.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_07.c>`_
+    * -  Dir 4.8
+      -  Advisory
+      -  If a pointer to a structure or union is never dereferenced within a translation unit, then the implementation of the object should be hidden
+      -  `DCL12-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152098/>`_
+      -  `Dir 4.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_08.c>`_
+    * -  Dir 4.9
+      -  Advisory
+      -  A function should be used in preference to a function-like macro where they are interchangeable
+      -  `PRE00-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152416/>`_
+      -  `Dir 4.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_09.c>`_
+    * -  Rule 1.2
+      -  Advisory
+      -  Language extensions should not be used
+      -  `MSC04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152275/>`_
+      -  `Rule 1.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_01_02.c>`_
+    * -  Rule 1.3
+      -  Required
+      -  There shall be no occurrence of undefined or critical unspecified behaviour
+      -  N/A
+      -  `Rule 1.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_01_03.c>`_
+    * -  Rule 10.1
+      -  Required
+      -  Operands shall not be of an inappropriate essential type
+      -  `STR04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152350/>`_
+      -  `Rule 10.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_01.c>`_
+    * -  Rule 10.2
+      -  Required
+      -  Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations
+      -  `STR04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152350/>`_
+      -  `Rule 10.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_02.c>`_
+    * -  Rule 10.3
+      -  Required
+      -  The value of an expression shall not be assigned to an object with a narrower essential type or of a dierent essential type category
+      -  `STR04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152350/>`_
+      -  `Rule 10.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_03.c>`_
+    * -  Rule 10.4
+      -  Required
+      -  Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category
+      -  `STR04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152350/>`_
+      -  `Rule 10.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_04.c>`_
+    * -  Rule 10.5
+      -  Advisory
+      -  The value of an expression should not be cast to an inappropriate essential type
+      -  N/A
+      -  `Rule 10.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_05.c>`_
+    * -  Rule 10.6
+      -  Required
+      -  The value of a composite expression shall not be assigned to an object with wider essential type
+      -  `INT02-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152206/>`_
+      -  `Rule 10.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_06.c>`_
+    * -  Rule 10.7
+      -  Required
+      -  If a composite expression is used as one operand of an operator in which the usual arithmetic conversions are performed then the other operand shall not have wider essential type
+      -  `INT02-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152206/>`_
+      -  `Rule 10.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_07.c>`_
+    * -  Rule 10.8
+      -  Required
+      -  The value of a composite expression shall not be cast to a different essential type category or a wider essential type
+      -  `INT02-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152206/>`_
+      -  `Rule 10.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_10_08.c>`_
+    * -  Rule 11.2
+      -  Required
+      -  Conversions shall not be performed between a pointer to an incomplete type and any other type
+      -  N/A
+      -  `Rule 11.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_02.c>`_
+    * -  Rule 11.6
+      -  Required
+      -  A cast shall not be performed between pointer to void and an arithmetic type
+      -  N/A
+      -  `Rule 11.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_06.c>`_
+    * -  Rule 11.7
+      -  Required
+      -  A cast shall not be performed between pointer to object and a noninteger arithmetic type
+      -  N/A
+      -  `Rule 11.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_07.c>`_
+    * -  Rule 11.8
+      -  Required
+      -  A cast shall not remove any const or volatile qualification from the type pointed to by a pointer
+      -  `EXP05-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152191/>`_
+      -  `Rule 11.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_08.c>`_
+    * -  Rule 11.9
+      -  Required
+      -  The macro NULL shall be the only permitted form of integer null pointer constant
+      -  N/A
+      -  `Rule 11.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_11_09.c>`_
+    * -  Rule 12.1
+      -  Advisory
+      -  The precedence of operators within expressions should be made explicit
+      -  `EXP00-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152225/>`_
+      -  `Rule 12.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_12_01.c>`_
+    * -  Rule 12.2
+      -  Required
+      -  The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand
+      -  N/A
+      -  `Rule 12.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_12_02.c>`_
+    * -  Rule 12.4
+      -  Advisory
+      -  Evaluation of constant expressions should not lead to unsigned integer wrap-around
+      -  N/A
+      -  `Rule 12.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_12_04.c>`_
+    * -  Rule 12.5
+      -  Mandatory
+      -  The sizeof operator shall not have an operand which is a function parameter declared as “array of type”
+      -  N/A
+      -  `Rule 12.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_12_05.c>`_
+    * -  Rule 13.1
+      -  Required
+      -  Initializer lists shall not contain persistent side effects
+      -  N/A
+      -  `Rule 13.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_01.c>`_
+    * -  Rule 13.2
+      -  Required
+      -  The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders
+      -  N/A
+      -  `Rule 13.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_02.c>`_
+    * -  Rule 13.3
+      -  Advisory
+      -  A full expression containing an increment (++) or decrement (--) operator should have no other potential side effects other than that caused by the increment or decrement operator
+      -  N/A
+      -  `Rule 13.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_03.c>`_
+    * -  Rule 13.4
+      -  Advisory
+      -  The result of an assignment operator should not be used
+      -  N/A
+      -  `Rule 13.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_04.c>`_
+    * -  Rule 13.5
+      -  Required
+      -  The right hand operand of a logical && or || operator shall not contain persistent side effects
+      -  `EXP10-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152207/>`_
+      -  `Rule 13.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_05.c>`_
+    * -  Rule 13.6
+      -  Mandatory
+      -  The operand of the sizeof operator shall not contain any expression which has potential side effects
+      -  N/A
+      -  `Rule 13.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_13_06.c>`_
+    * -  Rule 14.1
+      -  Required
+      -  A loop counter shall not have essentially floating type
+      -  N/A
+      -  `Rule 14.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_01.c>`_
+    * -  Rule 14.2
+      -  Required
+      -  A for loop shall be well-formed
+      -  N/A
+      -  `Rule 14.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_02.c>`_
+    * -  Rule 14.3
+      -  Required
+      -  Controlling expressions shall not be invariant
+      -  N/A
+      -  `Rule 14.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_03.c>`_
+    * -  Rule 14.4
+      -  Required
+      -  The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type
+      -  N/A
+      -  `Rule 14.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_14_04.c>`_
+    * -  Rule 15.2
+      -  Required
+      -  The goto statement shall jump to a label declared later in the same function
+      -  N/A
+      -  `Rule 15.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_15_02.c>`_
+    * -  Rule 15.3
+      -  Required
+      -  Any label referenced by a goto statement shall be declared in the same block, or in any block enclosing the goto statement
+      -  N/A
+      -  `Rule 15.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_15_03.c>`_
+    * -  Rule 15.6
+      -  Required
+      -  The body of an iteration-statement or a selection-statement shall be a compound-statement
+      -  `EXP19-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152259/>`_
+      -  `Rule 15.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_15_06.c>`_
+    * -  Rule 15.7
+      -  Required
+      -  All if else if constructs shall be terminated with an else statement
+      -  N/A
+      -  `Rule 15.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_15_07.c>`_
+    * -  Rule 16.1
+      -  Required
+      -  All switch statements shall be well-formed
+      -  N/A
+      -  `Rule 16.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_01.c>`_
+    * -  Rule 16.2
+      -  Required
+      -  A switch label shall only be used when the most closely-enclosing compound statement is the body of a switch statement
+      -  `MSC20-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152333/>`_
+      -  `Rule 16.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_02.c>`_
+    * -  Rule 16.3
+      -  Required
+      -  An unconditional break statement shall terminate every switch-clause
+      -  N/A
+      -  `Rule 16.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_03.c>`_
+    * -  Rule 16.4
+      -  Required
+      -  Every switch statement shall have a default label
+      -  N/A
+      -  `Rule 16.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_04.c>`_
+    * -  Rule 16.5
+      -  Required
+      -  A default label shall appear as either the first or the last switch label of a switch statement
+      -  N/A
+      -  `Rule 16.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_05.c>`_
+    * -  Rule 16.6
+      -  Required
+      -  Every switch statement shall have at least two switch-clauses
+      -  N/A
+      -  `Rule 16.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_06.c>`_
+    * -  Rule 16.7
+      -  Required
+      -  A switch-expression shall not have essentially Boolean type
+      -  N/A
+      -  `Rule 16.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_16_07.c>`_
+    * -  Rule 17.1
+      -  Required
+      -  The features of <stdarg.h> shall not be used
+      -  `ERR00-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152349/>`_
+      -  `Rule 17.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_01.c>`_
+    * -  Rule 17.2
+      -  Required
+      -  Functions shall not call themselves, either directly or indirectly
+      -  `MEM05-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152078/>`_
+      -  `Rule 17.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_02.c>`_
+    * -  Rule 17.3
+      -  Mandatory
+      -  A function shall not be declared implicitly
+      -  N/A
+      -  `Rule 17.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_03.c>`_
+    * -  Rule 17.4
+      -  Mandatory
+      -  All exit paths from a function with non-void return type shall have an explicit return statement with an expression
+      -  N/A
+      -  `Rule 17.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_04.c>`_
+    * -  Rule 17.5
+      -  Advisory
+      -  The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements
+      -  N/A
+      -  `Rule 17.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_05.c>`_
+    * -  Rule 17.6
+      -  Mandatory
+      -  The declaration of an array parameter shall not contain the static keyword between the [ ]
+      -  N/A
+      -  `Rule 17.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_06.c>`_
+    * -  Rule 17.7
+      -  Required
+      -  The value returned by a function having non-void return type shall be used
+      -  N/A
+      -  `Rule 17.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_17_07.c>`_
+    * -  Rule 18.1
+      -  Required
+      -  A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand
+      -  `EXP08-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152126/>`_
+      -  `Rule 18.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_01.c>`_
+    * -  Rule 18.2
+      -  Required
+      -  Subtraction between pointers shall only be applied to pointers that address elements of the same array
+      -  `EXP08-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152126/>`_
+      -  `Rule 18.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_02.c>`_
+    * -  Rule 18.3
+      -  Required
+      -  The relational operators >, >=, < and <= shall not be applied to objects of pointer type except where they point into the same object
+      -  `EXP08-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152126/>`_
+      -  `Rule 18.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_03.c>`_
+    * -  Rule 18.5
+      -  Advisory
+      -  Declarations should contain no more than two levels of pointer nesting
+      -  N/A
+      -  `Rule 18.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_05.c>`_
+    * -  Rule 18.6
+      -  Required
+      -  The address of an object with automatic storage shall not be copied to another object that persists after the first object has ceased to exist
+      -  N/A
+      -  `Rule 18.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_06.c>`_
+    * -  Rule 18.8
+      -  Required
+      -  Variable-length array types shall not be used
+      -  N/A
+      -  `Rule 18.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_18_08.c>`_
+    * -  Rule 19.1
+      -  Mandatory
+      -  An object shall not be assigned or copied to an overlapping object
+      -  N/A
+      -  `Rule 19.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_19_01.c>`_
+    * -  Rule 2.1
+      -  Required
+      -  A project shall not contain unreachable code
+      -  `MSC07-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152362/>`_
+      -  `Rule 2.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_01.c>`_
+    * -  Rule 2.2
+      -  Required
+      -  There shall be no dead code
+      -  `MSC12-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152101/>`_
+      -  `Rule 2.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_02.c>`_
+    * -  Rule 2.3
+      -  Advisory
+      -  A project should not contain unused type declarations
+      -  N/A
+      -  `Rule 2.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_03.c>`_
+    * -  Rule 2.6
+      -  Advisory
+      -  A function should not contain unused label declarations
+      -  N/A
+      -  `Rule 2.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_06.c>`_
+    * -  Rule 2.7
+      -  Advisory
+      -  There should be no unused parameters in functions
+      -  N/A
+      -  `Rule 2.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_02_07.c>`_
+    * -  Rule 20.11
+      -  Required
+      -  A macro parameter immediately following a # operator shall not immediately be followed by a ## operator
+      -  N/A
+      -  `Rule 20.11 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_11.c>`_
+    * -  Rule 20.12
+      -  Required
+      -  A macro parameter used as an operand to the # or ## operators, which is itself subject to further macro replacement, shall only be used as an operand to these operators
+      -  N/A
+      -  `Rule 20.12 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_12.c>`_
+    * -  Rule 20.13
+      -  Required
+      -  A line whose first token is # shall be a valid preprocessing directive
+      -  N/A
+      -  `Rule 20.13 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_13.c>`_
+    * -  Rule 20.14
+      -  Required
+      -  All #else, #elif and #endif preprocessor directives shall reside in the same file as the #if, #ifdef or #ifndef directive to which they are related
+      -  N/A
+      -  `Rule 20.14 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_14.c>`_
+    * -  Rule 20.2
+      -  Required
+      -  The ', or \ characters and the /* or // character sequences shall not occur in a header file name"
+      -  N/A
+      -  `Rule 20.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_02.c>`_
+    * -  Rule 20.3
+      -  Required
+      -  The #include directive shall be followed by either a <filename> or "filename" sequence
+      -  N/A
+      -  `Rule 20.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_03.c>`_
+    * -  Rule 20.4
+      -  Required
+      -  A macro shall not be defined with the same name as a keyword
+      -  N/A
+      -  `Rule 20.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_04.c>`_
+    * -  Rule 20.7
+      -  Required
+      -  Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses
+      -  `PRE01-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152393/>`_
+      -  `Rule 20.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_07.c>`_
+    * -  Rule 20.8
+      -  Required
+      -  The controlling expression of a #if or #elif preprocessing directive shall evaluate to 0 or 1
+      -  N/A
+      -  `Rule 20.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_08.c>`_
+    * -  Rule 20.9
+      -  Required
+      -  All identifiers used in the controlling expression of #if or #elif preprocessing directives shall be #defined before evaluation
+      -  N/A
+      -  `Rule 20.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_20_09.c>`_
+    * -  Rule 21.1
+      -  Required
+      -  #define and #undef shall not be used on a reserved identifier or reserved macro name
+      -  N/A
+      -  `Rule 21.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_01.c>`_
+    * -  Rule 21.11
+      -  Required
+      -  The standard header file <tgmath.h> shall not be used
+      -  N/A
+      -  `Rule 21.11 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_11.c>`_
+    * -  Rule 21.12
+      -  Advisory
+      -  The exception handling features of <fenv.h> should not be used
+      -  N/A
+      -  `Rule 21.12 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_12.c>`_
+    * -  Rule 21.13
+      -  Mandatory
+      -  Any value passed to a function in <ctype.h> shall be representable as an unsigned char or be the value EO
+      -  N/A
+      -  `Rule 21.13 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_13.c>`_
+    * -  Rule 21.14
+      -  Required
+      -  The Standard Library function memcmp shall not be used to compare null terminated strings
+      -  N/A
+      -  `Rule 21.14 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_14.c>`_
+    * -  Rule 21.15
+      -  Required
+      -  The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types
+      -  N/A
+      -  `Rule 21.15 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_15.c>`_
+    * -  Rule 21.16
+      -  Required
+      -  The pointer arguments to the Standard Library function memcmp shall point to either a pointer type, an essentially signed type, an essentially unsigned type, an essentially Boolean type or an essentially enum type
+      -  N/A
+      -  `Rule 21.16 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_16.c>`_
+    * -  Rule 21.17
+      -  Mandatory
+      -  Use of the string handling functions from <string.h> shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters
+      -  N/A
+      -  `Rule 21.17 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_17.c>`_
+    * -  Rule 21.18
+      -  Mandatory
+      -  The size_t argument passed to any function in <string.h> shall have an appropriate value
+      -  N/A
+      -  `Rule 21.18 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_18.c>`_
+    * -  Rule 21.2
+      -  Required
+      -  A reserved identifier or macro name shall not be declared
+      -  N/A
+      -  `Rule 21.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_02.c>`_
+    * -  Rule 21.20
+      -  Mandatory
+      -  The pointer returned by the Standard Library functions asctime, ctime, gmtime, localtime, localeconv, getenv, setlocale or strerror shall not be used following a subsequent call to the same function
+      -  N/A
+      -  `Rule 21.20 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_20.c>`_
+    * -  Rule 21.3
+      -  Required
+      -  The memory allocation and deallocation functions of <stdlib.h> shall not be used
+      -  `MSC24-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152260/>`_
+      -  `Rule 21.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_03.c>`_
+    * -  Rule 21.4
+      -  Required
+      -  The standard header file <setjmp.h> shall not be used
+      -  N/A
+      -  `Rule 21.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_04.c>`_
+    * -  Rule 21.6
+      -  Required
+      -  The Standard Library input/output functions shall not be used
+      -  N/A
+      -  `Rule 21.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_06.c>`_
+    * -  Rule 21.7
+      -  Required
+      -  The atof, atoi, atol and atoll functions of <stdlib.h> shall not be used
+      -  N/A
+      -  `Rule 21.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_07.c>`_
+    * -  Rule 21.9
+      -  Required
+      -  The library functions bsearch and qsort of <stdlib.h> shall not be used
+      -  N/A
+      -  `Rule 21.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_21_09.c>`_
+    * -  Rule 22.1
+      -  Required
+      -  All resources obtained dynamically by means of Standard Library functions shall be explicitly released
+      -  N/A
+      -  `Rule 22.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_01.c>`_
+    * -  Rule 22.10
+      -  Required
+      -  The value of errno shall only be tested when the last function to be called was an errno-setting-function
+      -  N/A
+      -  `Rule 22.10 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_10.c>`_
+    * -  Rule 22.3
+      -  Required
+      -  The same file shall not be open for read and write access at the same time on different streams
+      -  N/A
+      -  `Rule 22.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_03.c>`_
+    * -  Rule 22.4
+      -  Mandatory
+      -  There shall be no attempt to write to a stream which has been opened as read-only
+      -  N/A
+      -  `Rule 22.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_04.c>`_
+    * -  Rule 22.5
+      -  Mandatory
+      -  A pointer to a FILE object shall not be dereferenced
+      -  N/A
+      -  `Rule 22.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_05.c>`_
+    * -  Rule 22.6
+      -  Mandatory
+      -  The value of a pointer to a FILE shall not be used after the associated stream has been closed
+      -  N/A
+      -  `Rule 22.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_06.c>`_
+    * -  Rule 22.7
+      -  Required
+      -  The macro EOF shall only be compared with the unmodified return value from any Standard Library function capable of returning EOF
+      -  N/A
+      -  `Rule 22.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_07.c>`_
+    * -  Rule 22.8
+      -  Required
+      -  The value of errno shall be set to zero prior to a call to an errno-setting-function
+
+      -  N/A
+      -  `Rule 22.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_08.c>`_
+    * -  Rule 22.9
+      -  Required
+      -  The value of errno shall be tested against zero after calling an errno-setting-function
+      -  N/A
+      -  `Rule 22.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_22_09.c>`_
+    * -  Rule 3.1
+      -  Required
+      -  The character sequences /* and // shall not be used within a comment
+      -  `MSC04-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152275/>`_
+      -  `Rule 3.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_03_01.c>`_
+    * -  Rule 3.2
+      -  Required
+      -  Line-splicing shall not be used in // comments
+      -  N/A
+      -  `Rule 3.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_03_02.c>`_
+    * -  Rule 4.1
+      -  Required
+      -  Octal and hexadecimal escape sequences shall be terminated
+      -  `MSC09-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152154/>`_
+      -  `Rule 4.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_04_01.c>`_
+    * -  Rule 4.2
+      -  Advisory
+      -  Trigraphs should not be used
+      -  `PRE07-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152056/>`_
+      -  `Rule 4.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_04_02.c>`_
+    * -  Rule 5.1
+      -  Required
+      -  External identifiers shall be distinct
+      -  `DCL23-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152406/>`_
+      -  `Rule 5.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_01.c>`_
+    * -  Rule 5.2
+      -  Required
+      -  Identifiers declared in the same scope and name space shall be distinct
+      -  `DCL23-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152406/>`_
+      -  `Rule 5.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_02.c>`_
+    * -  Rule 5.3
+      -  Required
+      -  An identifier declared in an inner scope shall not hide an identifier declared in an outer scope
+      -  `DCL23-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152406/>`_
+      -  `Rule 5.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_03.c>`_
+    * -  Rule 5.4
+      -  Required
+      -  Macro identifiers shall be distinct
+      -  `DCL23-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152406/>`_
+      -  `Rule 5.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_04.c>`_
+    * -  Rule 5.5
+      -  Required
+      -  Identifiers shall be distinct from macro names
+      -  `DCL23-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152406/>`_
+      -  `Rule 5.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_05.c>`_
+    * -  Rule 5.6
+      -  Required
+      -  A typedef name shall be a unique identifier
+      -  N/A
+      -  `Rule 5.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_06.c>`_
+    * -  Rule 5.7
+      -  Required
+      -  A tag name shall be a unique identifier
+      -  N/A
+      -  `Rule 5.7 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_07.c>`_
+    * -  Rule 5.8
+      -  Required
+      -  Identifiers that define objects or functions with external linkage shall be unique
+      -  N/A
+      -  `Rule 5.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_08.c>`_
+    * -  Rule 5.9
+      -  Advisory
+      -  Identifiers that define objects or functions with internal linkage should be unique
+      -  N/A
+      -  `Rule 5.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_05_09.c>`_
+    * -  Rule 6.1
+      -  Required
+      -  Bit-fields shall only be declared with an appropriate type
+      -  `INT14-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152075/>`_
+      -  `Rule 6.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_06_01.c>`_
+    * -  Rule 6.2
+      -  Required
+      -  Single-bit named bit fields shall not be of a signed type
+      -  `INT14-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152075/>`_
+      -  `Rule 6.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_06_02.c>`_
+    * -  Rule 7.1
+      -  Required
+      -  Octal constants shall not be used
+      -  `DCL18-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152234/>`_
+      -  `Rule 7.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_07_01.c>`_
+    * -  Rule 7.2
+      -  Required
+      -  A u or U suffix shall be applied to all integer constants that are represented in an unsigned type
+      -  N/A
+      -  `Rule 7.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_07_02.c>`_
+    * -  Rule 7.3
+      -  Required
+      -  The lowercase character l shall not be used in a literal suffix
+      -  `DCL16-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152241/>`_
+      -  `Rule 7.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_07_03.c>`_
+    * -  Rule 7.4
+      -  Required
+      -  A string literal shall not be assigned to an object unless the objects type is pointer to const-qualified char
+      -  N/A
+      -  `Rule 7.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_07_04.c>`_
+    * -  Rule 8.1
+      -  Required
+      -  Types shall be explicitly specified
+      -  N/A
+      -  `Rule 8.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_01.c>`_
+    * -  Rule 8.10
+      -  Required
+      -  An inline function shall be declared with the static storage class
+      -  N/A
+      -  `Rule 8.10 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_10.c>`_
+    * -  Rule 8.12
+      -  Required
+      -  Within an enumerator list, the value of an implicitly-specified enumeration constant shall be unique
+      -  `INT09-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152467/>`_
+      -  `Rule 8.12 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_12.c>`_
+    * -  Rule 8.14
+      -  Required
+      -  The restrict type qualifier shall not be used
+      -  N/A
+      -  `Rule 8.14 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_14.c>`_
+    * -  Rule 8.2
+      -  Required
+      -  Function types shall be in prototype form with named parameters
+      -  `DCL20-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152311/>`_
+      -  `Rule 8.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_02.c>`_
+    * -  Rule 8.3
+      -  Required
+      -  All declarations of an object or function shall use the same names and type qualifiers
+      -  N/A
+      -  `Rule 8.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_03.c>`_
+    * -  Rule 8.4
+      -  Required
+      -  A compatible declaration shall be visible when an object or function with external linkage is defined
+      -  N/A
+      -  `Rule 8.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_04.c>`_
+    * -  Rule 8.5
+      -  Required
+      -  An external object or function shall be declared once in one and only one file
+      -  N/A
+      -  `Rule 8.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_05.c>`_
+    * -  Rule 8.6
+      -  Required
+      -  An identifier with external linkage shall have exactly one external definition
+      -  N/A
+      -  `Rule 8.6 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_06.c>`_
+    * -  Rule 8.8
+      -  Required
+      -  The static storage class specifier shall be used in all declarations of objects and functions that have internal linkage
+      -  `DCL15-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152278/>`_
+      -  `Rule 8.8 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_08.c>`_
+    * -  Rule 8.9
+      -  Advisory
+      -  An object should be defined at block scope if its identifier only appears in a single function
+      -  `DCL19-C <https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152335/>`_
+      -  `Rule 8.9 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_08_09.c>`_
+    * -  Rule 9.1
+      -  Mandatory
+      -  The value of an object with automatic storage duration shall not be read before it has been set
+      -  N/A
+      -  `Rule 9.1 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_01.c>`_
+    * -  Rule 9.2
+      -  Required
+      -  The initializer for an aggregate or union shall be enclosed in braces
+      -  N/A
+      -  `Rule 9.2 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_02.c>`_
+    * -  Rule 9.3
+      -  Required
+      -  Arrays shall not be partially initialized
+      -  N/A
+      -  `Rule 9.3 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_03.c>`_
+    * -  Rule 9.4
+      -  Required
+      -  An element of an object shall not be initialized more than once
+      -  N/A
+      -  `Rule 9.4 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_04.c>`_
+    * -  Rule 9.5
+      -  Required
+      -  Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly
+      -  N/A
+      -  `Rule 9.5 <https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/R_09_05.c>`_
diff --git a/doc/guides/index.rst b/doc/guides/index.rst
index 5ca272b6b64d..f98439508c29 100644
--- a/doc/guides/index.rst
+++ b/doc/guides/index.rst
@@ -10,6 +10,7 @@ User and Developer Guides
    beyond-GSG.rst
    bluetooth/index.rst
    build/index
+   coding_guidelines/index
    c_library
    ../README.rst
    documentation/index