OCaml <= 4.14.3 Integer Overflow Information Disclosure (CVE-2026-34353)

#%NASL_MIN_LEVEL 80900
##
# (C) Tenable, Inc.
##

include('compat.inc');

if (description)
{
  script_id(305878);
  script_version("1.3");
  script_set_attribute(attribute:"plugin_modification_date", value:"2026/04/15");

  script_cve_id("CVE-2026-34353");
  script_xref(name:"IAVA", value:"2026-A-0299");

  script_name(english:"OCaml <= 4.14.3 Integer Overflow Information Disclosure (CVE-2026-34353)");

  script_set_attribute(attribute:"synopsis", value:
"The remote host is affected by an information disclosure vulnerability.");
  script_set_attribute(attribute:"description", value:
"The version of OCaml installed on the remote host is prior to or equal to 4.14.3. It is, therefore,
affected by an information disclosure vulnerability:

  - An integer overflow in Bigarray.reshape allows reading of arbitrary memory when
    untrusted data is processed. (CVE-2026-34353)

Note that Nessus has not tested for this issue but has instead relied only on the application's
self-reported version number.");
  script_set_attribute(attribute:"see_also", value:"https://github.com/advisories/GHSA-6p45-jv22-32gp");
  script_set_attribute(attribute:"see_also", value:"https://github.com/ocaml/ocaml/issues/14655");
  script_set_attribute(attribute:"see_also", value:"https://github.com/ocaml/ocaml/pull/14674");
  script_set_attribute(attribute:"solution", value:
"See vendor advisory.");
  script_set_attribute(attribute:"agent", value:"unix");
  script_set_cvss_base_vector("CVSS2#AV:L/AC:H/Au:N/C:C/I:N/A:N");
  script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:N/A:N");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:U/RL:O/RC:C");
  script_set_attribute(attribute:"cvss4_vector", value:"CVSS:4.0/AV:L/AC:H/AT:N/PR:N/UI:N/VC:H/VI:N/VA:N/SC:H/SI:N/SA:N");
  script_set_attribute(attribute:"cvss4_threat_vector", value:"CVSS:4.0/E:U");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2026-34353");

  script_set_attribute(attribute:"exploitability_ease", value:"No known exploits are available");
  script_set_attribute(attribute:"exploit_available", value:"false");

  script_set_attribute(attribute:"vuln_publication_date", value:"2026/03/27");
  script_set_attribute(attribute:"plugin_publication_date", value:"2026/04/10");

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"cpe:/a:inria:ocaml");
  script_set_attribute(attribute:"stig_severity", value:"I");
  script_set_attribute(attribute:"thorough_tests", value:"true");
  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_family(english:"Misc.");

  script_copyright(english:"This script is Copyright (C) 2026 and is owned by Tenable, Inc. or an Affiliate thereof.");

  script_dependencies("ocaml_linux_installed.nbin", "macos_ocaml_installed.nbin");
  script_require_keys("installed_sw/OCaml");

  exit(0);
}

include('vdf.inc');

# @tvdl-content
var vuln_data = {
  'metadata': {'spec_version': '1.0'},
  'checks': [
    {
      'product': {'name': 'OCaml', 'type': 'app'},
      'check_algorithm': 'default',
      'constraints': [
        {'max_version': '4.14.3', 'fixed_display': 'See vendor advisory'}
      ]
    }
  ]
};

var result = vdf::check_and_report(vuln_data:vuln_data, severity:SECURITY_WARNING);
vdf::handle_check_and_report_errors(vdf_result:result);