Improper Validation of Specified Type of Input Affecting kernel6.12-modules-extra package, versions <1:6.12.114-139.210.amzn2023


Severity

Recommended
high

Based on Amazon Linux security rating.

Threat Intelligence

EPSS
0.17% (7th percentile)

Do your applications use this vulnerable package?

In a few clicks we can analyze your entire application and see what components are vulnerable in your application, and suggest you quick fixes.

Test your applications
  • Snyk IDSNYK-AMZN2023-KERNEL612MODULESEXTRA-22395994
  • published10 Nov 2026
  • disclosed3 Sept 2026

Introduced: 3 Sep 2026

CVE-2026-80738  (opens in a new tab)
CWE-1287  (opens in a new tab)

How to fix?

Upgrade Amazon-Linux:2023 kernel6.12-modules-extra to version 1:6.12.114-139.210.amzn2023 or higher.
This issue was patched in ALAS2023-2026-3402.

NVD Description

Note: Versions mentioned in the description apply only to the upstream kernel6.12-modules-extra package and not the kernel6.12-modules-extra package as distributed by Amazon-Linux. See How to fix? for Amazon-Linux:2023 relevant fixed versions and status.

In the Linux kernel, the following vulnerability has been resolved:

bpf: Check sk_state before sk_protocol in bpf_tcp_*_syncookie

bpf_tcp_gen_syncookie and bpf_tcp_check_syncookie accept a socket pointer 'sk' with argument type ARG_PTR_TO_BTF_ID_SOCK_COMMON. However, they access sk->sk_protocol without validating whether 'sk' represents a full socket.

Fix this issue by checking sk->sk_state != TCP_LISTEN before inspecting sk->sk_protocol in both bpf_tcp_gen_syncookie and bpf_tcp_check_syncookie. Since mini-sockets are never in the TCP_LISTEN state, the condition short-circuits and prevents dereferencing fullsock-specific fields.

CVSS Base Scores

version 3.1