static-alloc vulnerability leads to uninitialized read after allocating MemBump
Low severity
GitHub Reviewed
Published
Jul 11, 2025
to the GitHub Advisory Database
•
Updated Jul 11, 2025
Description
Published to the GitHub Advisory Database
Jul 11, 2025
Reviewed
Jul 11, 2025
Last updated
Jul 11, 2025
The affected function,
MemBump::new()
, would allocate memory without initializing it. Subsequently calling the created value's variousalloc
methods would then read and write the start of that memory as aCell
which isundefined behavior. Instead, it should zero initialize the start of the allocated memory.For instance, some values could violate the internal invariants of the type and cause an assertion failure. Nevertheless, no deterministic read is known tocause further uninitialized memory to be exposed.
Affected downstream users that can not upgrade are advised to call
MemBump::reset
immediately after allocation to manually perform the missing write of the counter best-as-possible.The flaw was corrected in commit d8d6a7d096d3aaafd963b356a8f1bbd8d26fd967 by zeroing the Cell at the start of the allocated memory.
References