CVE-2025-3857

Infinite loop condition in Amazon.IonDotnet

State: Published
Severity: 8.7 High
Published: Apr 21, 2025
Updated: Oct 14, 2025
Reserved: Apr 21, 2025

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.

Scores

CVSS	Score	Vector	Source
4.0	8.7 High	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	AMZN
3.1	7.5 High	CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H	AMZN

Weaknesses

CWE-835 Loop with Unreachable Exit Condition ('Infinite Loop')
CWE-502 Deserialization of Untrusted Data

Affected Products

Product	Versions
Amazon Ion DotnetAmazon	before 1.3.1Affected

References

https://aws.amazon.com/security/security-bulletins/AWS-2025-009/vendor-advisory
https://github.com/amazon-ion/ion-dotnet/security/advisories/GHSA-gm2p-wf5c-w3pjthird-party-advisory
https://github.com/amazon-ion/ion-dotnet/releases/tag/v1.3.1patch

Every record here comes from the CVE Program’s CVE List. © 1999–2026 The MITRE Corporation. CVE is a registered trademark of The MITRE Corporation. The records are reproduced under the CVE Program terms of use.