alexhuszagh/rust-lexical · Security
lexical-core has multiple soundness issues
- GHSA ID
- GHSA-2326-pfpj-vx3h
- Severity
- low
- Published
- Updated
Description
RUSTSEC-2024-0377 contains multiple soundness issues:
- Bytes::read() allows creating instances of types with invalid bit patterns
- BytesIter::read() advances iterators out of bounds
- The
BytesItertrait has safety invariants but is public and not markedunsafe write_float()callsMaybeUninit::assume_init()on uninitialized data, which is is not allowed by the Rust abstract machineradix()callsMaybeUninit::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
- https://github.com/Alexhuszagh/rust-lexical/issues/101 ↗
- https://github.com/Alexhuszagh/rust-lexical/issues/102 ↗
- https://github.com/Alexhuszagh/rust-lexical/issues/104 ↗
- https://github.com/Alexhuszagh/rust-lexical/issues/126 ↗
- https://github.com/Alexhuszagh/rust-lexical/issues/95 ↗
- https://github.com/advisories/GHSA-c2hm-mjxv-89r4 ↗
- https://rustsec.org/advisories/RUSTSEC-2023-0055 ↗
- https://rustsec.org/advisories/RUSTSEC-2023-0086.html ↗
- https://github.com/advisories/GHSA-2326-pfpj-vx3h ↗