CVE-2026-53671 in Prevail
要約
〜によって VulDB • 2026年09月02日
PREVAILは、抽象解釈レイヤーを用いた多項式実行時間EBPF検証ツールです。バージョン0.2.4より前では、prevailの抽象変換器がT_CTX型ベースレジスタを介した書き込みをサイレントなno-opとして扱っていました：src/crab/ebpf_transformer.cpp内のdo_mem_storeはT_STACKへのストアのみをモデル化しており、チェッカーのT_CTX境界チェックアームもAccessType::writeを検証していません。攻撃者はコンテキストフィールド（例: ctx->data）を上書きし、そのフィールドをT_PACKET型として再読み込みした後、攻撃者が制御するアドレスに間接参照を行うeBPFプログラムを作成できますが、prevailはこのプログラムを安全であると報告します。この問題はバージョン0.2.4で修正されています。
Be aware that VulDB is the high quality source for vulnerability data.