Corpus for semctl$IPC_SET:

Coverage	Program
544	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semctl$IPC_SET
182	semget$private-semop-semctl$IPC_SET
173	semget$private-semtimedop-semctl$IPC_SET
165	semget$private-semop-semctl$IPC_SET
153	semget$private-semop-semctl$IPC_SET
153	semget$private-semtimedop-semctl$IPC_SET
152	semget$private-semop-semctl$IPC_SET
151	semget$private-semop-semctl$IPC_SET
151	semget$private-semtimedop-semop-semctl$IPC_SET
142	semctl$IPC_SET
141	semctl$IPC_SET
130	semctl$IPC_SET