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

  - bpf異なるフックに取り付けられた prog 間のテールコールを防止します。bpf progs はカーネル関数に取り付けられる可能性があり、取り付けられた関数は異なるパラメーターを使用するか、異なる戻り値を返すことができます。あるカーネル関数に取り付けられた prog が、別のカーネル関数に取り付けられた prog を呼び出す場合、ctx アクセスまたは戻り値の検証がバイパスされる可能性があります。たとえば、prog1 が 1 つのパラメーターのみを使用する func1 に添付され、prog2 が 2 つのパラメーターのみを使用する func2 に添付されているとします。検証機能は、prog2 に渡される bpf ctx が func2 のプロトタイプに基づいて構築されると想定するため、prog2 は、渡される bpf ctx から 2 番目のパラメーターにアクセスできます。問題は、prog1 が tail 呼び出しで bpf ctx を prog2 に渡すことを、ベリファイアが阻止しないことです。この場合、prog2 に渡される bpf ctx は、func2 ではなく func1 から構築されます。つまり、ctx アクセス検証の前提がバイパスされます。別の例として、BPF LSM prog1 が file_alloc_security フックに取り付けられており、BPF LSM prog2 がフック bpf_lsm_audit_rule_known に取り付けられているとします。Verifier はこれらの 2 つのフックの戻り値ルールを認識しています。例えば、bpf_lsm_audit_rule_known が正の数字 1 を返すのは正当であり、file_alloc_security が正の数字を返すのは不正です。そのため、verifier は prog2 が正の数字 1 を返すことを許可していますが、prog1 が正の数字を返すことは許可していません。問題は、verifier が prog1 が tail call で prog2 を呼び出すことを阻止していないことです。この場合、prog2 の戻り値 1 は prog1 の hook file_alloc_security の戻り値として使用されます。
    つまり、戻り値ルールがバイパスされます。このパッチは、こうしたバイパスを防ぐためにテールコールに制限を追加します。CVE-2024-50063

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

検出

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

high Nessus プラグイン ID 231593

バージョン 1.23