Corpus for semop:

Coverage	Program
5688	semget$private-perf_event_open-semop-semget$private-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
5252	semget$private-perf_event_open-semop-semctl$SETALL-clock_gettime-semtimedop-semget$private-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$IPC_RMID-semop-semctl$IPC_RMID-unshare-semget$private-semctl$SETALL-semtimedop
4826	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
4496	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semtimedop-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semget$private-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semget$private-semctl$IPC_RMID-unshare
4378	perf_event_open-semtimedop-semget$private-semctl$SETALL-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semctl$IPC_RMID-semop-unshare-semctl$SETALL
844	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semget$private-semop
548	perf_event_open-semget$private-semop
308	semget$private-semop
305	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semtimedop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
278	semget$private-semtimedop-semtimedop-semop
261	semget$private-semctl$SETALL-semop-semop
258	perf_event_open-semget$private-semop-recvmsg$unix-dup3
242	semget$private-semop-semop
234	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semctl$IPC_RMID-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
190	semget$private-semop-semop
188	unshare-semget$private-semop
186	semget$private-semctl$SETALL-semop
156	semget$private-perf_event_open-semop-semctl$SETALL-clock_gettime-semtimedop-semget$private-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$IPC_RMID-semop-semctl$IPC_RMID-unshare-semget$private-semctl$SETALL-semtimedop-unshare