Corpus for semctl$SEM_INFO:
Coverage
Program
790
semctl$IPC_RMID-semop-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID-getresgid-semtimedop-semctl$SEM_INFO-stat-setresuid-setresuid-semctl$IPC_RMID-semop-semctl$IPC_RMID
469
semctl$IPC_RMID-perf_event_open-ioctl$PERF_EVENT_IOC_ID-semget$private-semop-semop-semget$private-semtimedop-semtimedop-semctl$IPC_RMID-getresgid-semtimedop-semctl$SEM_INFO-stat-setresuid-setresuid-semctl$IPC_RMID-semop-semctl$IPC_RMID-semctl$IPC_RMID
317
perf_event_open-semctl$SEM_INFO