...
Tool  | Version  | Checker  | Description  | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonar | 
  | IO.RACE | File system race condition | ||||||||||
| Coverity | 
  | TOCTOU  | Implemented | ||||||||||
| Helix QAC | 
  | ||||||||||||
| Klocwork | 
  | SV.TOCTOU.FILE_ACCESS | |||||||||||
| LDRA tool suite | 
  | 75 D | Partially implemented | ||||||||||
| Parasoft C/C++test | 
  | CERT_C-FIO45-a  | Avoid race conditions while accessing files  | ||||||||||
| Polyspace Bug Finder | 
  | CERT C: Rule FIO45-C | Checks for file access between time of check and use (rule fully covered)  | Helix QAC | | Include Page |  | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...