posix.cfg: Improved validation of file descriptors.

This commit is contained in:
orbitcowboy 2019-04-26 16:58:21 +02:00
parent 2dd42b867f
commit 7d0bb0dc29
1 changed files with 15 additions and 0 deletions

View File

@ -199,6 +199,7 @@
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-bool/> <not-bool/>
<not-uninit/> <not-uninit/>
<valid>0:</valid>
</arg> </arg>
</function> </function>
<!-- int dup2(int fildes1, int filedes2); <!-- int dup2(int fildes1, int filedes2);
@ -209,10 +210,12 @@
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-bool/> <not-bool/>
<not-uninit/> <not-uninit/>
<valid>0:</valid>
</arg> </arg>
<arg nr="2" direction="in"> <arg nr="2" direction="in">
<not-bool/> <not-bool/>
<not-uninit/> <not-uninit/>
<valid>0:</valid>
</arg> </arg>
</function> </function>
<!-- int gettimeofday(struct timeval *tv, struct timezone *tz); --> <!-- int gettimeofday(struct timeval *tv, struct timezone *tz); -->
@ -296,6 +299,7 @@
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-uninit/> <not-uninit/>
<not-bool/> <not-bool/>
<valid>0:</valid>
</arg> </arg>
</function> </function>
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/fnmatch.html --> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/fnmatch.html -->
@ -328,6 +332,7 @@
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-uninit/> <not-uninit/>
<not-bool/> <not-bool/>
<valid>0:</valid>
</arg> </arg>
</function> </function>
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/truncate.html --> <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/truncate.html -->
@ -991,6 +996,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<returnValue type="int"/> <returnValue type="int"/>
<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-uninit/> <not-uninit/>
@ -1038,6 +1044,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<returnValue type="int"/> <returnValue type="int"/>
<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-uninit/> <not-uninit/>
@ -1210,6 +1217,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<returnValue type="long int"/> <returnValue type="long int"/>
<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-uninit/> <not-uninit/>
@ -2681,6 +2689,7 @@ 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-uninit/> <not-uninit/>
@ -4318,6 +4327,7 @@ 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-uninit/> <not-uninit/>
@ -4332,6 +4342,7 @@ 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-uninit/> <not-uninit/>
@ -4347,6 +4358,7 @@ 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-uninit/> <not-uninit/>
@ -4362,6 +4374,7 @@ 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="out"> <arg nr="2" direction="out">
<not-null/> <not-null/>
@ -4376,6 +4389,7 @@ 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-uninit/> <not-uninit/>
@ -4412,6 +4426,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<arg nr="1" direction="in"> <arg nr="1" direction="in">
<not-uninit/> <not-uninit/>
<not-bool/> <not-bool/>
<valid>0:</valid>
</arg> </arg>
</function> </function>
<!-- These are defined as macros http://man7.org/linux/man-pages/man7/inode.7.html --> <!-- These are defined as macros http://man7.org/linux/man-pages/man7/inode.7.html -->