Ecosyste.ms: Advisories

Security Advisories: GSA_kwCzR0hTQS1jMmhtLW1qeHYtODlyNM4AA1rG

Multiple soundness issues in lexical

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.

Permalink: https://github.com/advisories/GHSA-c2hm-mjxv-89r4
JSON: https://advisories.ecosyste.ms/api/v1/advisories/GSA_kwCzR0hTQS1jMmhtLW1qeHYtODlyNM4AA1rG
Source: GitHub Advisory Database
Origin: Unspecified
Severity: Low
Classification: General
Published: about 1 year ago
Updated: 2 months ago

Identifiers: GHSA-c2hm-mjxv-89r4
References:

• https://github.com/Alexhuszagh/rust-lexical
• https://rustsec.org/advisories/RUSTSEC-2023-0055.html
• https://github.com/advisories/GHSA-c2hm-mjxv-89r4

Repository: https://github.com/Alexhuszagh/rust-lexical
Blast Radius: 0.0

Affected Packages