| Name | CVE-2026-80913 |
| Description | In the Linux kernel, the following vulnerability has been resolved: selinux: require every boolean value to be defined p_bools.nprim comes from the policy image independently of how many booleans follow it, and cond_index_bool() fills bool_val_to_struct[] at value - 1, so a count larger than the values present leaves NULL entries. Every user of that array then walks it by index and dereferences each entry: cond_evaluate_expr() on the access-vector path, security_get_bools() and security_get_bool_value() behind selinuxfs, and security_set_bools(). A sparse class value is absorbed by policydb_class_isvalid() and its siblings; booleans have no such predicate, and no consumer that could use one. Reject a boolean value that no boolean defines, once, where the array is built. Conforming policies define every boolean they declare and are unaffected. |
| Source | CVE (at NVD; CERT, ENISA, LWN, oss-sec, fulldisc, Debian ELTS, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more) |
| References | DLA-4777-1, DLA-4788-1 |
The table below lists information on source packages.
| Source Package | Release | Version | Status |
|---|---|---|---|
| linux (PTS) | bookworm | 6.1.176-1 | vulnerable |
| bookworm (security) | 6.1.187-1 | fixed | |
| trixie (security), trixie | 6.12.107-1 | fixed | |
| forky | 7.2.6-1 | fixed | |
| sid | 7.2.8-1 | fixed | |
| linux-6.12 (PTS) | bookworm (security) | 6.12.107-1~deb12u1 | fixed |
The information below is based on the following data on fixed versions.
| Package | Type | Release | Fixed Version | Urgency | Origin | Debian Bugs |
|---|---|---|---|---|---|---|
| linux | source | bookworm | 6.1.187-1 | DLA-4777-1 | ||
| linux | source | trixie | 6.12.105-1 | |||
| linux | source | (unstable) | 7.1.10-1 | |||
| linux-6.12 | source | bookworm | 6.12.107-1~deb12u1 | DLA-4788-1 |
https://git.kernel.org/linus/a93d37a09b863810653f93d371fb197457d59deb (7.2-rc7)