Corpus for semctl$IPC_RMID:
Coverage
Program
1780
perf_event_open-unshare-semget$private-semtimedop-semctl$IPC_RMID
469
perf_event_open-semget-semctl$IPC_RMID
426
unshare-semget$private-perf_event_open-semop-semctl$IPC_RMID
310
semget-semget-semctl$IPC_RMID
274
perf_event_open-semget$private-semop-semctl$IPC_RMID
224
perf_event_open-semget$private-semctl$IPC_RMID
10
semctl$IPC_RMID