Skip to main content
VulnerabilityPublished

Ocaml: Ephemeron data is freed while still referenced when the key is an `Infix_tag` closure

Affects ocamlSource GCVE Database

0

Public exploit available · CVSS 8.3 High : upgrade to 4.14.5 as a priority.

Data as of 6 Nov 2026, 15:37 UTC

CVSS 4.0 base score
8.3High
How severe the flaw is on the 0–10 CVSS scale.
Patch
Available – fixed in 4.14.5
CVSS:4.0/AV:N/AC:L/AT:P/PR:N/UI:N/VC:L/VI:L/VA:H/SC:N/SI:N/SA:N/E:P

What to do

Upgrade ocaml to 4.14.5.

Affected software

ProductAffectedFixed in
opamocamlpkg:opam/ocamlOther threatsAffected
  • <4.14.5
Fixed in
  • 4.14.5

Check your own hosts for these packages with threat-finder (opens in a new tab), our free open-source scanner.

AI-suggested

A fix is available in OCaml version 4.14.5. Users should upgrade to version 4.14.5 or later to remediate this vulnerability. No additional mitigation steps are indicated by the vendor advisory.

Description

A memory safety issue exists in OCaml versions before 4.14.5 involving ephemerons whose keys are closures with the Infix_tag. During garbage collection, the ephemeron's data can be freed while still referenced, leading to a use-after-free condition. This flaw was fixed in OCaml 4.14.5.

Community reviews

Loading reviews…