CVE-2024-38566

Summary

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.

Affected Software

VendorProductVersion RangeStatus
LinuxLinux6fcd486b3a0a628c41f12b3a7329a18a2c74b351 < 39f8a29330f433000e716eefc4b9abda05b71a82affected
LinuxLinux6fcd486b3a0a628c41f12b3a7329a18a2c74b351 < 6f5ae91172a93abac9720ba94edf3ec8f4d7f24faffected
LinuxLinux6fcd486b3a0a628c41f12b3a7329a18a2c74b351 < c58ccdd2483a1d990748cdaf94206b5d5986a001affected
LinuxLinux6fcd486b3a0a628c41f12b3a7329a18a2c74b351 < 0db63c0b86e981a1e97d2596d64ceceba1a5470eaffected
LinuxLinux6.4affected
LinuxLinux0 < 6.4unaffected
LinuxLinux6.6.33 <= 6.6.*unaffected
LinuxLinux6.8.12 <= 6.8.*unaffected
LinuxLinux6.9.3 <= 6.9.*unaffected
LinuxLinux6.10 <= *unaffected

Weaknesses

ADP Enrichment

CVE Program Container

Additional References

CISA ADP Vulnrichment

  • SSVC:
  • Exploitation: none
    • Automatable: no
    • Technical Impact: partial

References