RUSTSEC-2023-0086

See a problem?
Source
https://rustsec.org/advisories/RUSTSEC-2023-0086
Import Source
https://github.com/rustsec/advisory-db/blob/osv/crates/RUSTSEC-2023-0086.json
JSON Data
https://api.osv.dev/v1/vulns/RUSTSEC-2023-0086
Related
Published
2023-09-03T12:00:00Z
Modified
2024-09-16T14:16:22Z
Summary
Multiple soundness issues
Details

RUSTSEC-2024-0377 contains multiple soundness issues:

  1. Bytes::read() allows creating instances of types with invalid bit patterns
  2. BytesIter::read() advances iterators out of bounds
  3. The BytesIter trait has safety invariants but is public and not marked unsafe
  4. write_float() calls MaybeUninit::assume_init() on uninitialized data, which is is not allowed by the Rust abstract machine
  5. radix() calls MaybeUninit::assume_init() on uninitialized data, which is is not allowed by the Rust abstract machine

Version 1.0 fixes these issues, removes the vast majority of unsafe code, and also fixes some correctness issues.

References

Affected packages

crates.io / lexical-core

Package

Name
lexical-core
View open source insights on deps.dev
Purl
pkg:cargo/lexical-core

Affected ranges

Type
SEMVER
Events
Introduced
0.0.0-0
Fixed
1.0.0

Ecosystem specific 

{
    "affected_functions": null,
    "affects": {
        "os": [],
        "functions": [],
        "arch": []
    }
}

Database specific 

{
    "cvss": null,
    "informational": "unsound",
    "categories": []
}