diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index dda337e08..3dd479b69 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2861,6 +2861,29 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-null/>
     </arg>
   </function>
+  <!-- http://man7.org/linux/man-pages/man3/memccpy.3.html -->
+  <!-- void *memccpy(void *dest, const void *src, int c, size_t n);-->
+  <function name="memccpy">
+    <leak-ignore/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <minsize type="sizeof" arg="2"/>
+      <minsize type="argvalue" arg="4"/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
   <!-- http://man7.org/linux/man-pages/man3/fnmatch.3.html -->
   <!-- int fnmatch(const char *pattern, const char *string, int flags); -->
   <function name="fnmatch">
diff --git a/cfg/std.cfg b/cfg/std.cfg
index b07340c60..1824d8e97 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -3088,6 +3088,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
       <not-uninit/>
     </arg>
     <arg nr="3">
+      <not-uninit/>
       <not-bool/>
       <valid>0:</valid>
     </arg>
diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 36cbf67c1..72f97006d 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -3030,4 +3030,26 @@ HFONT CreateFont(
       <not-uninit/>
     </arg>
   </function>
+  <!-- void *_memccpy(void *dest, const void *src, int c, size_t n);-->
+  <function name="_memccpy">
+    <leak-ignore/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <minsize type="sizeof" arg="2"/>
+      <minsize type="argvalue" arg="4"/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+  </function>
 </def>