Jump to content
Compatible Support Forums
Sign in to follow this  
news

[RHSA-2016:1296-01] Moderate: ocaml security update

Recommended Posts

-----BEGIN PGP SIGNED MESSAGE-----

Hash: SHA1

 

=====================================================================

Red Hat Security Advisory

 

Synopsis: Moderate: ocaml security update

Advisory ID: RHSA-2016:1296-01

Product: Red Hat Enterprise Linux

Advisory URL: https://access.redhat.com/errata/RHSA-2016:1296

Issue date: 2016-06-23

CVE Names: CVE-2015-8869

=====================================================================

 

1. Summary:

 

An update for ocaml is now available for Red Hat Enterprise Linux 7.

 

Red Hat Product Security has rated this update as having a security

impact of Moderate. A Common Vulnerability Scoring System (CVSS) base

score, which gives a detailed severity rating, is available for each

vulnerability from the CVE link(s) in the References section.

 

2. Relevant releases/architectures:

 

Red Hat Enterprise Linux Client Optional (v. 7) - x86_64

Red Hat Enterprise Linux ComputeNode Optional (v. 7) - x86_64

Red Hat Enterprise Linux Server Optional (v. 7) - ppc64, ppc64le, s390x, x86_64

Red Hat Enterprise Linux Workstation Optional (v. 7) - x86_64

 

3. Description:

 

OCaml is a high-level, strongly-typed, functional, and object-oriented

programming language from the ML family of languages. The ocaml packages

contain two batch compilers (a fast bytecode compiler and an optimizing

native-code compiler), an interactive top level system, parsing tools

(Lex, Yacc, Camlp4), a replay debugger, a documentation generator, and

a comprehensive library.

 

Security Fix(es):

 

* OCaml versions 4.02.3 and earlier have 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. (CVE-2015-8869)

 

4. Solution:

 

For details on how to apply this update, which includes the changes

described in this advisory, refer to:

 

https://access.redhat.com/articles/11258

 

5. Bugs fixed (https://bugzilla.redhat.com/):

 

1332090 - CVE-2015-8869 ocaml: sizes arguments are sign-extended from 32 to 64 bits

 

6. Package List:

 

Red Hat Enterprise Linux Client Optional (v. 7):

 

Source:

ocaml-4.01.0-22.7.el7_2.src.rpm

 

x86_64:

ocaml-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-docs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-emacs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-runtime-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-source-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-x11-4.01.0-22.7.el7_2.x86_64.rpm

 

Red Hat Enterprise Linux ComputeNode Optional (v. 7):

 

Source:

ocaml-4.01.0-22.7.el7_2.src.rpm

 

x86_64:

ocaml-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-docs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-emacs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-runtime-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-source-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-x11-4.01.0-22.7.el7_2.x86_64.rpm

 

Red Hat Enterprise Linux Server Optional (v. 7):

 

Source:

ocaml-4.01.0-22.7.el7_2.src.rpm

 

ppc64:

ocaml-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-docs-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-emacs-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-labltk-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-runtime-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-source-4.01.0-22.7.el7_2.ppc64.rpm

ocaml-x11-4.01.0-22.7.el7_2.ppc64.rpm

 

ppc64le:

ocaml-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-docs-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-emacs-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-labltk-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-runtime-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-source-4.01.0-22.7.el7_2.ppc64le.rpm

ocaml-x11-4.01.0-22.7.el7_2.ppc64le.rpm

 

s390x:

ocaml-4.01.0-22.7.el7_2.s390x.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.s390x.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.s390x.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.s390x.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.s390x.rpm

ocaml-docs-4.01.0-22.7.el7_2.s390x.rpm

ocaml-emacs-4.01.0-22.7.el7_2.s390x.rpm

ocaml-labltk-4.01.0-22.7.el7_2.s390x.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.s390x.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.s390x.rpm

ocaml-runtime-4.01.0-22.7.el7_2.s390x.rpm

ocaml-source-4.01.0-22.7.el7_2.s390x.rpm

ocaml-x11-4.01.0-22.7.el7_2.s390x.rpm

 

x86_64:

ocaml-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-docs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-emacs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-runtime-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-source-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-x11-4.01.0-22.7.el7_2.x86_64.rpm

 

Red Hat Enterprise Linux Workstation Optional (v. 7):

 

Source:

ocaml-4.01.0-22.7.el7_2.src.rpm

 

x86_64:

ocaml-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-camlp4-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-compiler-libs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-debuginfo-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-docs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-emacs-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-labltk-devel-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-ocamldoc-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-runtime-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-source-4.01.0-22.7.el7_2.x86_64.rpm

ocaml-x11-4.01.0-22.7.el7_2.x86_64.rpm

 

These packages are GPG signed by Red Hat for security. Our key and

details on how to verify the signature are available from

https://access.redhat.com/security/team/key/

 

7. References:

 

https://access.redhat.com/security/cve/CVE-2015-8869

https://access.redhat.com/security/updates/classification/#moderate

 

8. Contact:

 

The Red Hat security contact is . More contact

details at https://access.redhat.com/security/team/contact/

 

Copyright 2016 Red Hat, Inc.

-----BEGIN PGP SIGNATURE-----

Version: GnuPG v1

 

iD8DBQFXbEFFXlSAg2UNWIIRAs92AKChir6K9yzmb4pqiONlCyjpFTvqcACePv55

MenhYSW4Y0bnpnjmo3U5Xws=

=/nKN

-----END PGP SIGNATURE-----

 

 

--

 

Share this post


Link to post

Please sign in to comment

You will be able to leave a comment after signing in



Sign In Now
Sign in to follow this  

×