recmo/uint · Security
ruint affected by unsoundness of safe `reciprocal_mg10`
- GHSA ID
- GHSA-9fjq-45qv-pcm7
- Severity
- medium
- Published
- Updated
- CVSS v4
- 6.6 · CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N/E:U
Description
The function reciprocal_mg10 is marked as safe but can trigger undefined behavior (out-of-bounds access) because it relies on debug_assert! for safety checks instead of assert!.
When compiled in release mode, the debug_assert! is optimized out, potentially allowing invalid inputs to cause memory corruption.
CWEs
- CWE-119 · Improper Restriction of Operations within the Bounds of a Memory Buffer