来自 Red Hat 安全公告 2016:1296：

ocaml 的更新现在可用于 Red Hat Enterprise Linux 7。

Red Hat 产品安全团队将此更新评级为具有中等安全影响。可从“参考”部分中的 CVE 链接获取通用漏洞评分系统 (CVSS) 基本分数，其针对每个漏洞给出了详细的严重性等级。

OCaml 来自 ML 语言系列，是一种高级、强大型、功能性且面向对象的编程语言。ocaml 程序包包含两个批次编译器（一个快速字节码编译器和一个优化本机代码编译器）、一个交互式顶层系统、多种解析工具（Lex、Yacc、Camlp4）、一个回放调试程序、一个文档发生器以及一个完整的库。

安全补丁：

* OCaml 4.02.3 和较早版本存有一个运行时缺陷，在 64 位平台上，此缺陷造成系统在将内部 memmove 调用的参数传送至 memmove 函数前，对其执行 sign-extended 而从 32 变为 64 位。这会导致系统将 2GiB 和 4GiB 之间的参数解译为大于其实际值（具体而言是稍微小于 2^64），进而造成缓冲区溢出。此外，系统会将 4GiB 和 6GiB 之间的参数解译为小于其实际值的 4GiB，进而可能造成信息泄漏。(CVE-2015-8869)

检测

Oracle Linux 7：ocaml (ELSA-2016-1296)

critical Nessus 插件 ID 91799

未找到变更日志