posix.cfg: Added support for more interfaces.
This commit is contained in:
parent
e0b1eee4af
commit
ec2278c717
180
cfg/posix.cfg
180
cfg/posix.cfg
|
@ -30,6 +30,186 @@
|
|||
<valid>0:</valid>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isalnum_l(int c, locale_t locale) -->
|
||||
<function name="isalnum_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1 <=0x5A || arg1>=0x61 && arg1 <=0x7A</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isalpha_l(int c, locale_t locale); -->
|
||||
<function name="isalpha_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>='A' && arg1<='Z' || arg1>='a' && arg1 <='z'</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isblank_l(int c, locale_t locale); -->
|
||||
<function name="isblank_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1==' ' || arg1=='\t'</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int iscntrl_l(int c, locale_t locale); -->
|
||||
<function name="iscntrl_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1==0x7F || arg1<=0x1F</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isdigit_l(int c, locale_t locale); -->
|
||||
<function name="isdigit_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>='0' && arg1<='9'</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isgraph_l(int c, locale_t locale); -->
|
||||
<function name="isgraph_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x21 && arg1<=0x7E</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int islower_l(int c, locale_t locale); -->
|
||||
<function name="islower_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x61 && arg1<=0x7A</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isprint_l(int c, locale_t locale); -->
|
||||
<function name="isprint_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x20 && arg1<=0x7E</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int ispunct_l(int c, locale_t locale); -->
|
||||
<function name="ispunct_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x21 && arg1<=0x2F || arg1>=0x3A && arg1<=0x40 || arg1>=0x5B && arg1<=0x60 || arg1>=0x7B && arg1<=0x7E</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isspace_l(int c, locale_t locale); -->
|
||||
<function name="isspace_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x09 && arg1<=0x0D || arg1==0x20</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isupper_l(int c, locale_t locale) -->
|
||||
<function name="isupper_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x41 && arg1<=0x5A</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- int isxdigit_l(int c, locale_t locale) -->
|
||||
<function name="isxdigit_l">
|
||||
<use-retval/>
|
||||
<pure/>
|
||||
<returnValue type="int">arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1<=0x46 || arg1>=0x61 && arg1<=0x66</returnValue>
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1" direction="in">
|
||||
<not-uninit/>
|
||||
<valid>0:255</valid>
|
||||
</arg>
|
||||
<arg nr="2" direction="in">
|
||||
<not-uninit/>
|
||||
</arg>
|
||||
</function>
|
||||
<!-- http://man7.org/linux/man-pages/man2/accept.2.html -->
|
||||
<!-- int accept(int sockfd, struct sockaddr *addr, socklen_t *addrlen); -->
|
||||
<function name="accept">
|
||||
|
|
Loading…
Reference in New Issue