検出

Fedora 44:flocq / gappalib-coq / rocq / rocq-stdlib / why3 / zenon(2026-62bbabcf11)

medium Nessus プラグイン ID 363797

Language:

概要

リモートの Fedora ホストに 1 つ以上のセキュリティ更新プログラムがありません。

説明

リモートの Fedora 44 ホストには、FEDORA-2026-62bbabcf11 のアドバイザリに記載された複数の脆弱性の影響を受けるパッケージがインストールされています。

 rocq 9.3.0の変更については、https://rocq-prover.org/doc/v9.3/refman/changes.html#version-9-3を参照してください。

 rocq-stdlib 9.2.0の変更については、https://rocq-prover.org/doc/v9.2/refman-stdlib/changes.htmlを参照してください。

 gappalib-coq 1.11.0の変更については、https://gitlab.inria.fr/gappa/coq/-/blob/master/NEWS.mdを参照してください。

 他のビルドは、上記の変更によるリビルドです。


Tenable は、前述の記述ブロックを Fedora セキュリティアドバイザリから直接抽出しています。

Nessus はこれらの問題をテストしておらず、代わりにアプリケーションが自己報告するバージョン番号にのみ依存していることに注意してください。

ソリューション

影響を受けるパッケージを更新してください。

参考資料

https://bodhi.fedoraproject.org/updates/FEDORA-2026-62bbabcf11

プラグインの詳細

深刻度: Medium

ID: 363797

ファイル名: fedora_2026-62bbabcf11.nasl

バージョン: 1.1

タイプ: Local

エージェント: unix

公開日: 2026/10/7

更新日: 2026/10/7

サポートされているセンサー: Frictionless Assessment Agent, Nessus Agent, Agentless Assessment, Continuous Assessment, Tenable Cloud Security, Tenable Self-Hosted Container Security, Nessus

リスク情報

VPR

リスクファクター: Low

スコア: 3.3

パーセンタイル: 50.81

CVSS v2

リスクファクター: Medium

基本値: 4.9

現状値: 3.6

ベクトル: CVSS2#AV:L/AC:L/Au:N/C:N/I:C/A:N

CVSS スコアのソース: CVE-2026-72714

CVSS v3

リスクファクター: Medium

基本値: 6.3

現状値: 5.5

ベクトル: CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N

現状ベクトル: CVSS:3.0/E:U/RL:O/RC:C

CVSS v4

リスクファクター: Medium

Base Score: 6.8

Threat Score: 4.3

Threat Vector: CVSS:4.0/E:U

Vector: 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

脆弱性情報

CPE: cpe:/o:fedoraproject:fedora:44, p-cpe:/a:fedoraproject:fedora:flocq, p-cpe:/a:fedoraproject:fedora:gappalib-coq, p-cpe:/a:fedoraproject:fedora:rocq-stdlib, p-cpe:/a:fedoraproject:fedora:rocq, p-cpe:/a:fedoraproject:fedora:why3, p-cpe:/a:fedoraproject:fedora:zenon

必要な KB アイテム: Host/local_checks_enabled, Host/RedHat/release, Host/RedHat/rpm-list

エクスプロイトの容易さ: No known exploits are available

パッチ公開日: 2026/10/5

脆弱性公開日: 2026/8/24

参照情報

CVE: CVE-2020-37268, CVE-2026-72703, CVE-2026-72705, CVE-2026-72714