C和静态代码分析：这比memcpy安全吗？

Question

以下函数是否比使用 memcpy 更安全？ Memcpy 在 Checkmarx 静态代码分析中给出以下“Improper_Null_Termination”错误： at 行中的字符串被 at 剥离其终止空字节。但是，如果我使用以下功能，Checkmarx 没有问题：

void myMemCpy(void *dest, void *src, size_t n) 
{ 
   // Typecast src and dest addresses to (char *) 
   char *csrc = (char *)src; 
   char *cdest = (char *)dest; 

   // Copy contents of src[] to dest[] 
   for (int i=0; i<n; i++) 
       cdest[i] = csrc[i]; 
} 

用这个函数代替memcpy()有什么问题吗？

Answer 1

下面的函数比使用 memcpy 更安全吗？

没有。一样的。充其量。

如果有的话，由于代码分析器和编译器知道memcpy() 的作用，因此该代码不太是安全的。

特别是考虑到您传递size_t 然后不正确地使用int 循环计数器的方式：

void myMemCpy(void *dest, void *src, size_t n) 
{ 
   // Typecast src and dest addresses to (char *) 
   char *csrc = (char *)src; 
   char *cdest = (char *)dest; 

   // Copy contents of src[] to dest[] 
   for (int i=0; i<n; i++) 
       cdest[i] = csrc[i]; 
} 

在具有 32 位 int 和 64 位 size_t 的 64 位架构上，如果 n 的值超过 2 gig，那将会非常失败。