Corpus for semop:

Coverage	Program
4555	perf_event_open-semop-semget$private-semop-semctl$SEM_INFO-semctl$SEM_INFO-unshare
1426	perf_event_open-unshare-semget$private-semop-semget$private
1418	semctl$IPC_RMID-perf_event_open-semget$private-semget-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
639	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
454	perf_event_open-semop-semget$private-semop-clock_gettime-semtimedop-semtimedop
422	unshare-perf_event_open-semget$private-semop
327	shmget$private-shmget$private-shmctl$IPC_STAT-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-setresuid
315	shmctl$SHM_LOCK-shmget$private-shmget$private-shmctl$IPC_STAT-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID
313	shmctl$SHM_LOCK-shmget$private-shmget$private-shmctl$IPC_STAT-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semtimedop
312	shmctl$SHM_LOCK-shmget$private-shmget$private-shmctl$IPC_STAT-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID-getresgid-semtimedop
308	shmctl$SHM_LOCK-shmget$private-shmget$private-shmctl$IPC_STAT-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID-getresgid
304	semop
291	shmctl$SHM_LOCK-shmget$private-shmget$private-shmctl$IPC_STAT-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-getresgid
285	unshare-semget$private-semtimedop-semget$private-semop-semop
279	semget$private-semop
253	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-unshare-semget$private-semop
253	semget$private-stat-setresuid-semop
239	semop
225	semget$private-semtimedop-semop
216	semget$private-clock_gettime-semtimedop-semop
205	unshare-semget$private-semtimedop-semop
200	semop-semop
194	semop
185	semop-semop
170	stat-setresuid-recvmsg$unix-semget$private-semop
106	semop-semctl$GETNCNT
66	perf_event_open-semop