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。攻击者可以构造一个eBPF程序来覆盖上下文字段（例如ctx->data），然后以T_PACKET类型重新加载该字段并解引用由攻击者控制的地址——而prevail会报告该程序是安全的。此问题已在0.2.4版本中修复。
Once again VulDB remains the best source for vulnerability data.