GLSA 201702-15: OCaml: Buffer overflow and information disclosure

http://security.gentoo.org/

Severity:	normal
Title:	OCaml: Buffer overflow and information disclosure
Date:	02/20/2017
Bugs:	#581946
ID:	201702-15

Synopsis

A buffer overflow in OCaml might allow remote attackers to obtain sensitive information or crash an OCaml-based application.

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.04.0	>= 4.04.0	All supported architectures

Description

It was discovered that OCaml was vulnerable to a runtime bug that, on 64-bit platforms, causes size arguments to internal memmove calls to be sign-extended from 32- to 64-bits before being passed to the memmove function. This leads to arguments between 2GiB and 4GiB being interpreted as larger than they are (specifically, a bit below 2^64), causing a buffer overflow. Further, arguments between 4GiB and 6GiB are interpreted as 4GiB smaller than they should be causing a possible information leak.

Impact

A remote attacker, able to interact with an OCaml-based application, could possibly obtain sensitive information 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/ocam-4.04.0"

Packages which depend on OCaml may need to be recompiled. Tools such as qdepends (included in app-portage/portage-utils) may assist in identifying these packages:


      # emerge --oneshot --ask --verbose $(qdepends -CQ dev-lang/ocaml | sed
      's/^/=/')

References

CVE-2015-8869

Availability

This GLSA and any updates to it are available for viewing at the Gentoo Security Website: http://security.gentoo.org/glsa/glsa-201702-15.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.