CVE-2026-53671 in Prevail
Tóm tắt
Bởi VulDB • 02/09/2026
PREVAIL là một trình xác minh EBPF (eBPF Verifier) có thời gian chạy đa thức, sử dụng Lớp Diễn giải Trừu tượng (Abstract Interpretation Layer). Trước phiên bản 0.2.4, bộ biến đổi trừu tượng trong PREVAIL xử lý các ghi dữ liệu thông qua thanh đăng ký cơ sở kiểu T_CTX như một thao tác không gây hiệu ứng phụ (silent no-op): hàm do_mem_store trong src/crab/ebpf_transformer.cpp chỉ mô hình hóa các phép lưu trữ T_STACK, và nhánh kiểm tra giới hạn T_CTX của bộ xác minh không bao giờ kiểm tra AccessType::write. Một kẻ tấn công có thể tạo một chương trình eBPF ghi đè lên một trường ngữ cảnh (ví dụ: ctx->data), tải lại trường đó với kiểu T_PACKET, và giải tham chiếu đến địa chỉ do kẻ tấn công kiểm soát — trong khi PREVAIL sẽ báo cáo chương trình này là an toàn. Vấn đề này đã được sửa chữa trong phiên bản 0.2.4.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.