posix.cfg: Added support for more interfaces.

This commit is contained in:
orbitcowboy 2019-05-22 09:33:44 +02:00
parent fbf98b421a
commit e9aaa5edfa
1 changed files with 155 additions and 4 deletions

View File

@ -413,6 +413,25 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- int symlinkat(const char *oldpath, int newdirfd, const char *newpath); -->
<function name="symlinkat">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1" direction="in">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
<not-bool/>
</arg>
<arg nr="3" direction="in">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- int symlink(const char *oldpath, const char *newpath); --> <!-- int symlink(const char *oldpath, const char *newpath); -->
<function name="symlink"> <function name="symlink">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -921,6 +940,41 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-bool/> <not-bool/>
</arg> </arg>
</function> </function>
<!-- int mknod(const char *pathname, mode_t mode, dev_t dev); -->
<function name="mknod">
<noreturn>false</noreturn>
<returnValue type="int"/>
<leak-ignore/>
<arg nr="1" direction="in">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-uninit/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
</function>
<!-- int mknodat(int dirfd, const char *pathname, mode_t mode, dev_t dev); -->
<function name="mknodat">
<noreturn>false</noreturn>
<returnValue type="int"/>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
<arg nr="4" direction="in">
<not-uninit/>
</arg>
</function>
<!-- int mkdirat(int dirfd, const char *pathname, mode_t mode); --> <!-- int mkdirat(int dirfd, const char *pathname, mode_t mode); -->
<function name="mkdirat"> <function name="mkdirat">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -928,7 +982,6 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<leak-ignore/> <leak-ignore/>
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-uninit/> <not-uninit/>
<valid>0:</valid>
</arg> </arg>
<arg nr="2" direction="in"> <arg nr="2" direction="in">
<not-null/> <not-null/>
@ -946,7 +999,6 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<leak-ignore/> <leak-ignore/>
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-uninit/> <not-uninit/>
<valid>0:</valid>
</arg> </arg>
<arg nr="2" direction="in"> <arg nr="2" direction="in">
<not-null/> <not-null/>
@ -1034,6 +1086,45 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-bool/> <not-bool/>
</arg> </arg>
</function> </function>
<!-- int linkat(int fd1, const char *path1, int fd2, const char *path2, int flag); -->
<function name="linkat">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
<not-bool/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
<arg nr="4" direction="in">
<not-null/>
<not-uninit/>
<not-bool/>
</arg>
</function>
<!-- int unlinkat(int fd, const char *path, int flag); -->
<function name="unlinkat">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
<not-bool/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
</function>
<!-- int unlink(const char *pathname); --> <!-- int unlink(const char *pathname); -->
<function name="unlink"> <function name="unlink">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -1088,7 +1179,10 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</arg> </arg>
</function> </function>
<!-- int fstatat(int dirfd, const char *pathname, struct stat *statbuf, int flags); --> <!-- int fstatat(int dirfd, const char *pathname, struct stat *statbuf, int flags); -->
<function name="fstatat"> <!-- Note: fstatat64() is a large-file version of the fstatat() function as defined in POSIX 1003.1-2008 (ISO/IEC 9945-2009). -->
<!-- int fstatat64(int dirfd, const char *pathname, struct stat64 *statbuf, int flags); -->
<!-- int __fxstatat64(int dirfd, const char *pathname, struct stat64 *statbuf, int flags); -->
<function name="fstatat,fstatat64,__fxstatat64">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<leak-ignore/> <leak-ignore/>
<returnValue type="int"/> <returnValue type="int"/>
@ -1221,6 +1315,43 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</arg> </arg>
<warn severity="style" reason="Obsolescent" alternatives="utimensat"/> <warn severity="style" reason="Obsolescent" alternatives="utimensat"/>
</function> </function>
<!-- int futimens(int fd, const struct timespec times[2]);-->
<function name="futimens">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1" direction="in">
<not-uninit/>
<valid>0:</valid>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
<not-bool/>
<minsize type="value" value="2"/>
</arg>
</function>
<!-- int utimensat(int dirfd, const char *pathname, const struct timespec times[2], int flags);-->
<function name="utimensat">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
<not-bool/>
<minsize type="value" value="2"/>
</arg>
<arg nr="4" direction="in">
<not-uninit/>
<not-bool/>
</arg>
</function>
<!-- int utimes(const char *filename, const struct timeval times[2]); --> <!-- int utimes(const char *filename, const struct timeval times[2]); -->
<function name="utimes"> <function name="utimes">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -3015,6 +3146,26 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<valid>0:</valid> <valid>0:</valid>
</arg> </arg>
</function> </function>
<!-- int renameat(int olddirfd, const char *oldpath, int newdirfd, const char *newpath); -->
<function name="renameat">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
<arg nr="4" direction="in">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- int readlinkat(int dirfd, const char *pathname, char *buf, size_t bufsiz); --> <!-- int readlinkat(int dirfd, const char *pathname, char *buf, size_t bufsiz); -->
<function name="readlinkat"> <function name="readlinkat">
<returnValue type="int"/> <returnValue type="int"/>