RUSTSEC-2023-0070

    Dashboard / Vulnerabilities / RUSTSEC-2023-0070

    RUSTSEC-2023-0070

    Published: 10 Nov 2023Last Modified: 10 Feb 2024

    Summary: Insufficient covariance check makes self_cell unsound

    Details: All public versions prior to `1.02` used an insufficient check to ensure that users correctly marked the dependent type as either `covariant` or `not_covariant`. This allowed users to mark a dependent as covariant even though its type was not covariant but invariant, for certain invariant types involving trait object lifetimes. One example for such a dependent type is `type Dependent<'a> = RefCell<Box<dyn fmt::Display + 'a>>`. Such a type allowed unsound usage in purely safe user code that leads to undefined behavior. The patched versions now produce a compile time error if such a type is marked as `covariant`.

    References: https://crates.io/crates/self_cell, https://rustsec.org/advisories/RUSTSEC-2023-0070.html, https://github.com/Voultapher/self_cell/issues/49

    Affected packages

    Package

    Name: self_cell

    Purl: pkg:cargo/self_cell

    Affected ranges

    Type: SEMVER

    Events:

    Introduced- 0.0.0-0
    Fixed -0.10.3

    Affected versions

    Common Vulnerability Scoring System

    Attack Vector
    Network
    Adjacent
    Local
    Physical
    Privileges Required
    None
    Low
    High
    User Interaction
    None
    Required
    Scope
    Unchanged
    Changed
    Confidentiality
    None
    Low
    High
    Integrity
    None
    Low
    High
    Availability
    None
    Low
    High
    RUSTSEC-2023-0070 | CVE-DB