...
If the file referenced by dest_file
exists prior to calling rename()
, the behavior is implementation-defined. On POSIX systems, the destination file is removed. On Windows systems, the rename()
fails. This creates Consequently, issues arise when trying to write portable code or when trying to implement alternative behavior.
...
Code Block | ||||
---|---|---|---|---|
| ||||
const char *src_file = /* ... */; const char *dest_file = /* ... */; if (rename(src_file, dest_file) != 0) { /* Handle Errorerror */ } |
Compliant Solution (POSIX)
If the programmer's intent is not to remove an existing destination file, the POSIX access()
function can be used to check for the existence of a file [Open Group 2004IEEE Std 1003.1:2013]. This compliant solution renames the source file only if the destination file does not exist:
...
In situations where the source file is supposed not to be a directory or symbolic link, an alternative solution is to use link()
to link the source file to the destination file and then use unlink()
(or remove()
) to delete the source file. Since Because link()
fails if the destination file exists, the need for calling access()
is avoided. However, this solution has two race conditions related to the source file. First, before calling link()
, the program must use lstat()
to check that the source file is not a directory or symbolic link. Second, the source file could change during the time window between the link()
and the unlink()
. Consequently, this alternative solution can be safely executed only when the source file is located within a secure directory.
...
file or directory specified by
newname
already exists or could not be created (invalid path). [MSDN].
Consequently, it is unnecessary to explicitly check for the existence of the destination file before calling rename()
.
...
On Windows systems, it is necessary to explicitly remove the destination file before calling rename()
if you want the programmer wants the file to be overwritten and the rename()
operation to succeed:
...
This code contains unavoidable race conditions between the calls to _access_s()
, remove()
, and rename()
and can consequently be safely executed only within a secure directory. (See FIO15-C. Ensure that file operations are performed in a secure directory.) Another option would be to use the MoveFileEx API , and pass in the MOVEFILE_REPLACE_EXISTING
flag:
Code Block | ||||
---|---|---|---|---|
| ||||
const char *src_file = /* ... */; const char *dest_file = /* ... */; if (!MoveFileEx(src_file, dest_file, MOVEFILE_REPLACE_EXISTING)) { /* Handle error condition */ } |
While Although this code is not portable code, it does avoid the race condition when using _access_s(), remove()
, and rename()
.
Compliant Solution (POSIX)
...
A programmer who wants an application to behave the same on any C implementation must first determine what behavior to implement.
...
The return value of remove()
is deliberately not checked because it is expected to fail if the file does not exist. If the file exists but cannot be removed, the rename()
call will also fail, and the error will be detected at that point. This is a valid exception (EXP12-C-EX1) to EXP12-C. Do not ignore values returned by functions.
...
Calling rename()
has implementation-defined behavior when the new file name refers to an existing file. Incorrect use of rename()
can result in a file being unexpectedly overwritten or other unexpected behavior.
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
FIO10-C |
Medium |
Probable |
Medium | P8 | L2 |
Automated Detection
Tool | Version | Checker | Description |
---|
CodeSonar |
|
|
|
(customization) | Users can add a custom check for all uses of rename() . | ||||||||
Helix QAC |
| C5015 | |||||||
LDRA tool suite |
| 592 S | Fully Implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Related Guidelines
Bibliography
...
IEEE Std 1003.1:2013] | XSH, System Interfaces, access |
[MSDN] | rename() |
...