GHSA-9FJQ-45QV-PCM7
Vulnerability from github – Published: 2025-12-26 18:55 – Updated: 2025-12-26 18:55
VLAI?
Summary
ruint affected by 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.
Severity ?
{
"affected": [
{
"package": {
"ecosystem": "crates.io",
"name": "ruint"
},
"ranges": [
{
"events": [
{
"introduced": "0"
},
{
"last_affected": "1.17.0"
}
],
"type": "ECOSYSTEM"
}
]
}
],
"aliases": [],
"database_specific": {
"cwe_ids": [
"CWE-119"
],
"github_reviewed": true,
"github_reviewed_at": "2025-12-26T18:55:53Z",
"nvd_published_at": null,
"severity": "MODERATE"
},
"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!`.\n\nWhen compiled in release mode, the `debug_assert!` is optimized out, potentially allowing invalid inputs to cause memory corruption.",
"id": "GHSA-9fjq-45qv-pcm7",
"modified": "2025-12-26T18:55:53Z",
"published": "2025-12-26T18:55:53Z",
"references": [
{
"type": "WEB",
"url": "https://github.com/recmo/uint/issues/550"
},
{
"type": "PACKAGE",
"url": "https://github.com/recmo/uint"
},
{
"type": "WEB",
"url": "https://github.com/recmo/uint/blob/17c9b3e9062f74a39701e68dec358375595d33d7/src/algorithms/div/reciprocal.rs#L79-L87"
},
{
"type": "WEB",
"url": "https://rustsec.org/advisories/RUSTSEC-2025-0137.html"
}
],
"schema_version": "1.4.0",
"severity": [
{
"score": "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",
"type": "CVSS_V4"
}
],
"summary": "ruint affected by unsoundness of safe `reciprocal_mg10`"
}
Loading…
Loading…
Sightings
| Author | Source | Type | Date |
|---|
Nomenclature
- Seen: The vulnerability was mentioned, discussed, or observed by the user.
- Confirmed: The vulnerability has been validated from an analyst's perspective.
- Published Proof of Concept: A public proof of concept is available for this vulnerability.
- Exploited: The vulnerability was observed as exploited by the user who reported the sighting.
- Patched: The vulnerability was observed as successfully patched by the user who reported the sighting.
- Not exploited: The vulnerability was not observed as exploited by the user who reported the sighting.
- Not confirmed: The user expressed doubt about the validity of the vulnerability.
- Not patched: The vulnerability was not observed as successfully patched by the user who reported the sighting.
Loading…
Loading…