<?xml version="1.0"?> <def format="1"> <!-- struct group *getgrnam(const char *name); --> <function name="getgrnam"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- struct group *getgrgid(gid_t gid);--> <function name="getgrgid"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int gettimeofday(struct timeval *tv, struct timezone *tz); --> <function name="gettimeofday"> <noreturn>false</noreturn> <arg nr="1"/> <arg nr="2"/> <leak-ignore/> </function> <!-- int settimeofday(const struct timeval *tv, const struct timezone *tz); --> <function name="settimeofday"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- void FD_CLR(int fd, fd_set *set); --> <function name="FD_CLR"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> <leak-ignore/> </function> <!-- int FD_ISSET(int fd, fd_set *set); --> <function name="FD_ISSET"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> <leak-ignore/> </function> <!-- void FD_SET(int fd, fd_set *set); --> <function name="FD_SET"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> <leak-ignore/> </function> <!-- void FD_ZERO(fd_set *set);--> <function name="FD_ZERO"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> <leak-ignore/> </function> <!-- int truncate(const char *path, off_t length); --> <function name="truncate"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int ftruncate(int fd, off_t length); --> <function name="ftruncate"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int flock(int fd, int operation); --> <function name="flock"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int symlink(const char *oldpath, const char *newpath); --> <function name="symlink"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-null/> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int open(const char *pathname, int flags) --> <function name="open"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int creat(const char *pathname, mode_t mode); --> <function name="creat"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int open(const char *pathname, int flags, mode_t mode); --> <function name="open"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- unsigned int sleep(unsigned int seconds); --> <function name="sleep"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-bool/> <valid>0:</valid> </arg> <leak-ignore/> </function> <!-- int usleep(useconds_t useconds); --> <function name="usleep"> <noreturn>false</noreturn> <arg nr="1"> <not-bool/> <valid>0:999999</valid> </arg> <leak-ignore/> </function> <!-- void _exit(int status); --> <function name="_exit"> <noreturn>true</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- void _Exit(int status); --> <function name="_Exit"> <noreturn>true</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int access(const char *pathname, int mode); --> <function name="access"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- unsigned int alarm(unsigned int seconds); --> <function name="alarm"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- struct hostent *gethostbyname(const char *name); --> <function name="gethostbyname"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- struct hostent *gethostbyaddr(const void *addr, socklen_t len, int type); --> <function name="gethostbyaddr"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int brk(void *addr); --> <function name="brk"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> <leak-ignore/> </function> <!-- void *sbrk(intptr_t incr);--> <function name="sbrk"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int closedir(DIR *dir); --> <function name="closedir"> <noreturn>false</noreturn> <arg nr="1"> <not-bool/> <not-uninit/> <not-null/> </arg> </function> <function name="strdup"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> </function> <function name="strndup"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <function name="wcsdup"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> </function> <function name="mkstemp"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <function name="mkdtemp"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <function name="mktemp"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- char *getcwd(char *buf, size_t size); --> <function name="getcwd"> <noreturn>false</noreturn> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int mkdir(const char *pathname, mode_t mode); --> <function name="mkdir"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int rmdir(const char *pathname); --> <function name="rmdir"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- int chdir(const char *path); --> <function name="chdir"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- int chroot(const char *path); --> <function name="chroot"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- int link(const char *oldpath, const char *newpath); --> <function name="link"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- int unlink(const char *pathname); --> <function name="unlink"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- int rename(const char *oldpath, const char *newpath); --> <function name="rename"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- int stat(const char *file_name, struct stat *buf); --> <function name="stat"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> <leak-ignore/> </function> <!-- int lstat(const char *file_name, struct stat *buf); --> <function name="lstat"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> <leak-ignore/> </function> <!-- int fstat(const char *file_name, struct stat *buf); --> <function name="fstat"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> <leak-ignore/> </function> <!-- int chmod(const char *path, mode_t mode); --> <function name="chmod"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int chown(const char *path, uid_t owner, gid_t group); --> <function name="chown"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int lchown(const char *path, uid_t owner, gid_t group); --> <function name="lchown"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int fchown(int fildes, uid_t owner, gid_t group); --> <function name="fchown"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int utime(const char *filename, struct utimbuf *buf); --> <function name="utime"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int utimes(const char *filename, const struct timeval times[2]); --> <function name="utimes"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- DIR *opendir(const char *name); --> <function name="opendir"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <function name="fdopendir"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int isatty(int fildes); --> <function name="isatty"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <function name="popen"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-null/> <not-uninit/> </arg> </function> <function name="pclose"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> </function> <!-- int socket(int domain, int type, int protocol); --> <function name="socket"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- int nice(int incr); --> <function name="nice"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int pause(void); --> <function name="pause"> <noreturn>false</noreturn> <leak-ignore/> </function> <!-- int close(int fildes); --> <function name="close"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- size_t confstr(int, char *, size_t); --> <function name="confstr"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- long int fpathconf(int fildes, int name); --> <function name="fpathconf"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- long int pathconf(const char *path, int name); --> <function name="pathconf"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- long int sysconf(int name); --> <function name="sysconf"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <function name="fdopen"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> </function> <!-- struct dirent *readdir(DIR *dir); --> <function name="readdir"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <leak-ignore/> </function> <!-- void rewinddir(DIR *dir); --> <function name="rewinddir"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <leak-ignore/> </function> <!-- void seekdir(DIR *dirp, long loc); --> <function name="seekdir"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <leak-ignore/> </function> <function name="rand_r"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-null/> </arg> </function> <function name="memmem"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> <not-null/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <function name="memrchr"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> <not-bool/> <valid>0:</valid> </arg> <arg nr="3"> <not-bool/> <valid>0:</valid> </arg> </function> <function name="rawmemchr"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> <not-bool/> <valid>0:</valid> </arg> </function> <function name="strcasecmp"> <noreturn>false</noreturn> <pure/> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> <not-null/> </arg> </function> <function name="strncasecmp"> <noreturn>false</noreturn> <pure/> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> <not-null/> </arg> <arg nr="3"> <not-bool/> <valid>0:</valid> </arg> </function> <!-- ssize_t read(int fd, void *buf, size_t count); --> <function name="read"> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <minsize type="argvalue" arg="3"/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <function name="write"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <minsize type="argvalue" arg="3"/> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <function name="recv"> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <minsize type="argvalue" arg="3"/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <function name="recvfrom"> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <minsize type="argvalue" arg="3"/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> <arg nr="5"/> <arg nr="6"/> </function> <function name="send"> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <minsize type="argvalue" arg="3"/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <function name="sendto"> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <minsize type="argvalue" arg="3"/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> <arg nr="5"/> <arg nr="6"/> </function> <!-- void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset); --> <function name="mmap"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> <arg nr="5"> <not-uninit/> </arg> <arg nr="6"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- void *mmap64(void *addr, size_t length, int prot, int flags, int fd, off64_t offset); --> <function name="mmap64"> <use-retval/> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> <arg nr="5"> <not-uninit/> </arg> <arg nr="6"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int munmap(void *addr, size_t length); --> <function name="munmap"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- void openlog(const char *ident, int option, int facility); --> <function name="openlog"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- int fcntl(int fd, int cmd, ... /* arg */ ); --> <function name="fcntl"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="any"> <not-uninit/> </arg> </function> <!-- void syslog(int priority, const char *format, ...); --> <function name="syslog"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <formatstr/> </arg> <arg nr="any"> <not-uninit/> </arg> </function> <!-- void vsyslog(int priority, const char *format, va_list ap); --> <function name="vsyslog"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <formatstr/> </arg> <arg nr="any"> <not-uninit/> </arg> </function> <function name="getgid"> <noreturn>false</noreturn> <use-retval/> </function> <function name="getegid"> <noreturn>false</noreturn> <use-retval/> </function> <!-- uid_t getuid (void); --> <function name="getuid"> <noreturn>false</noreturn> <use-retval/> <leak-ignore/> </function> <!-- pid_t getsid(pid_t pid); --> <function name="getsid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <use-retval/> <leak-ignore/> </function> <function name="geteuid"> <noreturn>false</noreturn> <use-retval/> <leak-ignore/> </function> <!-- pid_t getppid(void); --> <function name="getppid"> <noreturn>false</noreturn> <use-retval/> <leak-ignore/> </function> <!-- pid_t getpid(void); --> <function name="getpid"> <noreturn>false</noreturn> <use-retval/> <leak-ignore/> </function> <!-- pid_t getpgrp(void); --> <function name="getpgrp"> <noreturn>false</noreturn> <use-retval/> <leak-ignore/> </function> <!-- ppid_t getpgid(pid_t pid); --> <function name="getpgid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <use-retval/> <leak-ignore/> </function> <function name="setuid"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <function name="seteuid"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <function name="setgid"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <function name="setegid"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int setpgid(pid_t pid, pid_t pgid); --> <function name="setpgid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int pipe(int fildes[2]); --> <function name="pipe"> <noreturn>false</noreturn> </function> <!-- pid_t setpgrp(void); --> <function name="setpgrp"> <noreturn>false</noreturn> </function> <!-- int setregid(gid_t rgid, gid_t egid); --> <function name="setregid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int setreuid(uid_t ruid, uid_t euid); --> <function name="setreuid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int setfsuid(uid_t fsuid); --> <function name="setfsuid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int setfsgid(uid_t fsgid); --> <function name="setfsgid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int setresuid(uid_t ruid, uid_t euid, uid_t suid);--> <function name="setresuid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int setresgid(gid_t rgid, gid_t egid, gid_t sgid);--> <function name="setresgid"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- pid_t setsid(void); --> <function name="setsid"> <noreturn>false</noreturn> <!-- it is a good idea to do: <use-retval/> --> </function> <!-- char *getwd(char *path_name);--> <function name="getwd"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> <leak-ignore/> </function> <memory> <dealloc>free</dealloc> <alloc init="true">strdup</alloc> <alloc init="true">strndup</alloc> <alloc init="true">wcsdup</alloc> </memory> <memory> <dealloc>munmap</dealloc> <alloc init="true">mmap</alloc> <alloc init="true">mmap64</alloc> </memory> <resource> <dealloc>close</dealloc> <alloc init="true">open</alloc> <alloc init="true">creat</alloc> <alloc init="true">socket</alloc> </resource> <resource> <dealloc>closedir</dealloc> <alloc init="true">opendir</alloc> <alloc init="true">fdopendir</alloc> </resource> <resource> <dealloc>fclose</dealloc> <alloc init="true">fdopen</alloc> </resource> <resource> <dealloc>pclose</dealloc> <alloc init="true">popen</alloc> </resource> <!-- This type definitions refer to http://pubs.opengroup.org/onlinepubs/009695399/basedefs/sys/types.h.html--> <podtype name="in_port_t" sign="u" size="2"/> <podtype name="in_addr_t" sign="u" size="4"/> <podtype name="socklen_t" sign="u" size="4"/> <podtype name="sa_family_t" sign="u" size="2"/> <podtype name="nlink_t" sign="s"/> <podtype name="mode_t" sign="s"/> <podtype name="pid_t" sign="s"/> <podtype name="uid_t" sign="s"/> <podtype name="gid_t" sign="s"/> <podtype name="id_t" sign="s"/> <podtype name="blkcnt_t" sign="s"/> <podtype name="off_t" sign="s"/> <podtype name="fsblkcnt_t" sign="u"/> <podtype name="fsfilcnt_t" sign="u"/> <podtype name="ino_t" sign="u"/> <podtype name="useconds_t" sign="u"/> <podtype name="suseconds_t" sign="u"/> <podtype name="blksize_t" sign="s"/> <podtype name="ssize_t" sign="s"/> <podtype name="dirent"/> <podtype name="DIR"/> <podtype name="clockid_t"/> <podtype name="dev_t"/> <podtype name="key_t"/> <podtype name="tms"/> <podtype name="utsname"/> <podtype name="pthread_attr_t"/> <podtype name="pthread_cond_t"/> <podtype name="pthread_condattr_t"/> <podtype name="pthread_key_t"/> <podtype name="pthread_mutexattr_t"/> <podtype name="pthread_mutex_t"/> <podtype name="pthread_barrier_t"/> <podtype name="pthread_barrierattr_t"/> <podtype name="pthread_once_t"/> <podtype name="pthread_rwlock_t"/> <podtype name="pthread_rwlockattr_t"/> <podtype name="pthread_spinlock_t"/> <podtype name="pthread_t"/> <podtype name="timer_t"/> <podtype name="trace_attr_t"/> <podtype name="trace_event_id_t"/> <podtype name="trace_event_set_t"/> <podtype name="trace_id_t"/> <podtype name="stat"/> <podtype name="jmp_buf"/> <podtype name="sigjmp_buf"/> <podtype name="sigset_t"/> <podtype name="termios"/> <podtype name="intptr_t"/> <podtype name="timespec"/> <podtype name="timeval"/> <podtype name="timezone"/> <podtype name="sigaction"/> <!-- http://pubs.opengroup.org/onlinepubs/009695399/basedefs/arpa/inet.h.html --> <!-- uint32_t htonl(uint32_t); --> <function name="htonl"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- uint16_t htons(uint16_t); --> <function name="htons"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- uint32_t ntohl(uint32_t); --> <function name="ntohl"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- uint16_t ntohs(uint16_t); --> <function name="ntohs"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/mqueue.h.html --> <podtype name="mq_attr"/> <podtype name="mqd_t"/> <!-- int mq_close(mqd_t); --> <function name="mq_close"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int mq_getattr(mqd_t, struct mq_attr *); --> <function name="mq_getattr"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"/> </function> <!-- int mq_notify(mqd_t, const struct sigevent *); --> <function name="mq_notify"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"/> </function> <!-- mqd_t mq_open(const char *, int, ...); --> <function name="mq_open"> <noreturn>false</noreturn> </function> <!-- ssize_t mq_receive(mqd_t, char *, size_t, unsigned *); --> <function name="mq_receive"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="4"/> </function> <!-- int mq_send(mqd_t, const char *, size_t, unsigned); --> <function name="mq_send"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="4"/> </function> <!-- int mq_setattr(mqd_t, const struct mq_attr *restrict, struct mq_attr *restrict); --> <function name="mq_setattr"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="3"/> </function> <!-- ssize_t mq_timedreceive(mqd_t, char *restrict, size_t, unsigned *restrict, const struct timespec *restrict); --> <function name="mq_timedreceive"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="5"/> </function> <!-- int mq_timedsend(mqd_t, const char *, size_t, unsigned, const struct timespec *); --> <function name="mq_timedsend"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="5"/> </function> <!-- int mq_unlink(const char *); --> <function name="mq_unlink"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/ndbm.h.html --> <podtype name="datum"/> <podtype name="DBM"/> <!-- int dbm_clearerr(DBM *); --> <function name="dbm_clearerr"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- void dbm_close(DBM *); --> <function name="dbm_close"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- int dbm_delete(DBM *, datum); --> <function name="dbm_delete"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int dbm_error(DBM *); --> <function name="dbm_error"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- datum dbm_fetch(DBM *, datum); --> <function name="dbm_fetch"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- datum dbm_firstkey(DBM *); --> <function name="dbm_firstkey"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- datum dbm_nextkey(DBM *); --> <function name="dbm_nextkey"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- DBM *dbm_open(const char *, int, mode_t); --> <function name="dbm_open"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- int dbm_store(DBM *, datum, datum, int); --> <function name="dbm_store"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/009695399/basedefs/netdb.h.html --> <podtype name="addrinfo"/> <podtype name="hostent"/> <podtype name="netent"/> <podtype name="protoent"/> <podtype name="servent"/> <!-- void freeaddrinfo(struct addrinfo *ai); --> <function name="freeaddrinfo"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> <!-- not-null is not required by the resource above, but some systems will segfault --> </arg> </function> <!-- int getaddrinfo(const char * nodename, const char * servname, const struct addrinfo * hints, struct addrinfo ** res); --> <function name="getaddrinfo"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <!-- void endhostent(void); --> <function name="endhostent"> <noreturn>false</noreturn> </function> <!-- struct hostent *gethostent(void); --> <function name="gethostent"> <noreturn>false</noreturn> <use-retval/> </function> <!-- void sethostent(int stayopen); --> <function name="sethostent"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int uname(struct utsname *buf); --> <function name="uname"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pwd.h.html --> <podtype name="passwd"/> <!--void endpwent(void); --> <function name="endpwent"> <noreturn>false</noreturn> </function> <!--struct passwd *getpwent(void); --> <function name="getpwent"> <noreturn>false</noreturn> <use-retval/> </function> <!--struct passwd *getpwnam(const char *); --> <function name="getpwnam"> <arg nr="1"> <not-uninit/> </arg> <noreturn>false</noreturn> <use-retval/> </function> <!-- char *strtok_r(char *str, const char *delim, char **saveptr); --> <function name="strtok_r"> <!-- strtok may modify the first argument, so using the return value is not mandatory --> <noreturn>false</noreturn> <pure/> <leak-ignore/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> <not-uninit/> </arg> <arg nr="3"> <not-null/> </arg> </function> <!--int getpwnam_r(const char *, struct passwd *, char *, size_t, struct passwd **); --> <function name="getpwnam_r"> <arg nr="1"> <not-uninit/> </arg> <noreturn>false</noreturn> <use-retval/> </function> <!-- struct passwd *getpwuid(uid_t uid); --> <function name="getpwuid"> <arg nr="1"> <not-uninit/> </arg> <noreturn>false</noreturn> <use-retval/> </function> <!-- int getpwuid_r(uid_t, struct passwd *, char *, size_t, struct passwd **); --> <function name="getpwuid_r"> <noreturn>false</noreturn> </function> <!-- void setpwent(void); --> <function name="setpwent"> <noreturn>false</noreturn> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/nl_types.h.html --> <podtype name="nl_catd"/> <podtype name="nl_item"/> <!-- int catclose(nl_catd); --> <function name="catclose"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- char *catgets(nl_catd, int, int, const char *); --> <function name="catgets"> <noreturn>false</noreturn> <use-retval/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <!-- nl_catd catopen(const char *, int); --> <function name="catopen"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/poll.h.html --> <!-- int poll(struct pollfd [], nfds_t, int); --> <function name="poll"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/regex.h.html --> <podtype name="regex_t"/> <!-- int regcomp(regex_t *, const char *, int); --> <function name="regcomp"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- size_t regerror(int, const regex_t *, char *, size_t); --> <function name="regerror"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <!-- int regexec(const regex_t *, const char *, size_t, regmatch_t [restrict], int); --> <function name="regexec"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-null/> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <arg nr="4"> <not-uninit/> </arg> <arg nr="5"> <not-uninit/> </arg> </function> <!-- void regfree(regex_t *); --> <function name="regfree"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> <not-uninit/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/sched.h.html --> <podtype name="sched_param"/> <!-- int sched_get_priority_max(int); --> <function name="sched_get_priority_max"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int sched_get_priority_min(int); --> <function name="sched_get_priority_min"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int sched_getparam(pid_t, struct sched_param *); --> <function name="sched_getparam"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- int sched_getscheduler(pid_t); --> <function name="sched_getscheduler"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> </function> <!-- int sched_rr_get_interval(pid_t, struct timespec *); --> <function name="sched_rr_get_interval"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- int sched_setparam(pid_t, const struct sched_param *); --> <function name="sched_setparam"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int sched_setscheduler(pid_t, int, const struct sched_param *); --> <function name="sched_setscheduler"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- int sched_yield(void); --> <function name="sched_yield"> <noreturn>false</noreturn> </function> <!-- char *ecvt(double value, int ndigit, int *restrict decpt, int *restrict sign); LEGACY in POSIX.1-2001, removed in POSIX.1-2008--> <function name="ecvt"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-null/> </arg> <arg nr="4"> <not-null/> </arg> </function> <!-- char *fcvt(double value, int ndigit, int *restrict decpt, int *restrict sign); LEGACY in POSIX.1-2001, removed in POSIX.1-2008--> <function name="fcvt"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-null/> </arg> <arg nr="4"> <not-null/> </arg> </function> <!-- char *gcvt(double value, int ndigit, char *buf); LEGACY in POSIX.1-2001, removed in POSIX.1-2008--> <function name="gcvt"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-null/> </arg> </function> <!-- off_t lseek(int fildes, off_t offset, int whence); --> <function name="lseek"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> <arg nr="3"> <not-uninit/> </arg> <leak-ignore/> </function> <!-- int nanosleep(const struct timespec *rqtp, struct timespec *rmtp); --> <function name="nanosleep"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> <arg nr="2"/> <leak-ignore/> </function> <!-- void setkey(const char *key); --> <function name="setkey"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <leak-ignore/> </function> <!-- char *getpass(const char *prompt); --> <function name="getpass"> <noreturn>false</noreturn> <arg nr="1"> <not-null/> </arg> <leak-ignore/> </function> <!-- http://pubs.opengroup.org/onlinepubs/009695399/basedefs/stdlib.h.html --> <!-- double drand48(void); --> <function name="drand48"> <noreturn>false</noreturn> <use-retval/> </function> <!-- int putenv(char *string); --> <function name="putenv"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- int setenv(const char *envname, const char *envval, int overwrite); --> <function name="setenv"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-uninit/> <not-null/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- int unsetenv(const char *name); --> <function name="unsetenv"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> <not-null/> </arg> </function> <!-- struct tm *localtime_r(const time_t *timep, struct tm *result); --> <function name="localtime_r"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- int readdir_r(DIR *dirp, struct dirent *entry, struct dirent **result); --> <function name="readdir_r"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> <arg nr="3"> <not-null/> </arg> </function> <!-- ssize_t readlink(const char *path, char *buf, size_t bufsiz); --> <function name="readlink"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> <arg nr="3"> <not-uninit/> </arg> </function> <!-- int readlinkat(int dirfd, const char *pathname, char *buf, size_t bufsiz); --> <function name="readlinkat"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> <not-null/> </arg> <arg nr="3"> <not-null/> </arg> <arg nr="4"> <not-uninit/> </arg> </function> <!-- char *asctime_r(const struct tm *tm, char *buf); --> <function name="asctime_r"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- char *ctime_r(const time_t *timep, char *buf); --> <function name="ctime_r"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-uninit/> <not-null/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- struct tm *gmtime_r(const time_t *timep, struct tm *result); --> <function name="gmtime_r"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"> <not-null/> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- http://pubs.opengroup.org/onlinepubs/007908799/xsh/time.h.html --> <!-- int clock_settime(clockid_t clock_id, const struct timespec *tp); --> <function name="clock_settime"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int killpg(int pgrp, int sig); --> <function name="killpg"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int kill(pid_t pid, int sig); --> <function name="kill"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-uninit/> </arg> </function> <!-- int clock_gettime(clockid_t clock_id, struct timespec *tp); --> <function name="clock_gettime"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"> <not-null/> </arg> </function> <!-- int clock_getres(clockid_t clock_id, struct timespec *res); --> <function name="clock_getres"> <noreturn>false</noreturn> <arg nr="1"> <not-uninit/> </arg> <arg nr="2"/> </function> </def>