Home / mailings

PDF

[gentoo-announce] [ GLSA 201702-15 ] OCaml: Buffer overflow and information disclosure

Posted on 21 February 2017
Gentoo-announce

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--ahUGJxQPudmgphrUWChDtJdU9QXeR1wxl
Content-Type: multipart/mixed; boundary="ownSC90dVXlIR240FcOu5x0CQomKdMqLS";
protected-headers="v1"
From: Thomas Deutschmann <whissi@gentoo.org>
Reply-To: security@gentoo.org
To: gentoo-announce@lists.gentoo.org
Message-ID: <5d4e214a-a8fa-fbf3-2a48-e160bfef187e@gentoo.org>
Subject: [ GLSA 201702-15 ] OCaml: Buffer overflow and information disclosure

--ownSC90dVXlIR240FcOu5x0CQomKdMqLS
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

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


--ownSC90dVXlIR240FcOu5x0CQomKdMqLS--

--ahUGJxQPudmgphrUWChDtJdU9QXeR1wxl
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

 

TOP