Corpus for semctl$IPC_SET:

Coverage	Program
4506	semget$private-perf_event_open-semop-getresgid-stat-mount$9p_fd-semctl$IPC_SET-semctl$IPC_RMID-semget-getuid-stat-semctl$IPC_SET-clock_gettime-semtimedop-semctl$SEM_INFO-semctl$SEM_INFO-unshare
4399	semget$private-perf_event_open-semop-getresgid-stat-mount$9p_fd-semctl$IPC_SET-semctl$IPC_RMID-semget-getuid-stat-semctl$IPC_SET-clock_gettime-semtimedop-semctl$SEM_INFO-semctl$SEM_INFO-unshare
1278	perf_event_open-unshare-semget$private-semctl$IPC_SET
610	semctl$IPC_RMID-ioctl$sock_FIOGETOWN-perf_event_open-semget$private-semop-semop-semctl$IPC_RMID-semctl$IPC_RMID-semctl$SEM_INFO-semtimedop-semop-semget$private-semtimedop-getresgid-semctl$IPC_SET-semtimedop-semctl$SEM_INFO-stat-setresuid-semctl$IPC_RMID
164	semget$private-semctl$IPC_SET
163	perf_event_open-semctl$IPC_SET
161	semget$private-semctl$IPC_SET
146	semctl$IPC_SET
144	unshare-semget$private-stat-semctl$IPC_SET-setresuid-semctl$IPC_SET
143	unshare-perf_event_open-semget$private-semctl$IPC_SET