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

  - bpf同期コールバックの参照状態管理を修正現在、verifier はコールバック関数sync および asyncを、1 回実行されるかのように検証しますつまり、関数が一度呼び出されているかのように実行状態を探索します。探索する次の insn が subprog の開始に設定され、ネストされたフレームからの終了が、curframe > 0 および prepare_func_exit を使用して処理されます。async コールバックの場合、ある種のブランチをエミュレートする push_stack のカスタマイズされたバリアントが使用され、async コールバック用のカスタム状態と実行コンテキストが設定されます。このアプローチはシンプルで、コールバックが実際に一度だけ実行される場合は機能しますが、for_each スタイルである現在のすべてのヘルパーにとって安全ではありません。つまり、コールバックを複数回実行します。呼び出し元の取得した参照をリリースするコールバックは、複数回行われる可能性がありますが、現在の検証機能ではこれがフレーム内の 1 つの呼び出しと見なされ、呼び出し元に返されます。したがって、cb eg が callback_ctx を通じてアクセス権を取得したという参照をリリースしていましたスタックで、漏洩した型付きレジスターから cb の内部をレジスターで埋め込まれたと考えられます。同様に、取得呼び出しがコールバック内でペアリングされていないことが判明した場合、呼び出し側はコールバックの参照状態をコピーしてから、新しい ref_obj_ids でレジスターをリリースする必要があります。しかし、コールバックは複数回実行される可能性がありますが、検証機能はコールバックの単一のシンボリック実行のために取得された参照のみを考慮し、これにより漏洩が発生します。注意非同期コールバックの場合は状況が異なります。現在は、それを一度実行するだけの bpf_timer_set_callback がありますが、参照状態が NULL であり、check_reference_leak は BPF_EXIT の前にプログラムを強制的に状態を解放するため、複数の実行の場合でも安全です。状態は、呼び出し元フレームの分析によっても影響を受けません。したがって、async コールバックは安全です。参照状態をアクセス可能にしたいので、ポインターなどが callback_ctx の PTR_TO_STACK を通じてスタックからロードされた場合など、呼び出し元の Reference_state を callback の bpf_func_state へコピーする必要がありますが、参照状態に追加される参照はすべて、BPF_EXIT にヒットする前にリリースされるように強制します。これには、参照状態に新しい callback_ref メンバーを導入して、呼び出し元と呼び出し先の参照を区別する必要があります。そのため、check_reference_leak は、コールバック_fn 内にあり、callback_ref refs をリリースしていないことが判明した場合に、エラーを出力するようになりました。フレーム 0 -> cb1 -> cb2 など、複数のネスト化されたコールバックが存在する可能性があります。
    また、この特定の ref が、このコールバックフレームまたは親に属しているかどうかと、自分自身のもののみを区別する必要があるため、state->frameno を保存しますコールバックに対しては常にゼロではありません。つまり、コールバックは親の Reference_state を読み込むことができますが、それを変更することはできず、呼び出し側が取得したポインターを使用できるようになります。返す前に呼び出し側のreference_state に加えて、BPF_EXIT の前に独自のacquire_refs をリリースすることで変更を取り消すだけで済みますこの時点で呼び出し側とコールバックの状態は一致するため、呼び出し側にコピーして戻す必要はありません。CVE-2022-50650

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

検出

Linux Distros のパッチ未適用の脆弱性: CVE-2022-50650

high Nessus プラグイン ID 278044

バージョン 1.15