Fedora 45 : 0install / alt-ergo / apron / brltty / coccinelle / etc (2026-403bcf6fd8)

#%NASL_MIN_LEVEL 80900
##
# (C) Tenable, Inc.
##
# The descriptive text and package checks in this plugin were
# extracted from Fedora Security Advisory FEDORA-2026-403bcf6fd8
#

include('compat.inc');

if (description)
{
  script_id(363021);
  script_version("1.1");
  script_set_attribute(attribute:"plugin_modification_date", value:"2026/10/05");

  script_cve_id(
    "CVE-2020-37268",
    "CVE-2026-28364",
    "CVE-2026-72703",
    "CVE-2026-72705",
    "CVE-2026-72714"
  );
  script_xref(name:"IAVA", value:"2026-A-0211-S");
  script_xref(name:"FEDORA", value:"2026-403bcf6fd8");

  script_name(english:"Fedora 45 : 0install / alt-ergo / apron / brltty / coccinelle / etc (2026-403bcf6fd8)");

  script_set_attribute(attribute:"synopsis", value:
"The remote Fedora host is missing one or more security updates.");
  script_set_attribute(attribute:"description", value:
"The remote Fedora 45 host has packages installed that are affected by multiple vulnerabilities as referenced in the
FEDORA-2026-403bcf6fd8 advisory.

    This is a mass rebuild of the OCaml ecosystem with OCaml 5.5.1, which fixes two security bugs.  See
    https://github.com/ocaml/ocaml/releases/tag/5.5.1 for details.

    In addition, rocq has been updated to version 9.3.0, which also fixes several CVEs.


    ----

    New upstream development version 1.61.4

    ----

    New upstream development version 2.13.7

Tenable has extracted the preceding description block directly from the Fedora security advisory.

Note that Nessus has not tested for these issues but has instead relied only on the application's self-reported version
number.");
  script_set_attribute(attribute:"see_also", value:"https://bodhi.fedoraproject.org/updates/FEDORA-2026-403bcf6fd8");
  script_set_attribute(attribute:"solution", value:
"Update the affected packages.");
  script_set_cvss_base_vector("CVSS2#AV:L/AC:L/Au:S/C:C/I:C/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:POC/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H");
  script_set_cvss3_temporal_vector("CVSS:3.0/E:P/RL:O/RC:C");
  script_set_attribute(attribute:"cvss4_vector", value:"CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N");
  script_set_attribute(attribute:"cvss4_threat_vector", value:"CVSS:4.0/E:P");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2026-28364");
  script_set_attribute(attribute:"cvss4_score_source", value:"CVE-2026-72714");

  script_set_attribute(attribute:"exploitability_ease", value:"Exploits are available");
  script_set_attribute(attribute:"exploit_available", value:"true");

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

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:fedoraproject:fedora:45");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:0install");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:alt-ergo");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:apron");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:brltty");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:coccinelle");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:emacs-common-tuareg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:flocq");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:frama-c");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:freetennis");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:gappalib-coq");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:guestfs-tools");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:haxe");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:hevea");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:hivex");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:lem");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:libguestfs");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:libnbd");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:nbdkit");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:not-ocamlfind");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-SDL");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-afl-persistent");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-alcotest");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-astring");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-atd");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-augeas");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-b0");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-base");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-base64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-benchmark");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-bin-prot");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-biniou");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-bisect-ppx");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-bos");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cairo");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-calendar");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlbz2");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlidl");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlimages");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlp-streams");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlp5");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlp5-buildscripts");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camlpdf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-camomile");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-capitalization");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cinaps");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cmdliner");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-compiler-libs-janestreet");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cpdf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cppo");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-crowbar");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cryptokit");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-csexp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-csv");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ctypes");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-cudf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-curl");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-curses");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-dbus");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-domain-name");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-dose3");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-dune");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-easy-format");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-expat");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-extlib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-facile");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-fieldslib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-fileutils");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-findlib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-fmt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-fpath");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-gen");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-gettext");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-graphics");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-gsl");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-integers");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-intrinsics-kernel");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-jane-street-headers");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-jsonm");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-jst-config");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-lablgl");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-lablgtk");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-lablgtk3");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-labltk");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-lacaml");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-lambda-term");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-libvirt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-linenoise");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-logs");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-luv");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-lwt");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mccs");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mdx");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-menhir");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-merlin");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mew");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mew-vi");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mlgmpidl");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mlmpfr");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-monolith");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mtime");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-mysql");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-num");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-obuild");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ocamlbuild");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ocamlgraph");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ocamlnet");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ocp-indent");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ocplib-endian");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ocplib-simplex");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-omake");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-omd");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-opam-0install-cudf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-opam-file-format");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ounit");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-parmap");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-parsexp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-patch");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-pcre2");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-perl4caml");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-postgresql");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-pp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-pprint");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-assert");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-base");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-bench");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-bin-prot");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-cold");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-compare");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-custom-printf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-derivers");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-deriving");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-deriving-yaml");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-deriving-yojson");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-enumerate");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-expect");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-fields-conv");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-globalize");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-hash");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-here");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-inline-test");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-let");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-optcomp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-sexp-conv");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-stable-witness");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppx-variants-conv");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppxlib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ppxlib-jane");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-psmt2-frontend");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ptmap");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-pyml");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-qcheck");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-qtest");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-re");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-react");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-res");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-result");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-rresult");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-sedlex");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-sexplib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-sexplib0");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-sha");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-spdx-licenses");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-sqlite");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-ssl");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-stdcompat");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-stdio");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-stdlib-random");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-store");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-swhid-core");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-testo");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-time-now");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-topkg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-trie");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-unionfind");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-uucd");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-uucp");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-uunf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-uuseg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-uutf");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-variantslib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-version");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-xml-light");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-xmlm");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-xmlrpc-light");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-yaml");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-yamlx");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-yojson");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-zarith");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-zed");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-zip");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocaml-zmq");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocamlify");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:ocamlmod");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:opam");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:planets");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:plplot");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:prooftree");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:rocq");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:rocq-stdlib");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:supermin");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:unison");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:utop");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:virt-top");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:virt-v2v");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:why3");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:xen");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:z3");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:fedoraproject:fedora:zenon");
  script_set_attribute(attribute:"generated_plugin", value:"current");
  script_set_attribute(attribute:"stig_severity", value:"I");
  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_family(english:"Fedora Local Security Checks");

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

  script_dependencies("ssh_get_info.nasl", "linux_alt_patch_detect.nasl");
  script_require_keys("Host/local_checks_enabled", "Host/RedHat/release", "Host/RedHat/rpm-list");

  exit(0);
}


include('rpm2.inc');
include('ksplice.inc');

if (!get_kb_item('Host/local_checks_enabled')) audit(AUDIT_LOCAL_CHECKS_NOT_ENABLED);
var os_product = get_kb_item('installed_os/local/SSH/0/product');
if (isnull(os_product) || 'Fedora' >!< os_product) audit(AUDIT_OS_NOT, 'Fedora');
var os_version = get_kb_item('installed_os/local/SSH/0/version');
if (isnull(os_version)) audit(AUDIT_UNKNOWN_APP_VER, 'Fedora');
if (! preg(pattern:"^45([^0-9]|$)", string:os_version)) audit(AUDIT_OS_NOT, 'Fedora 45', 'Fedora ' + os_version);

if (!get_kb_item('Host/RedHat/rpm-list')) audit(AUDIT_PACKAGE_LIST_MISSING);

var cpu = get_kb_item('Host/cpu');
if (isnull(cpu)) audit(AUDIT_UNKNOWN_ARCH);
if ('x86_64' >!< cpu && cpu !~ "^i[3-6]86$" && 's390' >!< cpu && 'aarch64' >!< cpu) audit(AUDIT_LOCAL_CHECKS_NOT_IMPLEMENTED, 'Fedora', cpu);

if (get_one_kb_item('Host/ksplice/kernel-cves'))
{
  var livepatch_source = get_one_kb_item('Host/livepatch-kernel-source');
  if (empty_or_null(livepatch_source)) livepatch_source = 'KSplice';
  rm_kb_item(name:'Host/livepatch-kernel-version');

  var cve_list = make_list('CVE-2020-37268', 'CVE-2026-28364', 'CVE-2026-72703', 'CVE-2026-72705', 'CVE-2026-72714');
  if (ksplice_cves_check(cve_list))
  {
    audit(AUDIT_PATCH_INSTALLED, livepatch_source + ' hotfix for FEDORA-2026-403bcf6fd8');
  }
  else
  {
    __rpm_report = ksplice_reporting_text();
  }
}

var constraints = [
  {
    'release': '45',
    'pkgs': [
      {'reference':'0install-2.18-16.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'alt-ergo-2.4.3-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'apron-0.9.15-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'brltty-6.9.1-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'coccinelle-1.3.3-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'emacs-common-tuareg-3.0.1-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'flocq-4.2.2-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'frama-c-33.0-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'freetennis-0.4.8-69.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'gappalib-coq-1.11.0-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'guestfs-tools-1.57.3-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'haxe-4.3.7-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'hevea-2.38-6.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'hivex-1.3.24-23.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'lem-2026.05.01-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'libguestfs-1.61.4-2.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'libnbd-1.25.7-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'nbdkit-1.48.1-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'not-ocamlfind-0.15-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-5.5.1-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-SDL-0.9.1-80.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-afl-persistent-1.4-12.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-alcotest-1.9.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-astring-0.8.5-38.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-atd-4.2.0-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-augeas-0.7-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-b0-0.0.6-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-base-0.17.3-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-base64-3.5.2-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-benchmark-1.7-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-bin-prot-0.17.0-14.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'ocaml-biniou-1.2.2-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-bisect-ppx-2.8.3-25.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-bos-0.3.0-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cairo-0.6.5-11.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'2'},
      {'reference':'ocaml-calendar-3.0.0-24.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'ocaml-camlbz2-0.8.0-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camlidl-1.13-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camlimages-5.0.5-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camlp-streams-5.0.1-26.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camlp5-8.05.02-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camlp5-buildscripts-0.07-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camlpdf-2.9-6.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-camomile-2.1.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-capitalization-0.17.0-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cinaps-0.15.1-32.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cmdliner-2.1.1-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-compiler-libs-janestreet-0.17.0-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cpdf-2.9-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cppo-1.8.0-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-crowbar-0.2.2-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cryptokit-1.21.1-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-csexp-1.5.2-22.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-csv-2.4-34.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ctypes-0.24.0-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-cudf-0.10-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-curl-0.10.0-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-curses-1.0.12-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-dbus-0.30-67.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-domain-name-0.5.0-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-dose3-7.0.0-43.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-dune-3.24.2-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-easy-format-1.3.4-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-expat-1.3.0-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-extlib-1.8.0-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-facile-1.1.4-22.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-fieldslib-0.17.0-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-fileutils-0.6.6-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-findlib-1.9.8-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-fmt-0.11.0-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-fpath-0.7.3-34.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-gen-1.1-22.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-gettext-0.5.0-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-graphics-5.2.0-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-gsl-1.25.1-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-integers-0.8.0-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-intrinsics-kernel-0.17.2-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-jane-street-headers-0.17.0-13.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-jsonm-1.0.2-16.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-jst-config-0.17.0-13.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-lablgl-1.07-24.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'ocaml-lablgtk-2.18.14-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-lablgtk3-3.1.5-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-labltk-8.06.16-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-lacaml-11.1.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-lambda-term-3.4.1-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-libvirt-0.6.1.7-22.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-linenoise-1.5.1-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-logs-0.10.0-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-luv-0.5.14-12.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-lwt-6.1.2-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mccs-1.1.19-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mdx-2.6.0-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-menhir-20260209-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-merlin-5.8.1-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mew-0.1.0-39.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mew-vi-0.5.0-39.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mlgmpidl-1.3.0-23.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mlmpfr-4.2.1-16.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-monolith-20250922-8.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mtime-2.2.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-mysql-1.2.4-24.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-num-1.6-8.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-obuild-0.3.0-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ocamlbuild-0.16.1-8.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ocamlgraph-2.2.0-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ocamlnet-4.1.9-36.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ocp-indent-1.10.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ocplib-endian-1.2-28.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ocplib-simplex-0.4.1-19.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'ocaml-omake-0.10.7-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-omd-1.3.2-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-opam-0install-cudf-0.5.0-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-opam-file-format-2.2.0-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ounit-2.2.7-23.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-parmap-1.2.5-24.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-parsexp-0.17.0-13.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-patch-3.1.2-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-pcre2-8.0.4-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-perl4caml-0.9.5-123.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-postgresql-5.4.0-3.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-pp-2.0.0-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-pprint-20230830-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-assert-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-base-0.17.0-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-bench-0.17.1-6.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-bin-prot-0.17.1-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-cold-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-compare-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-custom-printf-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-derivers-1.2.1-48.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-deriving-6.2.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-deriving-yaml-0.5.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-deriving-yojson-3.10.0-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-enumerate-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-expect-0.17.3-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-fields-conv-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-globalize-0.17.2-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-hash-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-here-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-inline-test-0.17.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-let-0.17.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-optcomp-0.17.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-sexp-conv-0.17.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-stable-witness-0.17.0-17.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppx-variants-conv-0.17.1-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ppxlib-0.38.0-5.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'ocaml-ppxlib-jane-0.17.4-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-psmt2-frontend-0.4.0-33.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ptmap-2.0.5-32.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-pyml-20250807-8.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-qcheck-0.91-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-qtest-2.11.2-33.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-re-1.14.0-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-react-1.2.2-23.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-res-5.0.2-10.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-result-1.5-36.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-rresult-0.7.0-30.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-sedlex-3.7-8.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-sexplib-0.17.0-13.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'ocaml-sexplib0-0.17.0-13.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-sha-1.15.4-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-spdx-licenses-1.5.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-sqlite-5.4.2-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-ssl-0.7.0-21.20230714gitffc634d.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-stdcompat-22.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-stdio-0.17.0-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-stdlib-random-1.2.0-16.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-store-0.2-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-swhid-core-0.1-13.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-testo-0.5.0-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-time-now-0.17.0-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-topkg-1.1.1-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-trie-1.0.0-37.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-unionfind-20260226-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-uucd-18.0.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-uucp-18.0.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-uunf-18.0.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-uuseg-18.0.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-uutf-1.0.4-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-variantslib-0.17.0-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-version-4.1.4-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-xml-light-2.5-22.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-xmlm-1.4.0-21.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-xmlrpc-light-0.6.1-92.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-yaml-3.2.0-33.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-yamlx-0.5.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-yojson-3.0.0-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-zarith-1.14-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-zed-3.2.3-25.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-zip-1.14-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocaml-zmq-5.3.0-16.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocamlify-0.1.0-9.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'ocamlmod-0.1.1-7.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'opam-2.5.2-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'planets-0.1.13-55.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'plplot-5.15.0-117.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'prooftree-0.14-14.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'rocq-9.3.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'rocq-stdlib-9.2.0-1.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'supermin-5.3.5-12.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'unison-2.54.0-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'utop-2.17.0-5.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'virt-top-1.1.3-4.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'virt-v2v-2.13.7-2.fc45', 'rpm_spec_vers_cmp':TRUE, 'epoch':'1'},
      {'reference':'why3-1.8.2-15.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'xen-4.21.1-11.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'z3-5.1.0-2.fc45', 'rpm_spec_vers_cmp':TRUE},
      {'reference':'zenon-0.8.5-45.fc45', 'rpm_spec_vers_cmp':TRUE}
    ]
  }
];

var os_release = get_one_kb_item('installed_os/local/SSH/0/release');
var os_sp = get_one_kb_item('Host/*/minor_release');

var flag = 0;
var reference;
var sp;
var _cpu;
var el_string;
var rpm_spec_vers_cmp;
var epoch;
var allowmaj;
var exists_check;
var cves;
foreach var constraint ( constraints ) {
  # Check that the target release is equal to the affected release
  if (!empty_or_null(constraint['release'])){
    if (constraint['release'] != os_release) continue;
  }
  if (!empty_or_null(constraint['sp'])){
    if (constraint['sp'] != os_sp) continue;
  }
  foreach var pkg ( constraint['pkgs'] ) {
    reference = NULL;
    sp = NULL;
    _cpu = NULL;
    el_string = NULL;
    rpm_spec_vers_cmp = NULL;
    epoch = NULL;
    allowmaj = NULL;
    exists_check = NULL;
    cves = NULL;
    if (!empty_or_null(pkg['reference'])) reference = pkg['reference'];
    if (!empty_or_null(pkg['sp'])) sp = pkg['sp'];
    if (!empty_or_null(pkg['cpu'])) _cpu = pkg['cpu'];
    if (!empty_or_null(pkg['el_string'])) el_string = pkg['el_string'];
    if (!empty_or_null(pkg['rpm_spec_vers_cmp'])) rpm_spec_vers_cmp = pkg['rpm_spec_vers_cmp'];
    if (!empty_or_null(pkg['epoch'])) epoch = pkg['epoch'];
    if (!empty_or_null(pkg['allowmaj'])) allowmaj = pkg['allowmaj'];
    if (!empty_or_null(pkg['exists_check'])) exists_check = pkg['exists_check'];
    if (!empty_or_null(pkg['cves'])) cves = pkg['cves'];
    if (reference &&
        ## (no known rpm to check OR known rpm_exists)
        (!exists_check || rpm_exists(rpm:exists_check)) &&
        rpm_check(sp:sp, cpu:_cpu, reference:reference, epoch:epoch, el_string:el_string, rpm_spec_vers_cmp:rpm_spec_vers_cmp, allowmaj:allowmaj, cves:cves)) flag++;
  }
}

if (flag)
{
  security_report_v4(
      port       : 0,
      severity   : SECURITY_WARNING,
      extra      : rpm_report_get()
  );
  exit(0);
}
else
{
  var tested = pkg_tests_get();
  if (tested) audit(AUDIT_PACKAGE_NOT_AFFECTED, tested);
  else audit(AUDIT_PACKAGE_NOT_INSTALLED, '0install / alt-ergo / apron / brltty / coccinelle / etc');
}