posix.cfg and gnu.cfg: Added support for more functions.

This commit is contained in:
orbitcowboy 2015-07-14 09:07:47 +02:00
parent 027bdd3370
commit 862361d807
2 changed files with 127 additions and 28 deletions

View File

@ -4,6 +4,26 @@
<dealloc>free</dealloc> <dealloc>free</dealloc>
<alloc init="true">get_current_dir_name</alloc> <alloc init="true">get_current_dir_name</alloc>
</memory> </memory>
<!-- http://man7.org/linux/man-pages/man2/accept.2.html -->
<!-- int accept4(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags); -->
<function name="accept">
<use-retval/>
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<not-null/>
</arg>
<arg nr="4">
<not-uninit/>
</arg>
<leak-ignore/>
</function>
<!-- long long atoq(const char *nptr); --> <!-- long long atoq(const char *nptr); -->
<function name="atoq"> <function name="atoq">
<use-retval/> <use-retval/>
@ -215,4 +235,66 @@
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<!-- http://linux.die.net/man/2/getresuid -->
<!-- int getresuid(uid_t *ruid, uid_t *euid, uid_t *suid); -->
<function name="getresuid">
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
</arg>
<arg nr="2">
<not-null/>
</arg>
<arg nr="3">
<not-null/>
</arg>
</function>
<!-- http://linux.die.net/man/2/getresuid -->
<!-- int getresgid(gid_t *rgid, gid_t *egid, gid_t *sgid); -->
<function name="getresgid">
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
</arg>
<arg nr="2">
<not-null/>
</arg>
<arg nr="3">
<not-null/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/setresuid.2.html -->
<!-- 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>
<!-- http://man7.org/linux/man-pages/man2/setresuid.2.html -->
<!-- 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>
</def> </def>

View File

@ -1,5 +1,46 @@
<?xml version="1.0"?> <?xml version="1.0"?>
<def format="1"> <def format="1">
<!-- http://man7.org/linux/man-pages/man3/a64l.3.html -->
<!-- long a64l(const char *str64); -->
<function name="a64l">
<use-retval/>
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
<not-null/>
</arg>
<leak-ignore/>
</function>
<!-- http://man7.org/linux/man-pages/man3/a64l.3.html -->
<!-- char *l64a(long value); -->
<function name="l64a">
<use-retval/>
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
<!-- The behavior of l64a() is undefined when value is negative. -->
<!-- If value is zero, it returns an empty string. -->
<valid>0:</valid>
</arg>
<leak-ignore/>
</function>
<!-- http://man7.org/linux/man-pages/man2/accept.2.html -->
<!-- int accept(int sockfd, struct sockaddr *addr, socklen_t *addrlen); -->
<function name="accept">
<use-retval/>
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<not-null/>
</arg>
<leak-ignore/>
</function>
<!-- struct group *getgrnam(const char *name); --> <!-- struct group *getgrnam(const char *name); -->
<function name="getgrnam"> <function name="getgrnam">
<use-retval/> <use-retval/>
@ -973,6 +1014,7 @@
<use-retval/> <use-retval/>
<leak-ignore/> <leak-ignore/>
</function> </function>
<!-- uid_t geteuid(void); -->
<function name="geteuid"> <function name="geteuid">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<use-retval/> <use-retval/>
@ -1005,6 +1047,7 @@
<use-retval/> <use-retval/>
<leak-ignore/> <leak-ignore/>
</function> </function>
<!-- int setuid(uid_t uid); -->
<function name="setuid"> <function name="setuid">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<use-retval/> <use-retval/>
@ -1013,6 +1056,7 @@
</arg> </arg>
<leak-ignore/> <leak-ignore/>
</function> </function>
<!-- int seteuid(uid_t euid); -->
<function name="seteuid"> <function name="seteuid">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<use-retval/> <use-retval/>
@ -1029,6 +1073,7 @@
</arg> </arg>
<leak-ignore/> <leak-ignore/>
</function> </function>
<!-- int setegid(gid_t egid); -->
<function name="setegid"> <function name="setegid">
<noreturn>false</noreturn> <noreturn>false</noreturn>
<use-retval/> <use-retval/>
@ -1091,34 +1136,6 @@
</arg> </arg>
<leak-ignore/> <leak-ignore/>
</function> </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); --> <!-- pid_t setsid(void); -->
<function name="setsid"> <function name="setsid">
<noreturn>false</noreturn> <noreturn>false</noreturn>