Corpus for openat$selinux_attr:

Coverage	Program
1247	openat$selinux_attr