Corpus for semop:

Coverage	Program
4798	semget$private-perf_event_open-semop-semget-semctl$IPC_RMID-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semctl$IPC_RMID-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-unshare-semop
4474	semget$private-perf_event_open-semop-semget$private-semget-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-unshare
1728	unshare-semget$private-semop
1347	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semop
988	semget$private-perf_event_open-semop-semget-semctl$IPC_RMID-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semget$private-semop-openat$bsg-semctl$IPC_RMID-unshare-semop
800	semget$private-perf_event_open-semop-semget$private-semctl$SETALL-socket$inet_tcp-setsockopt$inet_tcp_TCP_REPAIR-connect$inet-setsockopt$inet_tcp_TCP_REPAIR_OPTIONS-clock_gettime-semtimedop-semtimedop-semctl$IPC_RMID-semget$private-semctl$SEM_STAT_ANY-semget$private
362	perf_event_open-semget$private-semop-stat
313	semget$private-semop
302	semget$private-semop-semop
298	semget$private-semtimedop-semop
288	semget$private-semop
247	semget$private-semop-semop-semop
124	perf_event_open-semop
113	stat-setreuid-semget$private-semop