...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| CodeSonar |
| LANG.TYPE.RESTRICT | Restrict qualifier used | ||||||
| Coverity |
| MISRA C 2012 Rule 8.14 | Partially implemented | ||||||
| LDRA tool suite |
| 480 S, 489 S, 613 S | Enhanced enforcement | ||||||
| Parasoft C/C++test | 9.5 | CODSTA-121 | Fully implemented | ||||||
| Polyspace Bug Finder | R2016a | Copy of overlapping memory | Source and destination arguments of a copy function have overlapping memory | ||||||
| PRQA QA-C |
| 1057 | |||||||
| SonarQube C/C++ Plugin |
| S1836 | Implements MISRA C:2012 Rule 8.14 to flag uses of restrict |
Related Guidelines
Key here (explains table format and definitions)
Taxonomy | Taxonomy item | Relationship | |
|---|---|---|---|
| CERT C Secure Coding Standard | FIO30-C. Exclude user input from format strings | Prior to 2018-01-12: CERT: Unspecified Relationship | |
| ISO/IEC TR 24772:2013 | Passing Parameters and Return Values [CSJ] | Prior to 2018-01-12: CERT: Unspecified Relationship | |
| ISO/IEC TS 17961 | Passing pointers into the same object as arguments to different restrict-qualified parameters [restrict] | Prior to 2018-01-12: CERT: Unspecified Relationship | |
| MISRA C:2012 | Rule 8Rule 8.14 (required)1 | Prior to 2018-01-12: CERT: Unspecified Relationship |
- MISRA Rule 8.14 prohibits the use of the restrict keyword except in C standard library functions.
...