...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Axivion Bauhaus Suite |
| CertC-POS35 | |||||||
Compass/ROSE | Can detect some violations of this rule. In particular, it ensures that calls to | ||||||||
Coverity |
| TOCTOU | Implemented | ||||||
Helix QAC |
| C4886DF4886, C4887, C4888C++4886, C++4887, C++4888DF4887, DF4888 | |||||||
Klocwork |
| SV.TOCTOU.FILE_ACCESS | |||||||
Parasoft C/C++test |
| CERT_C-POS35-b | Avoid race conditions while checking for the existence of a symbolic link | ||||||
Polyspace Bug Finder |
| CERT C: Rule POS35-C | Checks for file access between time of check and use (TOCTOU) (rule fully covered) |
...