Corpus for semop:

Coverage	Program
4753	semget$private-perf_event_open-semop-semget$private-semctl$SEM_STAT_ANY-semget-clock_gettime-semtimedop-semctl$IPC_RMID-semget$private-semop-semctl$SEM_INFO-unshare
4734	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-clock_gettime-semtimedop-semget$private-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semget$private-semtimedop-semctl$IPC_RMID-semctl$SEM_INFO-unshare
857	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semop
748	semctl$IPC_RMID-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID-getresgid-semtimedop-semctl$SEM_INFO-stat-setresuid-stat-setresuid-semctl$IPC_RMID-semop-semctl$IPC_RMID
693	semctl$IPC_RMID-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID-getresgid-semtimedop-semctl$SEM_INFO-stat-setresuid-stat-setresuid-semctl$IPC_RMID-semop-semctl$IPC_RMID
640	semget$private-perf_event_open-semop-semget$private-semget$private-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semctl$IPC_RMID-semget-semop-semctl$SEM_INFO
440	semget$private-perf_event_open-semop-semop-semget$private-semctl$IPC_RMID-clock_gettime-semtimedop-semget$private-ioctl$AUTOFS_DEV_IOCTL_REQUESTER-ftruncate-semctl$GETPID-semtimedop-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semop
422	unshare-semget$private-perf_event_open-semop
358	unshare-semget$private-semtimedop-semop
344	semget$private-semop-semctl$IPC_RMID
338	semget$private-semop
132	perf_event_open-creat-semop