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.
Exploit prediction scoring system (EPSS) score
EPSS Score 0.005
EPSS Ranking 36.0%