CVE-2026-80913

Dashboard / Vulnerabilities / CVE-2026-80913

CVE-2026-80913

Summary: selinux: require every boolean value to be defined

Details: 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.

References: https://git.kernel.org/stable/c/3161daa3f1e3ca68f8b2b8fa01720b5a8dcc6b40, https://git.kernel.org/stable/c/3938c8494d3c5d84a53fd7d1966ae9dde46cb5f8, https://git.kernel.org/stable/c/42a7107f99d86a7524c37f108047dfa3db096ab5, https://git.kernel.org/stable/c/4d0ece18e648bd4362704fd087249ac697f2b7fb, https://git.kernel.org/stable/c/4dfb997c60f7951011d3dcbee926e3a7f80d8a76, https://git.kernel.org/stable/c/740012aebdb8311332bf66e2aabf453ba73c2c45, https://git.kernel.org/stable/c/a93d37a09b863810653f93d371fb197457d59deb, https://git.kernel.org/stable/c/ed901e88aa3fb3d5d7b0b52c2ee3073209df9bec, https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/80xxx/CVE-2026-80913.json, https://nvd.nist.gov/vuln/detail/CVE-2026-80913, https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git