Home Explore Help
Sign In
OWEALs
/
arm-trusted-firmware
mirror of https://github.com/ARM-software/arm-trusted-firmware
2
0
Fork 0
Files Issues 1 Wiki
Branch: master
Branches Tags
arm-trusted-fir...
/
docs
/
process
/
misra-compliance.csv

misra-compliance.csv 10 KB
Permalink History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174 
  1. Seq,Dir / Rule,Number,Source,Category,Checker Enabled,Enforced,Comments
    2. 

  2. 1,D,1.1,MISRA C 2012,Required,N/A,Yes,
    3. 

  3. 2,D,2.1,MISRA C 2012,Required,N/A,Yes,
    4. 

  4. 3,D,3.1,MISRA C 2012,Required,N/A,No,It can’t be done retroactively.
    5. 

  5. 4,D,4.1,MISRA C 2012,Required,N/A,Yes,
    6. 

  6. 5,D,4.2,MISRA C 2012,Advisory,N/A,Yes,
    7. 

  7. 6,D,4.3,MISRA C 2012,Required,Yes,Yes,
    8. 

  8. 7,D,4.4,MISRA C 2012,Advisory,Yes,Yes,
    9. 

  9. 8,D,4.5,MISRA C 2012,Advisory,Yes,Yes,
    10. 

  10. 9,D,4.6,MISRA C 2012,Advisory,No,No,We use a mix of both. It would be too disruptive for the project to change.
    11. 

  11. 10,D,4.7,MISRA C 2012,Required,Yes,Yes,
    12. 

  12. 11,D,4.8,MISRA C 2012,Advisory,No,No,Fixing all instances would involve invasive changes to the codebase for no good reason.
    13. 

  13. 12,D,4.9,MISRA C 2012,Advisory,No,No,"We mustn’t introduce new macros unless strictly needed, but this affects assert(), INFO(), etc. It creates too much noise in the report for little gain."
    14. 

  14. 13,D,4.10,MISRA C 2012,Required,Yes,Yes,
    15. 

  15. 14,D,4.11,MISRA C 2012,Required,Yes,Yes,
    16. 

  16. 15,D,4.12,MISRA C 2012,Required,Yes,Yes,
    17. 

  17. 16,D,4.13,MISRA C 2012,Advisory,Yes,Yes,
    18. 

  18. 17,D,4.14,MISRA C 2012 AMD-1,Required,Yes,Yes,
    19. 

  19. 18,R,1.1,MISRA C 2012,Required,Yes,Yes,
    20. 

  20. 19,R,1.2,MISRA C 2012,Advisory,Yes,Optional,It bans __attribute__(())  and similar helpers.
    21. 

  21. 20,R,1.3,MISRA C 2012,Required,N/A,Yes,
    22. 

  22. 21,R,2.1,MISRA C 2012,Required,Yes,Yes,
    23. 

  23. 22,R,2.2,MISRA C 2012,Required,Yes,Yes,
    24. 

  24. 23,R,2.3,MISRA C 2012,Advisory,Yes,Optional,It prevents the usage of CASSERT().
    25. 

  25. 24,R,2.4,MISRA C 2012,Advisory,No,No,Header files may use enumerations instead of defines to group sets of values.
    26. 

  26. 25,R,2.5,MISRA C 2012,Advisory,No,No,We define many headers with macros that are unused in the project but may be used by non-upstream code or may be desirable for completeness.
    27. 

  27. 26,R,2.6,MISRA C 2012,Advisory,Yes,Yes,
    28. 

  28. 27,R,2.7,MISRA C 2012,Advisory,No,No,Doesn't allow for simple implementations of porting functions that don't require all parameters.
    29. 

  29. 28,R,3.1,MISRA C 2012,Required,Yes,Yes,
    30. 

  30. 29,R,3.2,MISRA C 2012,Required,Yes,Yes,
    31. 

  31. 30,R,4.1,MISRA C 2012,Required,Yes,Yes,
    32. 

  32. 31,R,4.2,MISRA C 2012,Advisory,Yes,Yes,
    33. 

  33. 32,R,5.1,MISRA C 2012,Required,No,No,We use weak symbols that prevent us from complying with this rule.
    34. 

  34. 33,R,5.2,MISRA C 2012,Required,Yes,Yes,
    35. 

  35. 34,R,5.3,MISRA C 2012,Required,Yes,Yes,
    36. 

  36. 35,R,5.4,MISRA C 2012,Required,Yes,Yes,
    37. 

  37. 36,R,5.5,MISRA C 2012,Required,Yes,Yes,
    38. 

  38. 37,R,5.6,MISRA C 2012,Required,Yes,Yes,
    39. 

  39. 38,R,5.7,MISRA C 2012,Required,Yes,Optional,Fixing all existing defects is problematic because of compatibility issues.
    40. 

  40. 39,R,5.8,MISRA C 2012,Required,No,No,We use weak symbols that prevent us from complying with this rule.
    41. 

  41. 40,R,5.9,MISRA C 2012,Advisory,Yes,Yes,
    42. 

  42. 41,R,6.1,MISRA C 2012,Required,Yes,Yes,
    43. 

  43. 42,R,6.2,MISRA C 2012,Required,Yes,Yes,
    44. 

  44. 43,R,7.1,MISRA C 2012,Required,Yes,Yes,
    45. 

  45. 44,R,7.2,MISRA C 2012,Required,Yes,Yes,
    46. 

  46. 45,R,7.3,MISRA C 2012,Required,Yes,Yes,
    47. 

  47. 46,R,7.4,MISRA C 2012,Required,Yes,Yes,
    48. 

  48. 47,R,8.1,MISRA C 2012,Required,Yes,Yes,
    49. 

  49. 48,R,8.2,MISRA C 2012,Required,Yes,Yes,
    50. 

  50. 49,R,8.3,MISRA C 2012,Required,Yes,Yes,
    51. 

  51. 50,R,8.4,MISRA C 2012,Required,Yes,Yes,
    52. 

  52. 51,R,8.5,MISRA C 2012,Required,Yes,Yes,
    53. 

  53. 52,R,8.6,MISRA C 2012,Required,No,No,We use weak symbols that prevent us from complying with this rule.
    54. 

  54. 53,R,8.7,MISRA C 2012,Advisory,No,No,"Bans pattern of declaring funcs in private header that are used/defined in separate translation units, which seems over the top."
    55. 

  55. 54,R,8.8,MISRA C 2012,Required,Yes,Yes,
    56. 

  56. 55,R,8.9,MISRA C 2012,Advisory,Yes,Yes,
    57. 

  57. 56,R,8.10,MISRA C 2012,Required,Yes,Yes,
    58. 

  58. 57,R,8.11,MISRA C 2012,Advisory,Yes,Optional,This may not be possible in some interfaces.
    59. 

  59. 58,R,8.12,MISRA C 2012,Required,Yes,Yes,
    60. 

  60. 59,R,8.13,MISRA C 2012,Advisory,Yes,Optional,The benefits of fixing existing code aren’t worth the effort.
    61. 

  61. 60,R,8.14,MISRA C 2012,Required,Yes,Yes,
    62. 

  62. 61,R,9.1,MISRA C 2012,Mandatory,Yes,Yes,
    63. 

  63. 62,R,9.2,MISRA C 2012,Required,Yes,Yes,
    64. 

  64. 63,R,9.3,MISRA C 2012,Required,Yes,Yes,
    65. 

  65. 64,R,9.4,MISRA C 2012,Required,Yes,Yes,
    66. 

  66. 65,R,9.5,MISRA C 2012,Required,Yes,Yes,
    67. 

  67. 66,R,10.1,MISRA C 2012,Required,Yes,Optional,Fixing existing code may be counter-productive and introduce bugs.
    68. 

  68. 67,R,10.2,MISRA C 2012,Required,Yes,Yes,
    69. 

  69. 68,R,10.3,MISRA C 2012,Required,Yes,Optional,Fixing existing code may be counter-productive and introduce bugs.
    70. 

  70. 69,R,10.4,MISRA C 2012,Required,Yes,Optional,Fixing existing code may be counter-productive and introduce bugs.
    71. 

  71. 70,R,10.5,MISRA C 2012,Advisory,Yes,Yes,
    72. 

  72. 71,R,10.6,MISRA C 2012,Required,Yes,Yes,
    73. 

  73. 72,R,10.7,MISRA C 2012,Required,Yes,Yes,
    74. 

  74. 73,R,10.8,MISRA C 2012,Required,Yes,Yes,
    75. 

  75. 74,R,11.1,MISRA C 2012,Required,Yes,Yes,
    76. 

  76. 75,R,11.2,MISRA C 2012,Required,Yes,Yes,
    77. 

  77. 76,R,11.3,MISRA C 2012,Required,Yes,Yes,
    78. 

  78. 77,R,11.4,MISRA C 2012,Advisory,No,No,This would be invasive for TF (e.g. in exported linker script macros). Also bans conversion from uintptr_t.
    79. 

  79. 78,R,11.5,MISRA C 2012,Advisory,No,No,"This seems to preclude the pattern of using void * in interfaces to hide the real object, which we use extensively."
    80. 

  80. 79,R,11.6,MISRA C 2012,Required,Yes,Optional,This is needed in several cases.
    81. 

  81. 80,R,11.7,MISRA C 2012,Required,Yes,Yes,
    82. 

  82. 81,R,11.8,MISRA C 2012,Required,Yes,Yes,
    83. 

  83. 82,R,11.9,MISRA C 2012,Required,Yes,Yes,
    84. 

  84. 83,R,12.1,MISRA C 2012,Advisory,Yes,Yes,
    85. 

  85. 84,R,12.2,MISRA C 2012,Required,Yes,Yes,"This rule is fine, but there are lots of false positives in Coverity."
    86. 

  86. 85,R,12.3,MISRA C 2012,Advisory,Yes,Yes,
    87. 

  87. 86,R,12.4,MISRA C 2012,Advisory,Yes,Yes,
    88. 

  88. 87,R,12.5,MISRA C 2012 AMD-1,Mandatory,Yes,Yes,
    89. 

  89. 88,R,13.1,MISRA C 2012,Required,Yes,Yes,
    90. 

  90. 89,R,13.2,MISRA C 2012,Required,Yes,Yes,
    91. 

  91. 90,R,13.3,MISRA C 2012,Advisory,Yes,Yes,
    92. 

  92. 91,R,13.4,MISRA C 2012,Advisory,Yes,Yes,
    93. 

  93. 92,R,13.5,MISRA C 2012,Required,Yes,Yes,
    94. 

  94. 93,R,13.6,MISRA C 2012,Mandatory,Yes,Yes,
    95. 

  95. 94,R,14.1,MISRA C 2012,Required,Yes,Yes,
    96. 

  96. 95,R,14.2,MISRA C 2012,Required,Yes,Yes,
    97. 

  97. 96,R,14.3,MISRA C 2012,Required,Yes,Yes,
    98. 

  98. 97,R,14.4,MISRA C 2012,Required,Yes,Yes,
    99. 

  99. 98,R,15.1,MISRA C 2012,Advisory,No,No,In some cases goto may be useful for readability.
    100. 

  100. 99,R,15.2,MISRA C 2012,Required,Yes,Yes,
    101. 

  101. 100,R,15.3,MISRA C 2012,Required,Yes,Yes,
    102. 

  102. 101,R,15.4,MISRA C 2012,Advisory,Yes,Yes,
    103. 

  103. 102,R,15.5,MISRA C 2012,Advisory,No,No,This has no real value. It may make code less understandable than before.
    104. 

  104. 103,R,15.6,MISRA C 2012,Required,No,No,This directly contradicts the Linux style guidelines and would require many changes. We would have to remove that rule from checkpatch.
    105. 

  105. 104,R,15.7,MISRA C 2012,Required,Yes,Yes,
    106. 

  106. 105,R,16.1,MISRA C 2012,Required,No,No,Cannot comply with this unless we comply with 16.3
    107. 

  107. 106,R,16.2,MISRA C 2012,Required,Yes,Yes,
    108. 

  108. 107,R,16.3,MISRA C 2012,Required,No,No,Returns within switch statements and fall-throughs can improve readability.
    109. 

  109. 108,R,16.4,MISRA C 2012,Required,Yes,Yes,
    110. 

  110. 109,R,16.5,MISRA C 2012,Required,Yes,Yes,
    111. 

  111. 110,R,16.6,MISRA C 2012,Required,Yes,Yes,
    112. 

  112. 111,R,16.7,MISRA C 2012,Required,Yes,Yes,
    113. 

  113. 112,R,17.1,MISRA C 2012,Required,No,No,This is needed for printf.
    114. 

  114. 113,R,17.2,MISRA C 2012,Required,Yes,Yes,Bans recursion. We consider it acceptable if the max depth is known.
    115. 

  115. 114,R,17.3,MISRA C 2012,Mandatory,Yes,Yes,
    116. 

  116. 115,R,17.4,MISRA C 2012,Mandatory,Yes,Yes,
    117. 

  117. 116,R,17.5,MISRA C 2012,Advisory,Yes,Yes,
    118. 

  118. 117,R,17.6,MISRA C 2012,Mandatory,Yes,Yes,
    119. 

  119. 118,R,17.7,MISRA C 2012,Required,Yes,Optional,In some cases it doesn’t add any value to the code (like with memset() or printf()).
    120. 

  120. 119,R,17.8,MISRA C 2012,Advisory,Yes,Optional,It would make some one-line functions grow in size for no reason.
    121. 

  121. 120,R,18.1,MISRA C 2012,Required,Yes,Yes,
    122. 

  122. 121,R,18.2,MISRA C 2012,Required,Yes,Yes,
    123. 

  123. 122,R,18.3,MISRA C 2012,Required,Yes,Yes,
    124. 

  124. 123,R,18.4,MISRA C 2012,Advisory,Yes,Yes,
    125. 

  125. 124,R,18.5,MISRA C 2012,Advisory,Yes,Yes,
    126. 

  126. 125,R,18.6,MISRA C 2012,Required,Yes,Yes,
    127. 

  127. 126,R,18.7,MISRA C 2012,Required,Yes,Yes,
    128. 

  128. 127,R,18.8,MISRA C 2012,Required,Yes,Yes,
    129. 

  129. 128,R,19.1,MISRA C 2012,Mandatory,Yes,Yes,
    130. 

  130. 129,R,19.2,MISRA C 2012,Advisory,Yes,Optional,"Unions can be useful. We almost don’t use them, so it’s ok."
    131. 

  131. 130,R,20.1,MISRA C 2012,Advisory,Yes,Optional,In some files we have assembly-compatible includes followed by assembly-compatible definitions followed by C includes and C declarations. This is done to not have #ifdef in the include list.
    132. 

  132. 131,R,20.2,MISRA C 2012,Required,Yes,Yes,
    133. 

  133. 132,R,20.3,MISRA C 2012,Required,Yes,Yes,
    134. 

  134. 133,R,20.4,MISRA C 2012,Required,Yes,Yes,
    135. 

  135. 134,R,20.5,MISRA C 2012,Advisory,Yes,Yes,
    136. 

  136. 135,R,20.6,MISRA C 2012,Required,Yes,Yes,
    137. 

  137. 136,R,20.7,MISRA C 2012,Required,Yes,Yes,
    138. 

  138. 137,R,20.8,MISRA C 2012,Required,Yes,Optional,We need a new configuration system to fix all defects.
    139. 

  139. 138,R,20.9,MISRA C 2012,Required,Yes,Optional,"We use a mix of #if and #ifdef for boolean macros, which may raise some failures here. We should consistently use one or the other"
    140. 

  140. 139,R,20.10,MISRA C 2012,Advisory,Yes,Optional,"It’s good to avoid them, but they are sometimes needed."
    141. 

  141. 140,R,20.11,MISRA C 2012,Required,Yes,Yes,
    142. 

  142. 141,R,20.12,MISRA C 2012,Required,Yes,Yes,
    143. 

  143. 142,R,20.13,MISRA C 2012,Required,Yes,Yes,
    144. 

  144. 143,R,20.14,MISRA C 2012,Required,Yes,Yes,
    145. 

  145. 144,R,21.1,MISRA C 2012,Required,Yes,Yes,
    146. 

  146. 145,R,21.2,MISRA C 2012,Required,Yes,Yes,
    147. 

  147. 146,R,21.3,MISRA C 2012,Required,Yes,Yes,
    148. 

  148. 147,R,21.4,MISRA C 2012,Required,Yes,Yes,
    149. 

  149. 148,R,21.5,MISRA C 2012,Required,Yes,Yes,
    150. 

  150. 149,R,21.6,MISRA C 2012,Required,No,No,This bans printf.
    151. 

  151. 150,R,21.7,MISRA C 2012,Required,Yes,Yes,
    152. 

  152. 151,R,21.8,MISRA C 2012,Required,Yes,Yes,
    153. 

  153. 152,R,21.9,MISRA C 2012,Required,Yes,Yes,
    154. 

  154. 153,R,21.10,MISRA C 2012,Required,Yes,Yes,
    155. 

  155. 154,R,21.11,MISRA C 2012,Required,Yes,Yes,
    156. 

  156. 155,R,21.12,MISRA C 2012,Advisory,Yes,Yes,
    157. 

  157. 156,R,21.13,MISRA C 2012 AMD-1,Mandatory,Yes,Yes,
    158. 

  158. 157,R,21.14,MISRA C 2012 AMD-1,Required,Yes,Yes,
    159. 

  159. 158,R,21.15,MISRA C 2012 AMD-1,Required,Yes,Yes,
    160. 

  160. 159,R,21.16,MISRA C 2012 AMD-1,Required,Yes,Yes,
    161. 

  161. 160,R,21.17,MISRA C 2012 AMD-1,Mandatory,Yes,Yes,
    162. 

  162. 161,R,21.18,MISRA C 2012 AMD-1,Mandatory,Yes,Yes,
    163. 

  163. 162,R,21.19,MISRA C 2012 AMD-1,Mandatory,Yes,Yes,
    164. 

  164. 163,R,21.20,MISRA C 2012 AMD-1,Mandatory,Yes,Yes,
    165. 

  165. 164,R,22.1,MISRA C 2012,Required,Yes,Yes,
    166. 

  166. 165,R,22.2,MISRA C 2012,Mandatory,Yes,Yes,
    167. 

  167. 166,R,22.3,MISRA C 2012,Required,Yes,Yes,
    168. 

  168. 167,R,22.4,MISRA C 2012,Mandatory,Yes,Yes,
    169. 

  169. 168,R,22.5,MISRA C 2012,Mandatory,Yes,Yes,
    170. 

  170. 169,R,22.6,MISRA C 2012,Mandatory,Yes,Yes,
    171. 

  171. 170,R,22.7,MISRA C 2012 AMD-1,Required,Yes,Yes,
    172. 

  172. 171,R,22.8,MISRA C 2012 AMD-1,Required,Yes,Yes,
    173. 

  173. 172,R,22.9,MISRA C 2012 AMD-1,Required,Yes,Yes,
    174. 

  174. 173,R,22.10,MISRA C 2012 AMD-1,Required,Yes,Yes,
    175.