| Resource_1_AccessArray | Utiliser un pointeur pour parcourir les éléments d'un tableau plutôt qu'un index. |
| Resource_2_ForCounter | Ne pas changer le compteur de boucle à l'intérieur d'une boucle. |
| Resource_3_DeclarationInitSeparate | Les variables doivent être déclarées et initialisées séparément. |
| Resource_4_DeclarationInitCombine | Les variables doivent être déclarées et initialisées simultanément. |
| Resource_5_LocalDeclaration | Il ne faut pas déclarer de variables locales à un bloc. |
| Resource_6_GlobalDeclaration | Les objets globaux doivent être déclarés dans un fichier header. |
| Resource_7_VariableUse | Les variables déclarées doivent être utilisées. |
| Resource_8_FunctionUse | Les fonctions déclarées doivent être utilisées. |
| Resource_9_ParameterUse | Tous les paramètres des fonctions doivent être utilisés. |
| Resource_10_NoGlobalParameter | Une variable globale ne doit pas être utilisée comme paramètre d'une fonction. |
| Resource_11_InputParameter | L'ordre des paramètres d'une fonction doit être : objet courant, paramètres en entrée, paramètres en sortie |
| Resource_12_NoExternBody | Le mot clé "extern" est interdit dans un fichier body (".c"). |
| Resource_13_NoStaticInFunc | Les variables déclarées "static" sont interdites dans les fonctions. |
| Resource_14_ExternHeader | Toutes les déclarations de variables dans un fichier header doivent être précédées du mot clé "extern". |
| Resource_15_NoFunctionHeader | Aucune définition de fonction ne doit se trouver dans un fichier header. |
| Resource_16_FileExtension | Les noms des fichiers header doivent avoir une extension ".h" et ceux des fichiers body une extension ".c". |
| Resource_18_NoBodyInclusion | Un fichier ".c" ne doit pas être inclus pas une autre fichier ".c". |
| Resource_19_NoBitfield | Les champs de bits sont interdits. |
| Resource_20_NoAuto | Les déclarations de variables locales ne doivent pas être "auto". |
| Resource_21_ArrayInit | L'initialisation d'un tableau doit être conforme à sa structure. |
| Resource_22_PointerInit | Un pointeur doit toujours être initialisé. |
| Resource_23_WhileInit | La valeur initiale du paramètre d'une boucle doit être connue avant l'entrée dans la boucle. |
| Resource_24_ConstVolatileInit | Seules les variables déclarées const et volatiles doivent être initialisées à leur définition. |
| Resource_26_TypedefUnionStruct | Un typedef ne doit pas masquer une structure ou une union. |
| Resource_30_EnumInit | Les valeurs des enums ne doiveny pas être explicites. |
| Resource_31_StructUnion | L'usage des unions doit être limité.
|
| Resource_32_ForSpecification | Toutes les parties de l'instruction "for" doivent être remplies. |
MISRA_14_10
| Les constructions if... else if... else if... doivent se terminer par else.
|
| MISRA_14_9 | La partie then d'un if doit être un bloc d'instuctions entre accolades. Il en est de même pour la partie else si elle existe.
|
| MISRA_13_1 | Ne pas faire d'affectation dans une expression qui renvoie un booléen. |
Programming rules 
