GLSA 202007-48: OCaml: Arbitrary code execution

Severity:normal
Title:OCaml: Arbitrary code execution
Date:07/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 Architecture(s)
dev-lang/ocaml < 4.09.0 >= 4.09.0 All supported architectures

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

Availability

This GLSA and any updates to it are available for viewing at the Gentoo Security Website: http://security.gentoo.org/glsa/glsa-202007-48.xml

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 2010 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.

Thank you!