Corpus for semtimedop:
Coverage
Program
4682
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-clock_gettime-semtimedop-semget$private-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semget$private-semtimedop-semctl$IPC_RMID-semctl$SEM_INFO-unshare
4531
perf_event_open-semget$private-semctl$IPC_RMID-clock_gettime-semtimedop-semget$private-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semtimedop-semop-semctl$SEM_INFO-unshare
926
syz_io_uring_setup-syz_io_uring_submit-mmap$IORING_OFF_SQ_RING-mmap$IORING_OFF_CQ_RING-syz_io_uring_submit-socket$inet-setsockopt$inet_mreqn-ioctl$BTRFS_IOC_SET_FEATURES-openat-semget$private-perf_event_open-semtimedop-semget$private-semop
493
perf_event_open-semget$private-semtimedop
423
unshare-semget$private-perf_event_open-unshare-semctl$IPC_RMID-semtimedop
321
semtimedop
303
semget$private-semtimedop-semop
301
semget$private-semop-semtimedop
296
semget$private-semtimedop-semop
228
semget$private-semget$private-semtimedop-semtimedop-semtimedop
207
semtimedop-semctl$IPC_RMID
204
semget$private-semtimedop-semop
145
semtimedop
50
semtimedop