Page History

Can detect some violations of this rule. In particular, it ensures that calls to open() that are preceded by a call to lstat() are also followed by a call to fstat().

TOCTOU

C4886DF4886, C4887, C4888C++4886, C++4887, C++4888DF4887, DF4888

SV.TOCTOU.FILE_ACCESS
CERT.STR.ASSIGN.CONST_TO_NONCONST

CERT_C-POS35-b

Avoid race conditions while checking for the existence of a symbolic link

Checks for file access between time of check and use (TOCTOU) (rule fully covered)