...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE |
|
| Can detect some violations of this rule. In particular, it ensures that calls to | ||||||
| Coverity |
| TOCTOU | Implemented | ||||||
| Klocwork |
| SV.TOCTOU.FILE_ACCESS | |||||||
| Parasoft C/C++test | 9.5
| SECURITY-19 | Partially implemented; use of lstat | ||||||
| Polyspace Bug Finder | R2016a | File access between time of check and use (TOCTOU) | File or folder might change state due to access race |
...