-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

===========================================================================
             AUSCERT External Security Bulletin Redistribution

                               ESB-2016.1590
                      Moderate: ocaml security update
                               24 June 2016

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

        AusCERT Security Bulletin Summary
        ---------------------------------

Product:           ocaml
Publisher:         Red Hat
Operating System:  Red Hat Enterprise Linux Server 7
                   Red Hat Enterprise Linux WS/Desktop 7
                   UNIX variants (UNIX, Linux, OSX)
                   Windows
Impact/Access:     Denial of Service        -- Existing Account
                   Access Confidential Data -- Existing Account
Resolution:        Patch/Upgrade
CVE Names:         CVE-2015-8869  

Original Bulletin: 
   https://access.redhat.com/errata/RHSA-2016:1296

Comment: This advisory references vulnerabilities in products which run on 
         platforms other than Red Hat. It is recommended that administrators
         running ocaml check for an updated version of the software for their
         operating system.

- --------------------------BEGIN INCLUDED TEXT--------------------

- -----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 <secalert@redhat.com>. 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-----

- --------------------------END INCLUDED TEXT--------------------

You have received this e-mail bulletin as a result of your organisation's
registration with AusCERT. The mailing list you are subscribed to is
maintained within your organisation, so if you do not wish to continue
receiving these bulletins you should contact your local IT manager. If
you do not know who that is, please send an email to auscert@auscert.org.au
and we will forward your request to the appropriate person.

NOTE: Third Party Rights
This security bulletin is provided as a service to AusCERT's members.  As
AusCERT did not write the document quoted above, AusCERT has had no control
over its content. The decision to follow or act on information or advice
contained in this security bulletin is the responsibility of each user or
organisation, and should be considered in accordance with your organisation's
site policies and procedures. AusCERT takes no responsibility for consequences
which may arise from following or acting on information or advice contained in
this security bulletin.

NOTE: This is only the original release of the security bulletin.  It may
not be updated when updates to the original are made.  If downloading at
a later date, it is recommended that the bulletin is retrieved directly
from the author's website to ensure that the information is still current.

Contact information for the authors of the original document is included
in the Security Bulletin above.  If you have any questions or need further
information, please contact them directly.

Previous advisories and external security bulletins can be retrieved from:

        http://www.auscert.org.au/render.html?cid=1980

===========================================================================
Australian Computer Emergency Response Team
The University of Queensland
Brisbane
Qld 4072

Internet Email: auscert@auscert.org.au
Facsimile:      (07) 3365 7031
Telephone:      (07) 3365 4417 (International: +61 7 3365 4417)
                AusCERT personnel answer during Queensland business hours
                which are GMT+10:00 (AEST).
                On call after hours for member emergencies only.
===========================================================================
-----BEGIN PGP SIGNATURE-----
Comment: http://www.auscert.org.au/render.html?it=1967

iQIVAwUBV2yUD4x+lLeg9Ub1AQhQWA/+J3+65E1zi0jbYzO0plYlzF6uk32uYGR7
RPL4EacoX6SVLcKCZmaklUSzrhMOpExF1d4mTXQw6/Mvc9zgfTI92SOAdgvwm6Wg
3llxVNs2HZ06uB8Y8Cd8CpMZV8eJmdsPoXsrFLvwgRzd99mNRgCcUyk0rn0ffaFR
aNGa1RA4f6GwQNaaKIwg7FKXJfKkieAx7VR8ApADdCIHG9nuItwOFs+ygX5khUb4
ep92ZF6CxhFMgidhQ/bWoHwCCE51MYfTEFtuj6AISU09w1ZZBTdKzBa4z/jXbS37
WorVPnBYeGJnNBOsOaDSMCkl6g2IRCN0epNRvQVG5IG5jIl6Cv8aK7wCPEYlahJg
havk8qIuBtvg8vfmk4EyLEO919PocHb0MeShosXgKIvWLCZaxNs30Jrpu1Brn5EZ
FRDuob8/Wde4rb/w3IMTkxM0XIi3nGYXcbGiZNyQZVeDjL5oSoq0ZND2QUkgCjtl
jvLjYuh1H5UWi6wRMKnJoQdWbjQ2+ACu5T5V21D+DkL3+lKgezmdbYc4idBZuVyw
VB4Ol8AXmujUOVlK77+LH2uDO13ugNTMEAvsUBKQCX1/Dnmyhaa3gjIrk6T3/YLx
HcjSnYccTbCsdFileKCuudDqnzIZNf8Hx/CM5AFnT4PilG104AI9XgL8fD23lyGw
6rWvs4cd+Ms=
=scsK
-----END PGP SIGNATURE-----