RUSTSEC-2025-0137

Source
https://rustsec.org/advisories/RUSTSEC-2025-0137
Import Source
https://github.com/rustsec/advisory-db/blob/osv/crates/RUSTSEC-2025-0137.json
JSON Data
https://api.osv.dev/v1/vulns/RUSTSEC-2025-0137
Aliases
Published
2025-12-22T12:00:00Z
Modified
2025-12-28T09:55:04.497626Z
Summary
Unsoundness of safe `reciprocal_mg10`
Details

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.

Database specific
{
    "license": "CC0-1.0"
}
References

Affected packages

crates.io / ruint

Package

Affected ranges

Type
SEMVER
Events
Introduced
0.0.0-0
Fixed
1.17.1

Ecosystem specific

{
    "affected_functions": null,
    "affects": {
        "arch": [],
        "functions": [
            "ruint::algorithms::div::reciprocal_mg10"
        ],
        "os": []
    }
}

Database specific

cvss

null

source

"https://github.com/rustsec/advisory-db/blob/osv/crates/RUSTSEC-2025-0137.json"

categories

[
    "memory-corruption"
]

informational

null