Corpus for semctl$IPC_RMID:
Coverage
Program
5204
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
4755
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semctl$IPC_RMID-unshare
4577
semget$private-perf_event_open-semop-semget$private-semget-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-unshare
283
semget-semctl$IPC_RMID
262
semget$private-perf_event_open-semget$private-semctl$IPC_RMID-semop-semctl$SEM_STAT_ANY-semop-semctl$SEM_STAT_ANY-clock_gettime-semget$private-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget-semget$private-semtimedop-semctl$IPC_RMID-unshare
247
semget$private-semop-semctl$IPC_RMID
247
semget$private-semop-semtimedop-semctl$IPC_RMID
188
perf_event_open-semget$private-semctl$IPC_RMID
169
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semctl$IPC_RMID-semctl$SEM_STAT_ANY-unshare
150
perf_event_open-semctl$IPC_RMID
133
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-syz_io_uring_complete-openat-accept4$bt_l2cap-semctl$SETALL-semop-clock_gettime-semtimedop-semctl$SEM_STAT_ANY-bind$inet6-connect$inet6-sendmsg$inet6-ioctl$BTRFS_IOC_ADD_DEV-semctl$IPC_RMID-semctl$SEM_STAT_ANY-unshare