– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Gentoo Linux Security Advisory GLSA 201702-15
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
https://security.gentoo.org/
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –

Severity: Normal
Title: OCaml: Buffer overflow and information disclosure
Date: February 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
——————————————————————-
1 dev-lang/ocaml < 4.04.0 >= 4.04.0

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 -1 -a -v $(qdepends -CQ dev-lang/ocaml | sed ‘s/^/=/’)

References
==========

[ 1 ] CVE-2015-8869
http://nvd.nist.gov/nvd.cfm?cvename=CVE-2015-8869

Availability
============

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

https://security.gentoo.org/glsa/201702-15

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

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

—–BEGIN PGP SIGNATURE—–
Version: GnuPG v2.0

iQJ8BAEBCgBmBQJYq3m5XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQzM0M1ODQ4MkM0MDIyOTJEMkUzQzVDMDY5
NzA5RjkwQzNDOTZGRkM4AAoJEJcJ+Qw8lv/I1w0P/jxpiBDwgT8z4hXfGTipVmWY
OUPI8s/WS6IyODNCKIkW2D7A2TXGvNARPOFWwhrGzitajE7138KxMB3U0inHbupR
8SBkMhc4VJwA+Z4w7+ArXsiwhx1yUJgxa26hPn58WlNme8o7cM7Lc3chKf1xkT4E
tdrAcO741KJSwPr8ODl9vDGQBHVZov5xQDS4jhRS9IreuLk4uBsjaczdEwFm90Ga
vbvKvn16TQW1zgzvf8iutNRahln/6tJtBaTvraU+dm+JUXvHJa6VPW8v2tyzau+b
ozHhkOC9YO0ATA36TE3Mprjt6/ZHURdSSAU5fWnORlPgowoAGX3Xdd14DLjvtnAe
+82qz1y4OYvl3fg+3y0gwbiV7yHExIJ0AIozhEeB4YVSm3xp9FtjW3lYL8adH3qy
fd++apjLDrX9SDWb8dwERQ5rpT+b9loio/A7PcAYdnZknCdz8MVgwQ51tmqGRbbH
TonVlBPXH3ZhFALSELWbfDDJ5MLjOmQGWIvG4sRHHkzTFK32/jg9uOrVkohiBdJw
w2NYeIUCL7E8OFAy5jtb7NLVAuBZdgNCL2wY3dT8xXxGR9aFfe3RrzPenAV4j2XX
Ori1tTzXaNMQrN9PBN8PBhy2C8/iTnIi00mfLuAwGJcT2QJr4M4dqxlSNIWIwV3E
M6ZTf24eZWHxQSpCfeW/
=Y+ih
—–END PGP SIGNATURE—–