Corpus for semctl$SEM_STAT_ANY:
Coverage
Program
4967
semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semget$private-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-unshare
4831
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
4599
semget$private-semget$private-semop-perf_event_open-semtimedop-semop-semget$private-getresgid-semget-semctl$IPC_SET-stat-semctl$IPC_SET-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semtimedop-semctl$SEM_STAT_ANY-semop-semctl$SEM_INFO-unshare
4531
semget$private-semget$private-semop-perf_event_open-semtimedop-semop-semget$private-getresgid-semget-stat-semctl$IPC_SET-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semtimedop-semctl$SEM_STAT_ANY-semop-semctl$SEM_INFO-unshare
606
unshare-semget$private-semctl$SEM_STAT_ANY
561
perf_event_open-semget$private-semctl$SEM_STAT_ANY-semtimedop-semtimedop
436
perf_event_open-semget$private-semctl$SEM_STAT_ANY