- Reported
-
- Issued
-
- Package
-
direct_ring_buffer
(crates.io)
- Type
-
INFO
Unsound
- Categories
-
- Keywords
-
#uninitialized-memory
#soundness
- Aliases
-
- References
-
- Patched
-
- Affected Functions
- Version
direct_ring_buffer::create_ring_buffer
-
Description
The safe function create_ring_buffer allocates a buffer using Vec::with_capacity followed by set_len, creating a Box<[T]> containing uninitialized memory.
This leads to undefined behavior when functions like write_slices create typed slices (e.g., &mut [bool]) over the uninitialized memory, violating Rust's validity invariants. The issue has been confirmed using Miri.
Fixed in version 0.2.2 by using resize_with to properly initialize the buffer with T::default(), adding a T: Default bound to ensure sound initialization.
Advisory available under CC0-1.0
license.