diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index e780827d0..102d501ba 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -245,6 +245,7 @@
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="inout">
       <not-null/>
@@ -257,6 +258,7 @@
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -270,6 +272,7 @@
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="inout">
       <not-null/>
@@ -1101,6 +1104,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
+      <valid>0:</valid>
       <not-bool/>
     </arg>
   </function>
@@ -1111,6 +1115,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
+      <valid>0:</valid>
       <not-uninit/>
       <not-bool/>
     </arg>
@@ -1242,6 +1247,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2">
       <not-null/>
@@ -1501,6 +1507,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="5" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="6" direction="in">
       <not-uninit/>
@@ -1528,6 +1535,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="5" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="6" direction="in">
       <not-uninit/>
@@ -1571,6 +1579,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -1587,6 +1596,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -3461,6 +3471,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1" direction="in">
+      <valid>0:</valid>
       <not-uninit/>
       <not-bool/>
     </arg>