Corpus for openat$selinux_attr:

Coverage	Program
1248	openat$selinux_attr
1201	openat$selinux_attr