...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 480 S, 489 S, 613 S | Enhanced enforcement | |||||||
| Parasoft C/C++test | 9.5 | CODSTA-121 | Fully implemented | ||||||
| PRQA QA-C |
| 3314 | |||||||
| SonarQube C/C++ Plugin |
| S1836 | Implements MISRA C:2012 Rule 8.14 to flag uses of restrict |
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 |
...