Alerts This Week
Warning Icon 1 692
Alerts This Week
Warning Icon 1 692

Gentoo: GLSA-202311-09 Moderate: OCaml Buffer Overflow Risk

gentoo
Calendar Grey February 21, 2017
Dist Gentoo Esm H88
A memory corruption issue in OCaml may permit malicious actors to retrieve confidential information or destabilize software. Immediate remediation required.
A buffer overflow in OCaml might allow remote attackers to obtain sensitive information or crash an OCaml-based application.

Summary

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.

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
style>.gentoo_availability{display:block;}

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.

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.

Get the latest News and Insights

Get the latest Linux and open source security news straight to your inbox.

Affected Packages

------------------------------------------------------------------- Package / Vulnerable / Unaffected ------------------------------------------------------------------- 1 dev-lang/ocaml < 4.04.0 >= 4.04.0

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.

Related News

Your message here