Cyber Resilience

CVE-2025-61554

Published
16 October 2025
Modified
15 April 2026
CVSS Score v3.1 5.5
Click a component to see what it means
Raw vectorCVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H
EPSS Score 0.0014 4th percentile
Risk Priority 35 floored blend · peak EPSS

Summary

CVE-2025-61554 is a medium-severity Divide By Zero (CWE-369) vulnerability in Sourceforge (inferred from references). Its CVSS base score is 5.5 (Medium).

Operationally, exploitation aligns with the MITRE ATT&CK technique Application or System Exploitation (T1499.004); ranked at the 4th percentile by exploit likelihood (below the median); it is not currently listed in the CISA KEV catalog.

The strongest mitigations our analysis identified map to SI-10 (Information Input Validation) and SI-11 (Error Handling) — see the control section below for these in your framework.

OWASP Top 10 for Web (2025)

EU & UK References

Vulnerability Data

A divide-by-zero in VirtIO network device emulation in BitVisor from commit 108df6 (2020-05-20) to commit 480907 (2025-07-06) allows local attackers to cause a denial of service (host hypervisor crash) via a crafted PCI configuration space access.

CWE(s)

Related Threats

MITRE ATT&CK Enterprise TechniquesAI

T1499.004 Application or System Exploitation Impact
Adversaries may exploit software vulnerabilities that can cause an application or system to crash and deny availability to users.
Why these techniques?

Divide-by-zero in VirtIO network device emulation enables an adversary to crash the host hypervisor via crafted PCI configuration space access, directly mapping to Application or System Exploitation for Endpoint DoS.

Confidence: HIGH · MITRE ATT&CK Enterprise v19.0

CVEs Like This One

CVE-2026-10679Shared CWE-369
CVE-2026-46184Shared CWE-369
CVE-2026-46161Shared CWE-369
CVE-2026-25169Shared CWE-369
CVE-2026-21996Shared CWE-369
CVE-2024-33766Shared CWE-369
CVE-2026-43411Shared CWE-369
CVE-2026-46469Shared CWE-369
CVE-2026-43182Shared CWE-369
CVE-2025-71006Shared CWE-369

Affected Assets

Sourceforge
inferred from references and description; NVD did not file a CPE for this CVE

Mitigating Controls

Control response

Prevent
Stop it (NIST 800-53)
  • SI-10 Information Input Validation
  • SI-11 Error Handling
  • SI-2 Flaw Remediation
Detect
Catch it (NIST detect / respond)

Harden
Shrink the surface (DISA STIG)

Validate
Prove the fix (OWASP ASVS)

Mitigating Controls (NIST 800-53 r5) AI

prevent

Directly validates PCI configuration space inputs to the VirtIO emulation, blocking the crafted values that trigger the divide-by-zero.

prevent

Ensures divide-by-zero errors in device emulation are handled gracefully rather than crashing the BitVisor hypervisor.

prevent

Requires prompt application of patches that eliminate the divide-by-zero flaw in the VirtIO network emulation code.

Mitigating Controls (NIST CSF 2.0) AI

Derived directly from the weakness types (CWEs) cited in the NVD entry via our AI-authored CWE→CSF cross-walk (authority under review) — links open the control.

PR.PS-06 mostly match
prevents

Secure SDLC practices directly include code analysis, input validation, and testing that prevent divide-by-zero errors.

ID.RA-01 partial match
prevents

Vulnerability identification processes can discover divide-by-zero flaws via static analysis or testing.

PR.PS-02 partial match
prevents

Routine patching and replacement can remediate divide-by-zero bugs present in deployed software.

Mitigating Controls (ISO/IEC 27001:2022 Annex A) AI

Derived directly from the weakness types (CWEs) cited in the NVD entry via our AI-authored CWE→ISO cross-walk (authority under review) — links open the control.

detects

Security testing in development can detect divide-by-zero conditions before release.

prevents

Secure development lifecycle includes input validation and error-handling practices that can prevent divide-by-zero faults.

prevents

Application security requirements can mandate checks for zero denominators and safe arithmetic handling.

prevents

Secure architecture principles encourage defensive coding patterns that avoid arithmetic exceptions.

prevents

Secure coding standards directly require validation to prevent divide-by-zero and similar runtime faults.

References