Correct some wrong attributes causing false positives. Add more interfaces

This commit is contained in:
Alexander Mai 2017-06-08 22:33:41 +02:00
parent d3e79b71b5
commit 7a0f05aaa5
1 changed files with 33 additions and 5 deletions

View File

@ -2462,7 +2462,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function> </function>
<!-- int pthread_create(pthread_t * thread, const pthread_attr_t * attr, void *(*start_routine)(void*), void * arg); --> <!-- int pthread_create(pthread_t * thread, const pthread_attr_t * attr, void *(*start_routine)(void*), void * arg); -->
<function name="pthread_create"> <function name="pthread_create">
<noreturn>true</noreturn> <noreturn>false</noreturn>
<arg nr="1"> <arg nr="1">
<not-null/> <not-null/>
</arg> </arg>
@ -2473,13 +2473,13 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<arg nr="4"/> <arg nr="4"/>
</function> </function>
<function name="pthread_detach"> <function name="pthread_detach">
<noreturn>true</noreturn> <noreturn>false</noreturn>
<arg nr="1"> <arg nr="1">
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<function name="pthread_equal"> <function name="pthread_equal">
<noreturn>true</noreturn> <noreturn>false</noreturn>
<use-retval/> <use-retval/>
<arg nr="1"> <arg nr="1">
<not-uninit/> <not-uninit/>
@ -2494,16 +2494,37 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function> </function>
<!-- int pthread_join(pthread_t thread, void **value_ptr); --> <!-- int pthread_join(pthread_t thread, void **value_ptr); -->
<function name="pthread_join"> <function name="pthread_join">
<noreturn>true</noreturn> <noreturn>false</noreturn>
<arg nr="1"> <arg nr="1">
<not-uninit/> <not-uninit/>
</arg> </arg>
<arg nr="2"/> <arg nr="2"/>
</function> </function>
<function name="pthread_kill">
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<function name="pthread_self"> <function name="pthread_self">
<noreturn>true</noreturn> <noreturn>false</noreturn>
<use-retval/> <use-retval/>
</function> </function>
<function name="pthread_attr_destroy">
<noreturn>false</noreturn>
<arg nr="1">
<not-null/>
</arg>
</function>
<function name="pthread_attr_init">
<noreturn>false</noreturn>
<arg nr="1">
<not-null/>
</arg>
</function>
<!-- int pthread_attr_setstackaddr(pthread_attr_t *attr, void *stackaddr); --> <!-- int pthread_attr_setstackaddr(pthread_attr_t *attr, void *stackaddr); -->
<function name="pthread_attr_setstackaddr"> <function name="pthread_attr_setstackaddr">
<noreturn>false</noreturn> <noreturn>false</noreturn>
@ -3040,6 +3061,13 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/> <not-uninit/>
</arg> </arg>
</function> </function>
<function name="sigsuspend">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
</arg>
</function>
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigprocmask.html --> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigprocmask.html -->
<!-- int pthread_sigmask(int how, const sigset_t *restrict set, <!-- int pthread_sigmask(int how, const sigset_t *restrict set,
sigset_t *restrict oset); sigset_t *restrict oset);