...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Can detect violations of this rule. In particular, it ensures that the result of | |||||||||
| LDRA tool suite |
| 107 D | Partially Implemented | ||||||
| Polyspace Bug Finder | R2016a | Modification of internal buffer returned from nonreentrant standard function | Function attempts to modify internal buffer returned from a nonreentrant standard function |
...