CVE-2026-53706 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, trình xác minh eBPF prevail chấp nhận các lệnh ALU32 ADD và SUB hoạt động trên các thanh ghi kiểu con trỏ mà không kiểm tra cờ is64. Vì phép toán số học ALU32 mở rộng zero (zero-extends) kết quả 32-bit, nửa trên của bất kỳ con trỏ nào bị phá hủy một cách im lặng khi chạy thời gian thực, tuy nhiên prevail vẫn đánh dấu chương trình là đã xác minh an toàn. Bất kỳ caller nào có thể gửi một chương trình eBPF để xác minh — bao gồm cả người dùng không đặc quyền (unprivileged users) trên các kernel cho phép tải chương trình BPF — đều có thể tạo ra một chương trình vượt qua quá trình xác minh nhưng bị lỗi hoặc hoạt động sai lệch khi chạy thời gian thực. Vấn đề này đã được vá trong phiên bản 0.2.4.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.