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.
{ "binaries": [ { "binary_name": "libsepol1", "binary_version": "2.4-2ubuntu0.1~esm1" }, { "binary_name": "libsepol1-dev", "binary_version": "2.4-2ubuntu0.1~esm1" }, { "binary_name": "sepol-utils", "binary_version": "2.4-2ubuntu0.1~esm1" } ], "availability": "Available with Ubuntu Pro (Infra-only): https://ubuntu.com/pro" }