Debian dsa-6424 : libxen-dev - security update

#%NASL_MIN_LEVEL 80900
#
# (C) Tenable, Inc.
#
# The descriptive text and package checks in this plugin were
# extracted from Debian Security Advisory dsa-6424. The text
# itself is copyright (C) Software in the Public Interest, Inc.
#

include('compat.inc');

if (description)
{
  script_id(333555);
  script_version("1.1");
  script_set_attribute(attribute:"plugin_modification_date", value:"2026/08/09");

  script_cve_id(
    "CVE-2025-10263",
    "CVE-2025-54505",
    "CVE-2025-54518",
    "CVE-2026-23554",
    "CVE-2026-23555",
    "CVE-2026-23556",
    "CVE-2026-23557",
    "CVE-2026-23558",
    "CVE-2026-42487",
    "CVE-2026-42488",
    "CVE-2026-42489",
    "CVE-2026-42490",
    "CVE-2026-42493",
    "CVE-2026-42494",
    "CVE-2026-42495",
    "CVE-2026-62423",
    "CVE-2026-62424",
    "CVE-2026-62425",
    "CVE-2026-62426",
    "CVE-2026-62427",
    "CVE-2026-62428",
    "CVE-2026-62429",
    "CVE-2026-62430",
    "CVE-2026-62431",
    "CVE-2026-62432",
    "CVE-2026-62433",
    "CVE-2026-62434",
    "CVE-2026-62435",
    "CVE-2026-62436"
  );

  script_name(english:"Debian dsa-6424 : libxen-dev - security update");

  script_set_attribute(attribute:"synopsis", value:
"The remote Debian host is missing one or more security-related updates.");
  script_set_attribute(attribute:"description", value:
"The remote Debian 13 host has packages installed that are affected by multiple vulnerabilities as referenced in the
dsa-6424 advisory.

    - -------------------------------------------------------------------------
    Debian Security Advisory DSA-6424-1                   [email protected]
    https://www.debian.org/security/                       Moritz Muehlenhoff
    August 09, 2026                       https://www.debian.org/security/faq
    - -------------------------------------------------------------------------

    Package        : xen
    CVE ID         : CVE-2025-10263 CVE-2025-54505 CVE-2025-54518 CVE-2026-23554
                     CVE-2026-23555 CVE-2026-23556 CVE-2026-23557 CVE-2026-23558
                     CVE-2026-42487 CVE-2026-42488 CVE-2026-42489 CVE-2026-42490
                     CVE-2026-42493 CVE-2026-42494 CVE-2026-42495 CVE-2026-62423
                     CVE-2026-62424 CVE-2026-62425 CVE-2026-62426 CVE-2026-62427
                     CVE-2026-62428 CVE-2026-62429 CVE-2026-62430 CVE-2026-62431
                     CVE-2026-62432 CVE-2026-62433 CVE-2026-62434 CVE-2026-62435
                     CVE-2026-62436

    Multiple vulnerabilities have been discovered in the Xen hypervisor,
    which could result in privilege escalation, information disclosure or
    denial of service.

    For the stable distribution (trixie), these problems have been fixed in
    version 4.20.3+127-gc42374a105-0+deb13u1.

    We recommend that you upgrade your xen packages.

    For the detailed security status of xen please refer to
    its security tracker page at:
    https://security-tracker.debian.org/tracker/xen

    Further information about Debian Security Advisories, how to apply
    these updates to your system and frequently asked questions can be
    found at: https://www.debian.org/security/

    Mailing list: [email protected]

Tenable has extracted the preceding description block directly from the Debian 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://security-tracker.debian.org/tracker/source-package/xen");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2025-10263");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2025-54505");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2025-54518");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-23554");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-23555");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-23556");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-23557");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-23558");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42487");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42488");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42489");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42490");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42493");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42494");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-42495");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62423");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62424");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62425");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62426");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62427");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62428");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62429");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62430");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62431");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62432");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62433");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62434");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62435");
  script_set_attribute(attribute:"see_also", value:"https://security-tracker.debian.org/tracker/CVE-2026-62436");
  script_set_attribute(attribute:"see_also", value:"https://packages.debian.org/source/trixie/xen");
  script_set_attribute(attribute:"solution", value:
"Upgrade the libxen-dev packages.");
  script_set_cvss_base_vector("CVSS2#AV:L/AC:L/Au:N/C:N/I:N/A:C");
  script_set_cvss_temporal_vector("CVSS2#E:U/RL:OF/RC:C");
  script_set_cvss3_base_vector("CVSS:3.0/AV:L/AC:L/PR:N/UI:N/S:C/C:N/I:N/A:H");
  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:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:H/SC:H/SI:H/SA:H");
  script_set_attribute(attribute:"cvss4_threat_vector", value:"CVSS:4.0/E:U");
  script_set_attribute(attribute:"cvss_score_source", value:"CVE-2026-23555");
  script_set_attribute(attribute:"cvss4_score_source", value:"CVE-2026-23556");

  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/19");
  script_set_attribute(attribute:"patch_publication_date", value:"2026/08/09");
  script_set_attribute(attribute:"plugin_publication_date", value:"2026/08/09");

  script_set_attribute(attribute:"plugin_type", value:"local");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxen-dev");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxencall1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxendevicemodel1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxenevtchn1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxenforeignmemory1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxengnttab1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxenhypfs1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxenmisc4.20");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxenstore4");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxentoolcore1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:libxentoollog1");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-doc");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-hypervisor-4.20-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-hypervisor-4.20-amd64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-hypervisor-4.20-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-hypervisor-4.20-arm64-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-hypervisor-common");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-system-amd64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-system-arm64");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-utils-4.20");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-utils-4.20-dbg");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xen-utils-common");
  script_set_attribute(attribute:"cpe", value:"p-cpe:/a:debian:debian_linux:xenstore-utils");
  script_set_attribute(attribute:"cpe", value:"cpe:/o:debian:debian_linux:13.0");
  script_set_attribute(attribute:"generated_plugin", value:"current");
  script_end_attributes();

  script_category(ACT_GATHER_INFO);
  script_family(english:"Debian 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");
  script_require_keys("Host/local_checks_enabled", "Host/Debian/release", "Host/Debian/dpkg-l");

  exit(0);
}

include('debian_package.inc');

if (!get_kb_item("Host/local_checks_enabled")) audit(AUDIT_LOCAL_CHECKS_NOT_ENABLED);
if (!get_kb_item("Host/Debian/dpkg-l")) audit(AUDIT_PACKAGE_LIST_MISSING);

var debian_release = get_kb_item('Host/Debian/release');
if ( isnull(debian_release) ) audit(AUDIT_OS_NOT, 'Debian');
debian_release = chomp(debian_release);
if (! preg(pattern:"^(13)\.[0-9]+", string:debian_release)) audit(AUDIT_OS_NOT, 'Debian 13.0', 'Debian ' + debian_release);
var cpu = get_kb_item('Host/cpu');
if (isnull(cpu)) audit(AUDIT_UNKNOWN_ARCH);
if ('x86_64' >!< cpu && cpu !~ "^i[3-6]86$" && 'aarch64' >!< cpu) audit(AUDIT_LOCAL_CHECKS_NOT_IMPLEMENTED, 'Debian', cpu);

var pkgs = [
    {'release': '13.0', 'prefix': 'libxen-dev', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxencall1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxendevicemodel1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxenevtchn1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxenforeignmemory1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxengnttab1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxenhypfs1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxenmisc4.20', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxenstore4', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxentoolcore1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'libxentoollog1', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-doc', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-hypervisor-4.20-amd64', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-hypervisor-4.20-amd64-dbg', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-hypervisor-4.20-arm64', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-hypervisor-4.20-arm64-dbg', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-hypervisor-common', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-system-amd64', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-system-arm64', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-utils-4.20', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-utils-4.20-dbg', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xen-utils-common', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'},
    {'release': '13.0', 'prefix': 'xenstore-utils', 'reference': '4.20.3+127-gc42374a105-0+deb13u1'}
];

var flag = 0;
foreach package_array ( pkgs ) {
  var _release = NULL;
  var prefix = NULL;
  var reference = NULL;
  if (!empty_or_null(package_array['release'])) _release = package_array['release'];
  if (!empty_or_null(package_array['prefix'])) prefix = package_array['prefix'];
  if (!empty_or_null(package_array['reference'])) reference = package_array['reference'];
  if (_release && prefix && reference) {
    if (deb_check(release:_release, prefix:prefix, reference:reference)) flag++;
  }
}

if (flag)
{
  security_report_v4(
    port       : 0,
    severity   : SECURITY_WARNING,
    extra      : deb_report_get()
  );
  exit(0);
}
else
{
  var tested = deb_pkg_tests_get();
  if (tested) audit(AUDIT_PACKAGE_NOT_AFFECTED, tested);
  else audit(AUDIT_PACKAGE_NOT_INSTALLED, 'libxen-dev / libxencall1 / libxendevicemodel1 / libxenevtchn1 / etc');
}