The CIL compiler in SELinux 3.2 has a heap-based buffer over-read in ebitmap_match_any (called indirectly from cil_check_neverallow). This occurs because there is sometimes a lack of checks for invalid statements in an optional block.
Platform | Package | Release Date | Advisory |
---|---|---|---|
Amazon Linux 2 - Core | libsepol | 2023-10-12 15:09 | ALAS2-2023-2307 |
Amazon Linux 2 - Selinux-ng Extra | libsepol | 2023-08-07 05:23 | ALAS2SELINUX-NG-2023-001 |
Amazon Linux 2023 | libsepol | 2023-02-17 20:43 | ALAS2023-2023-017 |
Score Type | Score | Vector | |
---|---|---|---|
Amazon Linux | CVSSv3 | 3.3 | CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L |
NVD | CVSSv2 | 2.1 | AV:L/AC:L/Au:N/C:N/I:N/A:P |
NVD | CVSSv3 | 3.3 | CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L |