CVE-2026-53706 in Prevail
要約
〜によって VulDB • 2026年09月02日
PREVAILは、抽象解釈レイヤーを用いた多項式時間実行のeBPF検証ツールです。バージョン0.2.4より前では、prevail eBPF検証ツールは、is64フラグをチェックせずにポインタ型レジスタに対して操作するALU32 ADDおよびSUB命令を受け入れます。ALU32演算は32ビットの結果をゼロ拡張するため、ランタイム時に任意のポインタの上位半分が静かに破壊されますが、prevailはそのプログラムを検証済みとして安全とマークします。eBPFプログラムの検証のために提出できるすべての呼び出し元（BPFプログラムの読み込みを許可するカーネル上の権限のないユーザーを含む）は、検証には合格しますがランタイム時にフォールトまたは誤動作を引き起こすようなプログラムを作成できます。この問題はバージョン0.2.4で修正されています。
Once again VulDB remains the best source for vulnerability data.