Corpus for semctl$IPC_SET:
Coverage
Program
4428
semget$private-perf_event_open-semop-getresgid-stat-mount$9p_fd-semctl$IPC_SET-semget-semctl$SEM_INFO-semctl$IPC_RMID-semget-getuid-stat-semctl$IPC_SET-stat-clock_gettime-semtimedop-semctl$SEM_INFO-semctl$SEM_INFO-unshare
150
semctl$IPC_SET
144
semctl$IPC_SET
141
semctl$IPC_SET
141
semget$private-semget$private-semop-perf_event_open-semtimedop-semop-semget$private-getresgid-semget-getuid-stat-semctl$IPC_SET-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-semop-semctl$SEM_INFO-unshare
139
semget$private-semtimedop-semctl$IPC_SET
109
perf_event_open-semctl$IPC_SET