Corpus for openat$selinux_attr:
Coverage
Program
1247
openat$selinux_attr