Skip to main content

Ocaml EUVDEUVD-2026-16555

| CVE-2026-34353 MEDIUM
Integer Overflow or Wraparound (CWE-190)
2026-03-27 mitre
Buffer Overflow Integer Overflow Ocaml
5.9
CVSS 3.1 · NVD
Share

Severity by source

NVD PRIMARY
5.9 MEDIUM
AV:L/AC:H/PR:N/UI:N/S:C/C:H/I:N/A:N
SUSE
MEDIUM
qualitative
Red Hat
5.9 MEDIUM
qualitative

Primary rating from NVD.

CVSS VectorNVD

Attack Vector
Local
Attack Complexity
High
Privileges Required
None
User Interaction
None
Scope
Changed
Confidentiality
High
Integrity
None
Availability
None

Lifecycle Timeline

4
Patch released
Mar 31, 2026 - 21:13 nvd
Patch available
EUVD ID Assigned
Mar 27, 2026 - 05:30 euvd
EUVD-2026-16555
Analysis Generated
Mar 27, 2026 - 05:30 vuln.today
CVE Published
Mar 27, 2026 - 04:55 nvd
MEDIUM 5.9

DescriptionCVE.org

In OCaml through 4.14.3, Bigarray.reshape allows an integer overflow, and resultant reading of arbitrary memory, when untrusted data is processed.

AnalysisAI

OCaml's Bigarray.reshape function contains an integer overflow vulnerability that permits unauthenticated local attackers to read arbitrary memory contents when processing untrusted input. Affected versions through 4.14.3 allow an attacker with local access to trigger the overflow condition, bypassing memory protections and potentially exposing sensitive data including cryptographic keys or process memory. No public exploit code or active exploitation has been confirmed at time of analysis.

Technical ContextAI

The vulnerability exists in OCaml's Bigarray module, a component providing multi-dimensional array operations. The reshape function performs dimension calculation without proper bounds checking, allowing integer overflow during size computations. This is a classic CWE-190 (Integer Overflow or Wraparound) vulnerability where the calculated reshaped array size overflows, resulting in undersized memory allocation. When subsequent operations read from the Bigarray using the legitimate but overflowed dimension values, memory access extends beyond the allocated buffer into adjacent heap or process memory. The affected product is identified via CPE as cpe:2.3:a:ocaml:ocaml:*:*:*:*:*:*:*:* covering all OCaml versions up to and including 4.14.3.

RemediationAI

Upgrade to a patched OCaml release beyond 4.14.3 once available from the official OCaml project. The upstream fix has been addressed in pull request #14674 on GitHub (https://github.com/ocaml/ocaml/pull/14674); however, the exact released version number containing this fix is not independently confirmed in available data. Monitor the OCaml project releases page and security advisories for the first tagged release incorporating this patch. Until patching is possible, restrict Bigarray.reshape operations on untrusted input by validating dimension parameters, implementing input sanitization to ensure reshape dimensions cannot trigger integer overflow conditions, and limiting the scope of untrusted data processed through Bigarray operations in multi-tenant or high-security contexts.

More in Ocaml

View all
CVE-2017-9772 CRITICAL
9.8 Jun 23

Insufficient sanitisation in the OCaml compiler versions 4.04.0 and 4.04.1 allows external code to be executed with rais
CVE-2015-8869 CRITICAL
9.1 Jun 13

OCaml before 4.03.0 does not properly handle sign extensions, which allows remote attackers to conduct buffer overflow a
CVE-2018-9838 CRITICAL
9.8 Apr 06

The caml_ba_deserialize function in byterun/bigarray.c in the standard library in OCaml 4.06.0 has an integer overflow w
CVE-2026-89086 CRITICAL
9.1 Sep 10

Signature verification bypass in the OCaml jose library (ulrikstrid/ocaml-jose) before 0.11.0 lets attackers forge valid
CVE-2017-9779 HIGH
7.8 Sep 07

OCaml compiler allows attackers to have unspecified impact via unknown vectors, a similar issue to CVE-2017-9772 "but wi
CVE-2026-28364 HIGH
7.8 Feb 27

Heap memory corruption in the OCaml runtime (before 4.14.3 and 5.x before 5.4.1) lets an attacker who can feed crafted M
CVE-2026-41082 HIGH
7.8 Apr 16

Arbitrary file write in OCaml opam before 2.5.1 allows a malicious package to escape its intended installation scope: a

CVE-2026-87734 HIGH
7.5 Sep 09

Remote denial of service in the utcp OCaml TCP userspace library before version 0.0.6 is possible via crafted out-of-ord
CVE-2026-89087 HIGH
7.3 Sep 10

Index mishandling in the OCaml cstruct library before 6.3.0 allows network-reachable attackers to trigger partial confid
CVE-2026-87733 MEDIUM
6.2 Sep 09

ECDSA signature forgery is possible in mirage-crypto-ec before 2.2.0 for OCaml because the P256, P384, and P521 pub_of_o
CVE-2026-87732 MEDIUM
6.2 Sep 09

Authenticated decryption in mirage-crypto before 2.2.0 for OCaml violates the security invariant of AEAD schemes by writ
CVE-2026-87737 MEDIUM
5.9 Sep 09

Timing side-channel in mirage-crypto-ec before 2.4.0 for OCaml enables remote cryptographic key recovery by exploiting s

Same weakness CWE-190 – Integer Overflow or Wraparound

View all
CVE-2013-2729 CRITICAL POC
9.8
CVE-2015-8651 HIGH
8.8
CVE-2012-5054 HIGH POC
8.8
CVE-2014-0569 CRITICAL POC
9.3
CVE-2023-21716 CRITICAL POC
9.8
CVE-2017-3599 HIGH POC
7.5
CVE-2017-7529 HIGH
7.5
CVE-2016-1010 HIGH
8.8

Same technique Buffer Overflow

View all
CVE-2017-7269 CRITICAL POC
9.8
CVE-2015-5119 CRITICAL POC
9.8
CVE-2015-3113 CRITICAL POC
9.8
CVE-2011-2462 CRITICAL POC
9.8
CVE-2020-0796 CRITICAL POC
10.0
CVE-2019-11043 CRITICAL POC
9.8
CVE-2009-0927 HIGH POC
8.8
CVE-2012-1889 HIGH POC
8.8

Vendor StatusVendor

SUSE

Severity: Medium
Product Status
SUSE Linux Enterprise Desktop 15 SP7 Fixed
SUSE Linux Enterprise High Performance Computing 15 SP7 Fixed
SUSE Linux Enterprise Module for Development Tools 15 SP7 Fixed
SUSE Linux Enterprise Server 15 SP7 Fixed
SUSE Linux Enterprise Server for SAP Applications 15 SP7 Fixed

Share

EUVD-2026-16555 vulnerability details – vuln.today
Back

This site uses cookies essential for authentication and security. No tracking or analytics cookies are used. Privacy Policy