Corpus for openat$selinux_attr:

Coverage	Program
1235	openat$selinux_attr