Corpus for semget:
Coverage
Program
314
semget$private-perf_event_open-semctl$GETVAL-semctl$SEM_INFO-semget$private-semget
83
semget
42
semget
38
semop-semget-semctl$IPC_RMID-semctl$SEM_STAT-semop-semget-semctl$SETALL-openat$tcp_congestion-semtimedop-semget-semtimedop-openat$hpet-write$tcp_congestion-semop-semctl$IPC_INFO