- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Gentoo Linux Security Advisory                           GLSA 202007-48
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                                           https://security.gentoo.org/
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

 Severity: Normal
    Title: OCaml: Arbitrary code execution
     Date: July 27, 2020
     Bugs: #719134
       ID: 202007-48

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

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

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

Affected packages
================
    -------------------------------------------------------------------
     Package              /     Vulnerable     /            Unaffected
    -------------------------------------------------------------------
  1  dev-lang/ocaml               < 4.09.0                  >= 4.09.0

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 ">Þv-lang/ocaml-4.09.0"

References
=========
[ 1 ] CVE-2018-9838
      https://nvd.nist.gov/vuln/detail/CVE-2018-9838

Availability
===========
This GLSA and any updates to it are available for viewing at
the Gentoo Security Website:

 https://security.gentoo.org/glsa/202007-48

Concerns?
========
Security is a primary focus of Gentoo Linux and ensuring the
confidentiality and security of our users' machines is of utmost
importance to us. Any security concerns should be addressed to
security@gentoo.org or alternatively, you may file a bug at
https://bugs.gentoo.org.

License
======
Copyright 2020 Gentoo Foundation, Inc; referenced text
belongs to its owner(s).

The contents of this document are licensed under the
Creative Commons - Attribution / Share Alike license.

https://creativecommons.org/licenses/by-sa/2.5