OCaml 4.06.0 Standard Library byterun/bigarray.c caml_ba_deserialize integer overflow

Summaryinfo

A vulnerability, which was classified as critical, has been found in OCaml 4.06.0. Affected by this vulnerability is the function caml_ba_deserialize of the file byterun/bigarray.c of the component Standard Library. The manipulation leads to integer overflow. This vulnerability is uniquely identified as CVE-2018-9838. The attack is possible to be carried out remotely. No exploit exists. It is advisable to upgrade the affected component.

Detailsinfo

A vulnerability was found in OCaml 4.06.0 and classified as critical. This issue affects the function caml_ba_deserialize of the file byterun/bigarray.c of the component Standard Library. The manipulation with an unknown input leads to a integer overflow vulnerability. Using CWE to declare the problem leads to CWE-190. The product performs a calculation that can produce an integer overflow or wraparound, when the logic assumes that the resulting value will always be larger than the original value. This can introduce other weaknesses when the calculation is used for resource management or execution control. Impacted is confidentiality, integrity, and availability. The summary by CVE is:

The caml_ba_deserialize function in byterun/bigarray.c in the standard library in OCaml 4.06.0 has an integer overflow which, in situations where marshalled data is accepted from an untrusted source, allows remote attackers to cause a denial of service (memory corruption) or possibly execute arbitrary code via a crafted object.

The bug was discovered 04/06/2018. The weakness was disclosed 04/06/2018 (Website). It is possible to read the advisory at caml.inria.fr. The identification of this vulnerability is CVE-2018-9838 since 04/06/2018. The exploitation is known to be easy. The attack may be initiated remotely. No form of authentication is needed for a successful exploitation. Technical details of the vulnerability are known, but there is no available exploit.

The vulnerability scanner Nessus provides a plugin with the ID 110337 (openSUSE Security Update : ocaml (openSUSE-2018-559)), which helps to determine the existence of the flaw in a target environment. It is assigned to the family SuSE Local Security Checks and running in the context l. The commercial vulnerability scanner Qualys is able to test this issue with plugin 171296 (OpenSUSE Security Update for ocaml (openSUSE-SU-2018:1561-1)).

Upgrading eliminates this vulnerability. A possible mitigation has been published 3 months after the disclosure of the vulnerability.

The vulnerability is also documented in the vulnerability database at Tenable (110337). Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.

Productinfo

Name

• OCaml

Version

• 4.06.0

CPE 2.3info

• 🔍

CPE 2.2info

• 🔍

CVSSv4info

CVSSv3info

CVSSv2info

Exploitinginfo

Threat Intelligenceinfo

Countermeasuresinfo

Timelineinfo

Sourcesinfo

Entryinfo

Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.

Discussion