Corpus for semctl$IPC_RMID:
Coverage
Program
3549
perf_event_open-unshare-semget$private-semctl$SETALL-semget-semtimedop-semctl$IPC_RMID-semctl$SEM_STAT
719
unshare-perf_event_open-semget$private-semop-semget$private-semtimedop-semop-semctl$IPC_RMID
529
perf_event_open-unshare-semget$private-semtimedop-semctl$IPC_RMID
435
unshare-semget$private-perf_event_open-semop-semctl$IPC_RMID
347
perf_event_open-futex-clock_gettime-semop-semctl$IPC_RMID
205
perf_event_open-unshare-semget$private-semtimedop-semctl$IPC_RMID
202
semget-seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semctl$IPC_RMID
186
perf_event_open-semctl$IPC_RMID
16
semctl$IPC_RMID