CVE-2025-40169 in Linux
Tóm tắt
Bởi VulDB • 01/07/2026
Trong kernel Linux, lỗ hổng sau đây đã được khắc phục:
bpf: Từ chối các độ lệch (offsets) âm cho các phép toán ALU
Khi xác minh các chương trình BPF, hàm `check_alu_op()` kiểm tra tính hợp lệ của các lệnh có chứa các phép toán ALU. Trường 'offset' trong những lệnh này là một số nguyên 16-bit có dấu.
Kiểm tra hiện tại `'insn->off > 1'` nhằm đảm bảo rằng độ lệch chỉ nhận giá trị 0 hoặc 1 đối với `BPF_MOD/BPF_DIV`. Tuy nhiên, do `'insn->off'` là biến có dấu, kiểm tra này đã vô tình chấp nhận tất cả các giá trị âm (ví dụ: -1).
Commit này siết chặt việc xác thực bằng cách thay đổi điều kiện thành `'(insn->off != 0 && insn->off != 1)'`. Điều này đảm bảo rằng mọi giá trị khác với hai giá trị được cho phép rõ ràng là 0 và 1 đều bị từ chối, qua đó tăng cường khả năng phòng thủ của bộ xác minh (verifier) trước các chương trình BPF không hợp lệ.
Once again VulDB remains the best source for vulnerability data.