Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
IO.RACEFile system race condition
Coverity
Include Page
Coverity_V
Coverity_V

TOCTOU

Implemented
Klocwork
Include Page
Klocwork_V
Klocwork_V
SV.TOCTOU.FILE_ACCESS 
LDRA tool suite
Include Page
LDRA_V
LDRA_V
75 DPartially implemented
Polyspace Bug FinderR2016aFile access between time of check and use (TOCTOU)

File or folder might change state due to access race

...