运算处理R-1-6-15强制

禁止缓存区写入越界

缓存区写入越界

test.c

1#include <string.h>
2
3void foo(void)
4{
5    char src[2] = {1};
6    char dst[1];
7    memcpy(dst, src, sizeof(src));
禁止缓存区写入越界 [gjb8114-r-1-6-15]
8}

缓存区写入未越界

test.c

1#include <string.h>
2
3void foo(void)
4{
5    int src[4] = {1, 2, 3, 4};
6    int des[4] = {0, 0};
7    memcpy(des, src, sizeof(des));
8}

查看特性文件