4
4
//! filesystem. All methods in this module represent cross-platform filesystem
5
5
//! operations. Extra platform-specific functionality can be found in the
6
6
//! extension traits of `std::os::$platform`.
7
+ //!
8
+ //! # Time of Check to Time of Use (TOCTOU)
9
+ //!
10
+ //! Many filesystem operations are subject to a race condition known as "Time of Check to Time of Use"
11
+ //! (TOCTOU). This occurs when a program checks a condition (like file existence or permissions)
12
+ //! and then uses the result of that check to make a decision, but the condition may have changed
13
+ //! between the check and the use.
14
+ //!
15
+ //! For example, checking if a file exists and then creating it if it doesn't is vulnerable to
16
+ //! TOCTOU - another process could create the file between your check and creation attempt.
17
+ //!
18
+ //! Another example is with symbolic links: when removing a directory, if another process replaces
19
+ //! the directory with a symbolic link between the check and the removal operation, the removal
20
+ //! might affect the wrong location. This is why operations like [`remove_dir_all`] need to use
21
+ //! atomic operations to prevent such race conditions.
22
+ //!
23
+ //! To avoid TOCTOU issues:
24
+ //! - Be aware that metadata operations (like [`metadata`] or [`symlink_metadata`]) may be affected by
25
+ //! changes made by other processes.
26
+ //! - Use atomic operations when possible (like [`File::create_new`] instead of checking existence then creating).
27
+ //! - Keep file open for the duration of operations.
7
28
8
29
#![ stable( feature = "rust1" , since = "1.0.0" ) ]
9
30
#![ deny( unsafe_op_in_unsafe_fn) ]
@@ -549,13 +570,14 @@ impl File {
549
570
/// non-exhaustive list of likely errors.
550
571
///
551
572
/// This option is useful because it is atomic. Otherwise between checking whether a file
552
- /// exists and creating a new one, the file may have been created by another process (a TOCTOU
573
+ /// exists and creating a new one, the file may have been created by another process (a [ TOCTOU]
553
574
/// race condition / attack).
554
575
///
555
576
/// This can also be written using
556
577
/// `File::options().read(true).write(true).create_new(true).open(...)`.
557
578
///
558
579
/// [`AlreadyExists`]: crate::io::ErrorKind::AlreadyExists
580
+ /// [TOCTOU]: self#time-of-check-to-time-of-use-toctou
559
581
///
560
582
/// # Examples
561
583
///
@@ -1580,7 +1602,7 @@ impl OpenOptions {
1580
1602
///
1581
1603
/// This option is useful because it is atomic. Otherwise between checking
1582
1604
/// whether a file exists and creating a new one, the file may have been
1583
- /// created by another process (a TOCTOU race condition / attack).
1605
+ /// created by another process (a [ TOCTOU] race condition / attack).
1584
1606
///
1585
1607
/// If `.create_new(true)` is set, [`.create()`] and [`.truncate()`] are
1586
1608
/// ignored.
@@ -1591,6 +1613,7 @@ impl OpenOptions {
1591
1613
/// [`.create()`]: OpenOptions::create
1592
1614
/// [`.truncate()`]: OpenOptions::truncate
1593
1615
/// [`AlreadyExists`]: io::ErrorKind::AlreadyExists
1616
+ /// [TOCTOU]: self#time-of-check-to-time-of-use-toctou
1594
1617
///
1595
1618
/// # Examples
1596
1619
///
@@ -2924,17 +2947,17 @@ pub fn remove_dir<P: AsRef<Path>>(path: P) -> io::Result<()> {
2924
2947
/// `GetFileInformationByHandleEx`, `SetFileInformationByHandle`, and `NtCreateFile`.
2925
2948
///
2926
2949
/// ## Time-of-check to time-of-use (TOCTOU) race conditions
2927
- /// On a few platforms there is no way to remove a directory's contents without following symlinks
2928
- /// unless you perform a check and then operate on paths based on that directory.
2929
- /// This allows concurrently-running code to replace the directory with a symlink after the check,
2930
- /// causing a removal to instead operate on a path based on the symlink. This is a TOCTOU race.
2931
- /// By default, `fs::remove_dir_all` protects against a symlink TOCTOU race on all platforms
2932
- /// except the following. It should not be used in security-sensitive contexts on these platforms:
2933
- /// - Miri: Even when emulating targets where the underlying implementation will protect against
2934
- /// TOCTOU races, Miri will not do so.
2935
- /// - Redox OS: This function does not protect against TOCTOU races, as Redox does not implement
2936
- /// the required platform support to do so.
2950
+ /// See the [module-level TOCTOU explanation](self#time-of-check-to-time-of-use-toctou).
2951
+ ///
2952
+ /// On most platforms, `fs::remove_dir_all` protects against symlink TOCTOU races by default.
2953
+ /// However, on the following platforms, this protection is not provided and the function should
2954
+ /// not be used in security-sensitive contexts:
2955
+ /// - **Miri**: Even when emulating targets where the underlying implementation will protect against
2956
+ /// TOCTOU races, Miri will not do so.
2957
+ /// - **Redox OS**: This function does not protect against TOCTOU races, as Redox does not implement
2958
+ /// the required platform support to do so.
2937
2959
///
2960
+ /// [TOCTOU]: self#time-of-check-to-time-of-use-toctou
2938
2961
/// [changes]: io#platform-specific-behavior
2939
2962
///
2940
2963
/// # Errors
@@ -3208,7 +3231,7 @@ impl AsInnerMut<fs_imp::DirBuilder> for DirBuilder {
3208
3231
/// permission is denied on one of the parent directories.
3209
3232
///
3210
3233
/// Note that while this avoids some pitfalls of the `exists()` method, it still can not
3211
- /// prevent time-of-check to time-of-use (TOCTOU) bugs. You should only use it in scenarios
3234
+ /// prevent time-of-check to time-of-use ([ TOCTOU] ) bugs. You should only use it in scenarios
3212
3235
/// where those bugs are not an issue.
3213
3236
///
3214
3237
/// # Examples
@@ -3221,6 +3244,7 @@ impl AsInnerMut<fs_imp::DirBuilder> for DirBuilder {
3221
3244
/// ```
3222
3245
///
3223
3246
/// [`Path::exists`]: crate::path::Path::exists
3247
+ /// [TOCTOU]: self#time-of-check-to-time-of-use-toctou
3224
3248
#[ stable( feature = "fs_try_exists" , since = "1.81.0" ) ]
3225
3249
#[ inline]
3226
3250
pub fn exists < P : AsRef < Path > > ( path : P ) -> io:: Result < bool > {
0 commit comments