Linux/Unix ホストには、ベンダーが提供するパッチが利用できない脆弱性の影響を受ける複数のパッケージがインストールされています。

  - bpf:INT_MIN のインタプリタ sdiv/smod における未定義の動作を修正 BPF インタプリタの符号付き32ビット除算およびモジュロハンドラは、s32 オペランドに対してカーネル abs() マクロを使用します。abs()マクロドキュメント(include/linux/math.h)では、入力が型最小値の場合、結果が未定義であると明示されています。DSTがS32_MIN(0x80000000)を含む場合、abs((s32)DST)は未定義の動作をトリガーし、arm64/x86上で変更S32_MINせずに返します。この値は0xFFFFFFFF80000000として符号拡張されてu64に拡張され、do_div()が誤った結果を計算します。検証者の抽象解釈(scalar32_min_max_sdiv)は、範囲追跡の数学的に正しい結果を計算し、検証器とインタープリタの不一致を生み出し、境界外のマップ値アクセスに利用されます。abs_s32()を導入し、負の前にu32にキャストして正しくS32_MIN処理し、署名のオーバーフローを完全に避けます。インタプリタのsdiv32/smod32ハンドラ内の8つのabs((s32)...)コールサイトすべてを置き換えます。S32だけが影響を受けているケースで、S64のディビジョン/モジュロハンドラーはABS()を使用しません。(CVE-2026-31525)

Nessus は、ベンダーによって報告されたパッケージの存在に依存していることに注意してください。

検出

Linux Distros のパッチ未適用の脆弱性: CVE-2026-31525

high Nessus プラグイン ID 309800

バージョン 1.16