OCaml: Arbitrary code execution — GLSA 202007-48

An integer overflow was discovered in OCaml's standard library, possibly allowing arbitrary execution of code.

Affected packages

dev-lang/ocaml on all architectures
Affected versions < 4.09.0
Unaffected versions >= 4.09.0

Background

OCaml is a high-level, strongly-typed, functional, and object-oriented programming language from the ML family of languages

Description

The caml_ba_deserialize function in byterun/bigarray.c in the standard library of OCaml has an integer overflow.

Impact

A remote attacker could possibly execute arbitrary code with the privileges of the process, or cause a Denial of Service condition.

Workaround

There is no known workaround at this time.

Resolution

All OCaml users should upgrade to the latest version:

 # emerge --sync
 # emerge --ask --oneshot --verbose ">=dev-lang/ocaml-4.09.0"
 

References

Release date
July 27, 2020

Latest revision
July 27, 2020: 2

Severity
normal

Exploitable
remote

Bugzilla entries