In the Linux kernel, the following vulnerability has been resolved: bpf: Fix verifier assumptions about socket->sk The verifier assumes that ‘sk’ field in ‘struct socket’ is valid and non-NULL when ‘socket’ pointer itself is trusted and non-NULL. That may not be the case when socket was just created and passed to LSM socket_accept hook. Fix this verifier assumption and adjust tests.
OS | Version | Architecture | Package | Version | Filename |
---|---|---|---|---|---|
Debian | 12 | all | linux | < 6.1.106-3 | linux_6.1.106-3_all.deb |
Debian | 11 | all | linux | < 5.10.223-1 | linux_5.10.223-1_all.deb |
Debian | 999 | all | linux | < 6.8.12-1 | linux_6.8.12-1_all.deb |
Debian | 13 | all | linux | < 6.8.12-1 | linux_6.8.12-1_all.deb |