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

  - bpfグローバル関数の変更_pkt_data プロパティを追跡 特定のヘルパーへの呼び出しを処理する際、ベリファイアは現在の状態の全てのパケットポインターを無効にします。たとえば、次のプログラムがあるとします。
    __attribute__(__noinline__)long skb_pull_data(struct __sk_buff *sk, __u32 len) { return bpf_skb_pull_data(sk, len); } SEC(tc) int test_invalidate_checks(struct __sk_buff *sk) { int *p = (void
    *)(long)sk->data; ((void *)(p + 1) > (void *)(long)sk->data_end) の場合、 TCX_DROP を返します。 skb_pull_data(sk, 0);
    *p = 42; TCX_PASS を返します} bpf_skb_pull_data() への呼び出しの後、ポインター「p」は安全に使用できません。このようなヘルパーのリストについては、filter.c:bpf_helper_changes_pkt_data() 関数を参照してください。現時点では、ベリファイアはヘルパー関数の呼び出しを処理する際にパケットポインターを無効にし、グローバルサブプログラムへの呼び出しを処理する際にグローバルサブプログラムをトラバースしません。これは、グローバルサブプログラムから行われるヘルパーへの呼び出しが、呼び出し元の状態のポインターを無効にしないことを意味します。たとえば、上記のプログラムは安全ではありませんが、検証機能によって拒否されません。このコミットは、メインの検証が合格になる前に、各サブプログラムのフィールド bpf_subprog_info->changes_pkt_data を計算することで、省略を修正します。 changes_pkt_data は設定する必要があります。 - サブプログラムは、bpf_helper_changes_pkt_data が true を返すヘルパーを呼び出します。 - subprogram はグローバル関数を呼び出し、bpf_subprog_info->changes_pkt_data を設定する必要があります。verifyer.c:check_cfg() パスは、この情報を計算するために変更されます。コミットは、check_cfg() によって行われる深さ最初の命令トラバーサルと、再帰関数呼び出しの欠如に依存しています - check_cfg() は、S が完全に探索されるとき、状態のサブプログラム S に対する呼び出しを最終的にすべて参照します。 - S が完全に調査される場合 - S 内のすべてのダイレクトヘルパー呼び出しが調査されますしたがって、必要に応じて change_pkt_data が設定されます- S によって呼び出されるサブプログラム S1 への呼び出しは、S1 が完全に探索された状態でアクセスされましたS1 から change_pkt_data を継承します。このようなアプローチのマイナスの部分は、デッドコードの削除が考慮されないことです。現在の構成が原因でグローバル関数内のヘルパー呼び出しがデッドである場合、検証者は呼び出しがchanges_pkt_data計算のために発生していると保守的に想定します。CVE-2024-58098

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

検出

Linux Distros のパッチ未適用の脆弱性: CVE-2024-58098

medium Nessus プラグイン ID 245916

バージョン 1.27