RUSTSEC-2023-0055

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

lexical 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

The crate also has some correctness issues.

Alternatives

For quickly parsing floating-point numbers third-party crates are no longer needed. A fast float parsing algorithm by the author of lexical has been merged into libcore.

For quickly parsing integers, consider atoi and btoi crates (100% safe code). atoi_radix10 provides even faster parsing, but only with -C target-cpu=native, and at the cost of some unsafe.

For formatting integers in a #[no_std] context consider the numtoa crate.

For working with big numbers consider num-bigint and num-traits.

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

Affected packages

crates.io / lexical

Package

Affected ranges

Type
SEMVER
Events
Introduced
0.0.0-0
Fixed
7.0.0

Ecosystem specific

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

Database specific

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