Corpus for msgctl$IPC_INFO:
Coverage
Program
460
msgctl$IPC_INFO
285
msgget-msgget$private-msgget$private-perf_event_open-msgget$private-msgsnd-msgctl$IPC_INFO-msgrcv-msgctl$IPC_RMID-inotify_init1-creat-inotify_add_watch-dup3