...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | Can detect violations of this rule. In particular, it ensures that the result of | ||||||||||
| LDRA tool suite |
| 107 D | Partially Implemented | ||||||||
| Parasoft C/C++test |
| CODSTA-185_a | Implemented | ||||||||
| Polyspace Bug Finder |
| Modification of internal buffer returned from nonreentrant standard function | Function attempts to modify internal buffer returned from a nonreentrant standard function The pointers returned by the Standard Library functions | ||||||||
| PRQA QA-C | 9.1 | 1492, 1493 |
...