// For flags

CVE-2025-3857

Infinite loop condition in Amazon.IonDotnet

Severity Score

8.7
*CVSS v4

Exploit Likelihood

*EPSS

Affected Versions

*CPE

Public Exploits

0
*Multiple Sources

Exploited in Wild

-
*KEV

Decision

Attend
*SSVC
Descriptions

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.

Al leer datos binarios de Ion a través de Amazon.IonDotnet con la clase RawBinaryReader, Amazon.IonDotnet no comprueba el número de bytes leídos del flujo subyacente al deserializar el formato binario. Si los datos de Ion están malformados o truncados, se activa un bucle infinito que podría resultar en una denegación de servicio. Los usuarios deben actualizar a la versión 1.3.1 de Amazon.IonDotnet y asegurarse de que cualquier código bifurcado o derivado esté parcheado para incorporar las nuevas correcciones.

*Credits: N/A
CVSS Scores
Attack Vector
Network
Attack Complexity
Low
Attack Requirements
None
Privileges Required
None
User Interaction
None
System
Vulnerable | Subsequent
Confidentiality
None
None
Integrity
None
None
Availability
High
None
Attack Vector
Network
Attack Complexity
Low
Privileges Required
None
User Interaction
None
Scope
Unchanged
Confidentiality
None
Integrity
None
Availability
High
Attack Vector
Network
Attack Complexity
Low
Authentication
None
Confidentiality
None
Integrity
None
Availability
Complete
* Common Vulnerability Scoring System
SSVC
  • Decision:Attend
Exploitation
None
Automatable
Yes
Tech. Impact
Partial
* Organization's Worst-case Scenario
Timeline
  • 2025-04-21 CVE Reserved
  • 2025-04-21 CVE Published
  • 2025-04-23 CVE Updated
  • 2025-06-28 EPSS Updated
  • ---------- Exploited in Wild
  • ---------- KEV Due Date
  • ---------- First Exploit
CWE
  • CWE-502: Deserialization of Untrusted Data
  • CWE-835: Loop with Unreachable Exit Condition ('Infinite Loop')
CAPEC
  • CAPEC-153: Input Data Manipulation
Affected Vendors, Products, and Versions
Vendor Product Version Other Status
Vendor Product Version Other Status <-- --> Vendor Product Version Other Status
Amazon
Search vendor "Amazon"
 Amazon Ion Dotnet
Search vendor "Amazon" for product "Amazon Ion Dotnet"
 < 1.3.1
Search vendor "Amazon" for product "Amazon Ion Dotnet" and version " < 1.3.1"
en
Affected