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_version": "2.4-2ubuntu0.1~esm1",
"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"
}
],
"availability": "Available with Ubuntu Pro (Infra-only): https://ubuntu.com/pro"
}