C语言语义地雷：‘语义刺客’的硬件谋杀实录①

本文链接：https://blog.youkuaiyun.com/qq_47494297/article/details/145936085

（为什么你的代码通过了编译却突然段错误？为什么数组越界在测试环境‘岁月静好’，上线后却变成安全漏洞？这不是玄学，是C语言在对你进行‘语法钓鱼’。）

1. 指针与数组的致命暧昧（西门庆和武大郎的孪生骗局）

『死亡华尔兹』

char *p = "hello";  
p[3] = 'a'; // 运行时爆炸：你以为在改数组，其实在篡改只读区

『正确姿势』

char p[] = "hello";  // 使用字符数组而不是字符串字面量
p[3] = 'a';          // 修改数组中的元素

（数组名不是指针的替身，在sizeof和&面前，它们的DNA完全不同。）

2. 非数组指针的“无间道”（内存版狼人杀）

『核爆代码』

char *ptr; // 未初始化的野指针
printf("%s", ptr); // 随机打印出"/dev/mem内容"

『生存法则』

static char comm_buf[128] __attribute__((aligned(8))); // 8字节对齐
char *ptr = comm_buf; // 静态内存分配
memset(ptr, 0, sizeof(comm_buf)); // 内存清场

（每个指针变量诞生时都是‘虚无主义者’，不绑定内存的指针，比野猫更危险。）

3. 函数参数的“变形记”（数组的消失魔法）

『诡异现象』

// 内存越界狼人杀
void dma_config(uint8_t data_buf[256]) 
{
    DMA1_Channel4->CMAR = (uint32_t)data_buf;
    DMA1_Channel4->CNDTR = sizeof(data_buf); // 实际得到指针大小！
}

uint8_t sensor_data[128];
dma_config(sensor_data); // DMA将搬运多少字节？

『嵌入式老中医的救赎』

// 尺寸显式声明
void dma_config(uint8_t *data_buf, size_t buf_size) 
{
    assert(buf_size <= 256);
    DMA1_Channel4->CMAR = (uint32_t)data_buf;
    DMA1_Channel4->CNDTR = buf_size;
}

（当数组走进函数参数的大门，它就完成了从‘连续空间’到‘单身指针’的完美伪装。）

4. 举隅法陷阱（内存世界的身材欺骗）

『结构体杀手代码』

struct Key {  
    uint32_t id;  
    uint8_t  type;  
};  

void reset_key(struct Key* k) 
{  
    memset(k, 0, sizeof(k)); // 只清除了指针长度（4字节）  
}

『真实身材管理』

void reset_key(struct Key* k) 
{  
    memset(k, 0, sizeof(struct Key)); // 获取真实大小  
}

5. 非空指针≠空字符串（'\0’的复仇）

『血泪案例』

char* log_buf = malloc(64);  
strcpy(log_buf, "Engine Start"); // malloc失败时变成野指针

『安全手册』

char* log_buf = calloc(64, 1);  
if (log_buf != NULL) 
{  
    strncpy(log_buf, "Engine Start", 63);  
    log_buf[63] = '\0'; // 强制终止  
} 
else 
{  
    system_halt();  
}