User-defined implementations of the safe trait scratchpad::Tracking can cause heap buffer overflows
Moderate severity
GitHub Reviewed
Published
Aug 14, 2025
to the GitHub Advisory Database
•
Updated Aug 14, 2025
Description
Published to the GitHub Advisory Database
Aug 14, 2025
Reviewed
Aug 14, 2025
Last updated
Aug 14, 2025
The
get
andset
methods of the public traitscratchpad::Tracking
interact with unsafe code regions in the crate, and they influence the computation of addresses returned as raw pointers. However, the trait itself is not marked as unsafe, meaning users may provide custom implementations under the assumption that the crate upholds all safety guarantees.This becomes problematic because even safe implementations of
get
andset
-written without using any unsafe code-can still result in ill-formed raw pointers. These pointers may later be dereferenced within safe APIs of the crate (e.g.,marker::MarkerBack::allocate_slice_copy
), potentially leading to arbitrary memory access or heap buffer overflows.According to the penultimate commit, the crate is in maintenance mode awaiting a cleanup that will reduce the area of unsafe code. Note that the last commits to the repository are from 4 years ago.
References