VLC Media Player mp4a Denial of Service Vulnerability - Mac OS X

# SPDX-FileCopyrightText: 2013 Greenbone AG
# Some text descriptions might be excerpted from (a) referenced
# source(s), and are Copyright (C) by the respective right holder(s).
#
# SPDX-License-Identifier: GPL-2.0-only

CPE = "cpe:/a:videolan:vlc_media_player";

if(description)
{
  script_oid("1.3.6.1.4.1.25623.1.0.803955");
  script_version("2023-10-13T16:09:03+0000");
  script_cve_id("CVE-2013-4388");
  script_tag(name:"cvss_base", value:"6.8");
  script_tag(name:"cvss_base_vector", value:"AV:N/AC:M/Au:N/C:P/I:P/A:P");
  script_tag(name:"last_modification", value:"2023-10-13 16:09:03 +0000 (Fri, 13 Oct 2023)");
  script_tag(name:"creation_date", value:"2013-10-22 19:02:32 +0530 (Tue, 22 Oct 2013)");
  script_name("VLC Media Player mp4a Denial of Service Vulnerability - Mac OS X");

  script_tag(name:"impact", value:"Successful exploitation will allow attackers to overflow buffer, cause denial
  of service.");

  script_tag(name:"affected", value:"VLC media player version 2.0.7 and prior on Mac OS X.");

  script_tag(name:"insight", value:"A flaw exists in mpeg4audio.c file, which to perform adequate boundary checks
  on user-supplied input.");

  script_tag(name:"solution", value:"Upgrade to VLC media player version 2.0.8 or later.");

  script_tag(name:"vuldetect", value:"Checks if a vulnerable version is present on the target host.");

  script_tag(name:"summary", value:"VLC Media Player is prone to a denial of service (DoS) vulnerability.");

  script_tag(name:"qod_type", value:"package");
  script_tag(name:"solution_type", value:"VendorFix");

  script_xref(name:"URL", value:"http://www.securitytracker.com/id/1029120");
  script_xref(name:"URL", value:"http://www.securityfocus.com/bid/62724");
  script_xref(name:"URL", value:"http://www.openwall.com/lists/oss-security/2013/10/01/2");
  script_copyright("Copyright (C) 2013 Greenbone AG");
  script_category(ACT_GATHER_INFO);
  script_family("Denial of Service");
  script_dependencies("gb_vlc_media_player_detect_macosx.nasl");
  script_mandatory_keys("VLC/Media/Player/MacOSX/Version");

  exit(0);
}

include("version_func.inc");
include("host_details.inc");

vlcVer = get_app_version(cpe:CPE);
if(!vlcVer){
  exit(0);
}

if(version_is_less_equal(version:vlcVer, test_version:"2.0.7"))
{
  report = report_fixed_ver(installed_version:vlcVer, vulnerable_range:"Less than or equal to 2.0.7");
  security_message(port: 0, data: report);
  exit(0);
}