2013-12-23 10:06:45 +01:00
|
|
|
<?xml version="1.0"?>
|
2014-09-29 16:25:35 +02:00
|
|
|
<def format="1">
|
2014-10-14 06:46:47 +02:00
|
|
|
<function name="usleep">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-bool/>
|
|
|
|
<valid>0:999999</valid>
|
|
|
|
</arg>
|
|
|
|
</function>
|
|
|
|
<function name="_exit">
|
|
|
|
<noreturn>true</noreturn>
|
|
|
|
</function>
|
|
|
|
<function name="closedir">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-bool/>
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
2014-08-15 16:01:48 +02:00
|
|
|
<function name="strdup">
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-06-25 12:00:24 +02:00
|
|
|
</function>
|
2014-08-15 16:01:48 +02:00
|
|
|
<function name="strdupa">
|
2014-12-10 22:21:54 +01:00
|
|
|
<use-retval/>
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-08-15 16:01:48 +02:00
|
|
|
</function>
|
|
|
|
<function name="strndup">
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-08-15 16:01:48 +02:00
|
|
|
</function>
|
|
|
|
<function name="strndupa">
|
2014-12-10 22:21:54 +01:00
|
|
|
<use-retval/>
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-08-15 16:01:48 +02:00
|
|
|
</function>
|
|
|
|
<function name="wcsdup">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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/>
|
2014-08-15 16:01:48 +02:00
|
|
|
</function>
|
2014-03-21 16:09:45 +01:00
|
|
|
<function name="getcwd">
|
2014-10-14 06:20:07 +02:00
|
|
|
<noreturn>false</noreturn>
|
2014-10-14 06:46:47 +02:00
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-10-14 06:20:07 +02:00
|
|
|
<leak-ignore/>
|
2014-04-20 10:50:32 +02:00
|
|
|
</function>
|
2014-03-21 16:09:45 +01:00
|
|
|
<function name="mkdir">
|
2014-10-14 06:20:07 +02:00
|
|
|
<noreturn>false</noreturn>
|
2014-10-14 06:46:47 +02:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<leak-ignore/>
|
|
|
|
</function>
|
|
|
|
<function name="rmdir">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<leak-ignore/>
|
|
|
|
</function>
|
|
|
|
<function name="chdir">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
2014-10-14 06:20:07 +02:00
|
|
|
<leak-ignore/>
|
2014-04-20 10:50:32 +02:00
|
|
|
</function>
|
2014-03-21 16:09:45 +01:00
|
|
|
<function name="link">
|
2014-10-14 06:20:07 +02:00
|
|
|
<noreturn>false</noreturn>
|
2014-10-14 06:46:47 +02:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
2014-10-14 06:20:07 +02:00
|
|
|
<leak-ignore/>
|
|
|
|
</function>
|
2014-10-14 06:46:47 +02:00
|
|
|
<function name="rename">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<leak-ignore/>
|
|
|
|
</function>
|
|
|
|
<function name="isatty">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<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>
|
|
|
|
<function name="fdopen">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
</function>
|
2014-12-09 21:37:00 +01:00
|
|
|
<function name="readdir">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<leak-ignore/>
|
|
|
|
</function>
|
2014-12-10 16:10:03 +01:00
|
|
|
<function name="rewinddir">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<leak-ignore/>
|
|
|
|
</function>
|
2014-06-25 15:09:03 +02:00
|
|
|
<function name="rand_r">
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
2014-06-25 15:09:03 +02:00
|
|
|
</function>
|
2014-06-26 16:22:49 +02:00
|
|
|
<function name="memmem">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-08-15 16:01:48 +02:00
|
|
|
</function>
|
2014-06-26 16:22:49 +02:00
|
|
|
<function name="memrchr">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-08-15 16:01:48 +02:00
|
|
|
</function>
|
2014-06-26 16:22:49 +02:00
|
|
|
<function name="rawmemchr">
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-null/>
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-bool/>
|
|
|
|
<valid>0:</valid>
|
|
|
|
</arg>
|
2014-06-26 16:22:49 +02:00
|
|
|
</function>
|
|
|
|
<function name="strcasecmp">
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
2015-01-09 14:35:12 +01:00
|
|
|
<pure/>
|
2014-10-14 06:46:47 +02:00
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<not-uninit/>
|
|
|
|
<not-null/>
|
|
|
|
</arg>
|
2014-06-26 16:22:49 +02:00
|
|
|
</function>
|
|
|
|
<function name="strncasecmp">
|
2014-10-14 06:46:47 +02:00
|
|
|
<noreturn>false</noreturn>
|
2015-01-09 14:35:12 +01:00
|
|
|
<pure/>
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
|
|
|
<function name="read">
|
2014-10-14 06:46:47 +02:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<minsize type="argvalue" arg="3"/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
|
|
|
<function name="write">
|
2014-10-14 06:46:47 +02:00
|
|
|
<arg nr="1">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
|
|
|
<arg nr="2">
|
|
|
|
<minsize type="argvalue" arg="3"/>
|
2014-12-15 10:05:44 +01:00
|
|
|
<not-uninit/>
|
2014-10-14 06:46:47 +02:00
|
|
|
</arg>
|
|
|
|
<arg nr="3">
|
|
|
|
<not-uninit/>
|
|
|
|
</arg>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
|
|
|
<function name="recv">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
|
|
|
<function name="recvfrom">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
|
|
|
<function name="send">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
|
|
|
<function name="sendto">
|
2014-10-14 06:46:47 +02:00
|
|
|
<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>
|
2014-07-05 22:47:10 +02:00
|
|
|
</function>
|
2014-12-12 23:45:56 +01:00
|
|
|
<!-- 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>
|
2014-06-25 12:00:24 +02:00
|
|
|
<memory>
|
|
|
|
<dealloc>free</dealloc>
|
|
|
|
<alloc init="true">strdup</alloc>
|
|
|
|
<alloc init="true">strndup</alloc>
|
2014-08-15 16:01:48 +02:00
|
|
|
<alloc init="true">wcsdup</alloc>
|
2014-06-25 12:00:24 +02:00
|
|
|
</memory>
|
2014-12-12 23:45:56 +01:00
|
|
|
<memory>
|
|
|
|
<dealloc>munmap</dealloc>
|
|
|
|
<alloc init="true">mmap</alloc>
|
|
|
|
<alloc init="true">mmap64</alloc>
|
|
|
|
</memory>
|
2014-01-26 09:42:46 +01:00
|
|
|
<resource>
|
|
|
|
<dealloc>close</dealloc>
|
2014-03-11 06:32:56 +01:00
|
|
|
<alloc init="true">open</alloc>
|
2014-01-26 09:42:46 +01:00
|
|
|
<alloc init="true">socket</alloc>
|
|
|
|
</resource>
|
2014-01-26 17:02:36 +01:00
|
|
|
<resource>
|
|
|
|
<dealloc>closedir</dealloc>
|
|
|
|
<alloc init="true">opendir</alloc>
|
|
|
|
<alloc init="true">fdopendir</alloc>
|
|
|
|
</resource>
|
2014-04-20 10:50:32 +02:00
|
|
|
<resource>
|
|
|
|
<dealloc>fclose</dealloc>
|
|
|
|
<alloc init="true">fdopen</alloc>
|
|
|
|
</resource>
|
2014-04-18 15:20:16 +02:00
|
|
|
<resource>
|
|
|
|
<dealloc>pclose</dealloc>
|
|
|
|
<alloc init="true">popen</alloc>
|
|
|
|
</resource>
|
2015-01-23 18:15:03 +01:00
|
|
|
<!-- This type definitions refer to http://pubs.opengroup.org/onlinepubs/009695399/basedefs/sys/types.h.html-->
|
2014-06-16 13:45:32 +02:00
|
|
|
<podtype name="in_port_t" sign="u" size="2"/>
|
2014-06-16 14:01:25 +02:00
|
|
|
<podtype name="in_addr_t" sign="u" size="4"/>
|
|
|
|
<podtype name="socklen_t" sign="u" size="4"/>
|
2014-06-16 15:11:44 +02:00
|
|
|
<podtype name="sa_family_t" sign="u" size="2"/>
|
2015-01-23 18:15:03 +01:00
|
|
|
<podtype name="nlink_t" sign="s"/>
|
|
|
|
<podtype name="mode_t" sign="s"/>
|
2015-01-07 15:50:15 +01:00
|
|
|
<podtype name="pid_t" sign="s"/>
|
2015-01-23 18:15:03 +01:00
|
|
|
<podtype name="uid_t" sign="s"/>
|
|
|
|
<podtype name="gid_t" sign="s"/>
|
|
|
|
<podtype name="id_t" sign="s"/>
|
2015-01-23 17:43:50 +01:00
|
|
|
<podtype name="blkcnt_t" sign="s"/>
|
2015-01-23 18:15:03 +01:00
|
|
|
<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"/>
|
2015-01-26 08:35:22 +01:00
|
|
|
<podtype name="dirent"/>
|
2015-01-26 08:49:35 +01:00
|
|
|
<podtype name="DIR"/>
|
2014-10-14 06:46:47 +02:00
|
|
|
</def>
|