The CIL compiler in SELinux 3.2 has a heap-based buffer over-read in ebitmapmatchany (called indirectly from cilcheckneverallow). This occurs because there is sometimes a lack of checks for invalid statements in an optional block.
{ "urgency": "not yet assigned" }