|
107 | 107 | { |
108 | 108 | int buf[10]; |
109 | 109 | if (x == 1000) |
110 | | - buf[x] = 0; // <- ERROR |
| 110 | + buf[x] = 0; // <- ERROR |
111 | 111 | }</pre> |
112 | 112 |
|
113 | 113 | <p>Most tools can determine that the array index will be 1000 and there will be overflow.</p> |
|
117 | 117 | <pre>void foo(int x) |
118 | 118 | { |
119 | 119 | int buf[10]; |
120 | | - buf[x] = 0; // <- ERROR |
| 120 | + buf[x] = 0; // <- ERROR |
121 | 121 | if (x == 1000) {} |
122 | 122 | }</pre> |
123 | 123 |
|
|
186 | 186 |
|
187 | 187 | <h3 id="coding-standards">Coding standards</h3> |
188 | 188 | <table border="1" bgcolor="white"> |
189 | | -<tr><th>Coding standard<th><th> Open Source </th><th> Premium </th></tr> |
190 | | -<tr><td> Misra C 2012 - original rules <td><td> Partial</td><td> Yes</td></tr> |
191 | | -<tr><td> Misra C 2012 - amendment #1 <td><td> Partial</td><td> Yes</td></tr> |
192 | | -<tr><td> Misra C 2012 - amendment #2 <td><td> Partial</td><td> Yes</td></tr> |
193 | | -<tr><td> Misra C 2012 - amendment #3 <td><td></td><td> Yes</td></tr> |
194 | | -<tr><td> Misra C 2012 - amendment #4 <td><td></td><td> Yes</td></tr> |
195 | | -<tr><td> Misra C 2012 - Compliance report <td><td></td><td> Yes</td></tr> |
196 | | -<tr><td> Misra C 2012 - Rule texts <td><td> User provided</td><td> Yes</td></tr> |
197 | | -<tr><td> Misra C 2023 <td><td></td><td> Yes</td></tr> |
198 | | -<tr><td> Misra C++ 2008 <td><td></td><td> Yes</td></tr> |
199 | | -<tr><td> Misra C++ 2023 <td><td></td><td> Yes</td></tr> |
200 | | -<tr><td> Cert C <td><td></td><td> Yes</td></tr> |
201 | | -<tr><td> Cert C++ <td><td></td><td> Yes</td></tr> |
202 | | -<tr><td> Autosar <td><td></td><td> <a href="https://files.cppchecksolutions.com/autosar.html">Partial</a></td></tr> |
| 189 | +<tr><th>Coding standard</th><th> Open Source </th><th> Premium </th></tr> |
| 190 | +<tr><td> Misra C 2012 - original rules </td><td> Partial</td><td> Yes</td></tr> |
| 191 | +<tr><td> Misra C 2012 - amendment #1 </td><td> Partial</td><td> Yes</td></tr> |
| 192 | +<tr><td> Misra C 2012 - amendment #2 </td><td> Partial</td><td> Yes</td></tr> |
| 193 | +<tr><td> Misra C 2012 - amendment #3 </td><td></td><td> Yes</td></tr> |
| 194 | +<tr><td> Misra C 2012 - amendment #4 </td><td></td><td> Yes</td></tr> |
| 195 | +<tr><td> Misra C 2012 - Compliance report </td><td></td><td> Yes</td></tr> |
| 196 | +<tr><td> Misra C 2012 - Rule texts </td><td> User provided</td><td> Yes</td></tr> |
| 197 | +<tr><td> Misra C 2023 </td><td></td><td> Yes</td></tr> |
| 198 | +<tr><td> Misra C++ 2008 </td><td></td><td> Yes</td></tr> |
| 199 | +<tr><td> Misra C++ 2023 </td><td></td><td> Yes</td></tr> |
| 200 | +<tr><td> Cert C </td><td></td><td> Yes</td></tr> |
| 201 | +<tr><td> Cert C++ </td><td></td><td> Yes</td></tr> |
| 202 | +<tr><td> Autosar </td><td></td><td> <a href="https://files.cppchecksolutions.com/autosar.html">Partial</a></td></tr> |
203 | 203 | </table> |
204 | 204 |
|
205 | 205 |
|
|
0 commit comments