...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 480 S 489 S | Partially implemented | |||||||
| PRQA QA-C |
| 3314 | |||||||
| SonarQube |
| S1836 | Implements MISRA C:2012 Rule 8.14 |
Related Guidelines
| CERT C Secure Coding Standard | FIO30-C. Exclude user input from format strings |
| ISO/IEC TR 24772:2013 | Passing Parameters and Return Values [CSJ] |
| ISO/IEC TS 17961 | Passing pointers into the same object as arguments to different restrict-qualified parameters [restrict] |
| MISRA C:2012 | Rule 8.14 (required)1 |
- MISRA Rule 8.14 prohibits the use of the restrict keyword except in C Standard Library Functions.
Bibliography
| [ISO/IEC 9899:2011] | 6.7.3.1, "Formal Definition of restrict" |
| [Walls 2006] |
...