Description
kernel/bpf/verifier.c in the Linux kernel 4.9.x through 4.9.71 does not check the relationship between pointer values and the BPF stack, which allows local users to cause a denial of service (integer overflow or invalid memory access) or possibly have unspecified other impact.
Fixed in Linux distributions
Distributions backport fixes, so the version that fixes this vulnerability differs per release — upgrade to at least the version shown. From the distributions' security trackers and advisories.
Debian
Security tracker ↗| Release | Package | Fixed in | Advisory |
|---|---|---|---|
| Debian 14 | linux | 4.14.7-1 | — |
| Debian 13 | linux | 4.14.7-1 | — |
| Debian 12 | linux | 4.14.7-1 | — |
| Debian 9 | linux | 4.9.65-3+deb9u1 | DSA-4073-1 |
Advisories 1
- DSA-4073-1 linux - security update Debian Security (DSA / DLA) · Mar 9, 2026
References
- 1040058 vdb-entry
- USN-3523-3 vendor-advisory
- https://www.spinics.net/lists/stable/msg206985.html
- 102321 vdb-entry
- DSA-4073 vendor-advisory
- USN-3523-2 vendor-advisory
- https://anonscm.debian.org/cgit/kernel/linux.git/tree/debian/patches/bugfix/all/bpf-reject-out-of-bounds-stack-pointer-calculation.patch?h=stretch-security