RUSTSEC-2021-0031

Source
https://rustsec.org/advisories/RUSTSEC-2021-0031
Import Source
https://github.com/rustsec/advisory-db/blob/osv/crates/RUSTSEC-2021-0031.json
JSON Data
https://api.osv.dev/v1/vulns/RUSTSEC-2021-0031
Aliases
Published
2021-01-31T12:00:00Z
Modified
2023-11-08T04:05:27.788398Z
Severity
  • 9.8 (Critical) CVSS_V3 - CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H CVSS Calculator
Summary
split_at allows obtaining multiple mutable references to the same data
Details

Affected versions of this crate assumed that Borrow<Idx> was guaranteed to return the same value on .borrow(). The borrowed index value was used to retrieve a mutable reference to a value.

If the Borrow<Idx> implementation returned a different index, the split arena would allow retrieving the index as a mutable reference creating two mutable references to the same element. This violates Rust's aliasing rules and allows for memory safety issues such as writing out of bounds and use-after-frees.

The flaw was corrected in commit 6b83f9d by storing the .borrow() value in a temporary variable.

Database specific
{
    "license": "CC0-1.0"
}
References

Affected packages

crates.io / nano_arena

Package

Affected ranges

Type
SEMVER
Events
Introduced
0.0.0-0
Fixed
0.5.2

Ecosystem specific

{
    "affects": {
        "arch": [],
        "functions": [
            "nano_arena::Arena::split_at",
            "nano_arena::ArenaSplit::split_at"
        ],
        "os": []
    },
    "affected_functions": null
}

Database specific

{
    "categories": [
        "memory-corruption"
    ],
    "informational": null,
    "cvss": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H"
}