CVE-2025-3857 | THREATINT

Description

When reading binary Ion data through Amazon.IonDotnet using the RawBinaryReader class, Amazon.IonDotnet does not check the number of bytes read from the underlying stream while deserializing the binary format. If the Ion data is malformed or truncated, this triggers an infinite loop condition that could potentially result in a denial of service. Users should upgrade to Amazon.IonDotnet version 1.3.1 and ensure any forked or derivative code is patched to incorporate the new fixes.

PUBLISHED Reserved 2025-04-21 | Published 2025-04-21 | Updated 2025-10-14 | Assigner AMZN

HIGH: 8.7CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N

HIGH: 7.5CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H

Problem types

CWE-835 Loop with Unreachable Exit Condition ('Infinite Loop')

CWE-502 Deserialization of Untrusted Data

Product status

Default status

unaffected

Any version before 1.3.1

affected

References

aws.amazon.com/security/security-bulletins/AWS-2025-009/ vendor-advisory

github.com/...dotnet/security/advisories/GHSA-gm2p-wf5c-w3pj third-party-advisory

github.com/amazon-ion/ion-dotnet/releases/tag/v1.3.1 patch

cve.org (CVE-2025-3857)

nvd.nist.gov (CVE-2025-3857)

Download JSON