Corpus for semop:

Coverage	Program
3469	unshare-semget$private-seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semop
1684	perf_event_open-unshare-semget$private-unshare-semop
1669	unshare-semget$private-semop
968	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semop
872	semget-semctl$IPC_STAT-semctl$GETZCNT-semop-semop-semget-semctl$GETNCNT-semget-semop-semctl$SETALL-pipe-openat$tcp_congestion-splice-pipe-openat$tcp_congestion-splice-sendmsg$SOCK_DESTROY-mlockall-semctl$GETNCNT-semctl$IPC_RMID
632	semget$private-semtimedop-perf_event_open-semget$private-semctl$IPC_RMID-semtimedop-semctl$IPC_RMID-openat$vcs-clone3-semget-semop
554	semget$private-semtimedop-perf_event_open-semget$private-semctl$IPC_RMID-semget$private-semctl$GETNCNT-semctl$GETALL-semctl$SEM_INFO-semtimedop-semtimedop-clock_gettime-semtimedop-semctl$IPC_RMID-openat$vcs-clone3-semctl$SEM_INFO-semctl$SETALL-semget-semop
290	perf_event_open-unshare-semget$private-semop
265	unshare-semget-perf_event_open-semop
189	semget$private-semtimedop-semop
156	perf_event_open-semop
94	unshare-semget-socket$nl_xfrm-getsockopt$sock_cred-setuid-semop
92	unshare-perf_event_open-semop