Change cfg

Add some function (posix_memalign, reallocarray,aligned_alloc,valloc) to cfg. Add attribute format-str to some function.

cfg/posix.cfg

@@ -3943,6 +3943,26 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <valid>1:</valid>
     </arg>
   </function>
+  <!-- int posix_memalign(void **memptr, size_t alignment, size_t size); -->
+  <function name="posix_memalign">
+    <use-retval/>
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <memory>
+    <alloc init="false">posix_memalign</alloc>
+    <dealloc>free</dealloc>
+  </memory>
   <memory>
     <alloc init="true">strdup</alloc>
     <alloc init="true">strndup</alloc>

cfg/std.cfg

@@ -1857,6 +1857,7 @@
     </arg>
     <arg nr="2">
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="3"/>
   </function>
@@ -3661,6 +3662,29 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void *aligned_alloc(size_t alignment, size_t size); -->
+  <function name="aligned_alloc,std::aligned_alloc">
+    <use-retval/>
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
+  <!-- void *valloc(size_t size); -->
+  <function name="valloc,std::valloc">
+    <use-retval/>
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- const void * memchr ( const void * ptr, int value, size_t num );-->
   <!-- void * memchr (       void * ptr, int value, size_t num );-->
   <function name="memchr,std::memchr">
@@ -4099,6 +4123,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="2"/>
   </function>
@@ -4234,6 +4259,22 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void *reallocarray(void *ptr, size_t nmemb, size_t size); -->
+  <function name="reallocarray,std::reallocarray">
+    <returnValue type="void *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- int remove(const char *filename); -->
   <function name="remove,std::remove">
     <returnValue type="int"/>
@@ -5726,6 +5767,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <arg nr="2">
       <not-null/>
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="3"/>
   </function>
@@ -5798,6 +5840,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <arg nr="3">
       <not-null/>
       <not-uninit/>
+      <formatstr/>
     </arg>
     <arg nr="4"/>
   </function>
@@ -6628,6 +6671,8 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   <memory>
     <alloc init="false">malloc</alloc>
     <alloc init="true">calloc</alloc>
+    <alloc init="false">aligned_alloc</alloc>
+    <alloc init="false">valloc</alloc>
     <dealloc>free</dealloc>
   </memory>
   <resource>