当前位置: 首页 > news >正文

内存越界处理

一、常见内存越界类型

  • 数组越界写:向数组外写数据,buf[64]写了70字节
  • 栈溢出:局部变量太大或递归太深,定义char large[2KB]在函数内 -->覆盖返回地址
  • 堆溢出:malloc后越界访问,p=malloc(16); p[16]=1;
  • 使用已释放内存:free(p)后继续使用,俗称“野指针”
  • 缓冲区未初始化:读取未赋值内存,导致随机值传给云端
  • 字符串操作越界:strcpy, sprintf不检查长度,经典安全漏洞

二、内存越界解决

1、使能编译器检查

GCC/Clang编译选项:

-fsanitize=address # 地址消毒剂(Linux/X86 可用)

-fsanitize=undefinded # 检查未定义行为

注:Asan在MCU上跑不了,但可用于模拟器测试。

2、手动添加“红区”(Readzone)检测

#define READZONE_VALUE 0xDEADBEEF

typedef struct {

uint32_t redzone_before;

uint8_t data[32];

uint32_t redzone_after;

} safe_buffer_t;

//分配后初始化

safe_buffer_t* buf = malloc(sizeof(safe_buffer_t));

buf->redzone_before = READZONE_VALUE;

buf->redzone_after = READZONE_VALUE;

//使用后检查

if (buf->redzone_after != READZONE_VALUE)

{

printf("ERROR: Buffer overflow detected!\n");

}

适合关键模块(如通信协议解析)

3、使用静态分析工具

PC-link / FlexeLint

Cppcheck

Klockwork / Coverity

4、运行时断言 + 日志

#define CHECK_RANGE(ptr, base, size) \

do { \

if ((uint8_t*)(ptr) < (base) || \

(uint8_t*)(ptr) >= (base) + (size)) { \

log_error("Memory access out of range!"); \

while(1); / * 或触发 Hard Fault */ \

} \

} while(0)

用于访问共享缓冲区时做边界判断。

5、利用硬件功能(MPU / Watchpoint)

在支持MPU的芯片上(如STM32F7/F4):

划分内存区域

设置只读 、不可执行等属性

配置 Data Watchpoint 监视某个地址是否被写入

当越界发生时,触发 HardFault Handler,可以打印调用栈。

综上:修复越界代码 + 加防护机制

三、预防建议

所有字符串操作用 snprintf, strncpy 替代 sprintf, strcpy ------------> 防止栈溢出

关键结构体前后加padding和校验字段 ------------>便于检测破坏

使用固定大小缓冲区代替动态分配 ------------> 减少堆碎片

对接收的数据先验证长度再拷贝 ------------> 特别是网络/MQTT数据

上电自检内存完整性 ------------> 检测Flash/RAM是否损坏

http://www.cnnetsun.cn/news/69950.html

相关文章:

  • STM32CubeMX的main.c开头介绍
  • 26.MPSOC FPGA linux读AHT20传感器
  • 嵌入式系统时序图完全指南:从原理到实战
  • 小团队与大团队的管理差异
  • [CISCN2019 华东南赛区]Web4
  • AI编程革命!Claude Skills大揭秘:小白也能快速上手的Agent开发神器,大模型开发者必看!
  • 内点法求最优潮流附matlab代码
  • 三相PWM整流器有限集模型预测电流控制附Simulink仿真模型
  • 光伏四可“可观”功能:光伏电站全景数字化的底层支撑技术
  • 如何用FLUX.1-dev镜像在本地部署下一代AI绘画模型?
  • 基于 Comsol 移动网格方法的激光熔池流动数值模拟
  • BLDC无刷直流电机Matlab仿真:转速电流双闭环控制及有感无感换相方式研究
  • [光学原理与应用-491]:水冷机、零气模块CDA、功率计等影响266皮秒紫外激光器的种子源1064nm功率稳定性结果的主要因素有哪些?
  • 昆仑通态MCGS与欧姆龙E5CC温控器通讯实战:PID模式及输出启停控制
  • 通达信〖逆势突破强牛〗指标公式 逆市环境中率先突破前期重要压力位 较强内在上涨动力
  • 基于扰动观测器的永磁同步电机(PMSM)模型预测控制(MPC)仿真探索
  • AEB联合仿真算法设计:Carsim2019.0+Matlab/Simulink2021a实现...
  • Java毕设选题推荐:基于springboot个人博客系统的设计与实现基于SpringBoot+Vue个人博客系统的设计与实现【附源码、mysql、文档、调试+代码讲解+全bao等】
  • Java毕设选题推荐:基于springboot停车场车位预约系统基于Java springboot停车场管理系统停车位预约【附源码、mysql、文档、调试+代码讲解+全bao等】
  • Java毕设选题推荐:基于springboot的无人化、线上化、数据化海洋馆预约系统的设计与实现【附源码、mysql、文档、调试+代码讲解+全bao等】
  • Ascend C高级API应用:InitGlobalMemory与Pad操作的底层原理
  • Java毕设选题推荐:基于Java Web的新能源汽车信息咨询服务基于SpringBoot+Vue的新能源汽车信息咨询服务的设计与实现【附源码、mysql、文档、调试+代码讲解+全bao等】
  • 开箱即用的 GoWind Admin|风行,企业级前后端一体中后台框架:OPA 集成指南:从原理到实践
  • Object.defineProperty和Proxy实现拦截的区别
  • 若依物联网
  • PSEN1抗体:如何揭示阿尔茨海默病致病机制与治疗新靶点?
  • Docker Engine 升级指南:保障容器安全的关键步骤
  • 基于zigbee灯光控制照明及色温调节系统的设计与实现(有完整资料)
  • 7、Python高级语法:描述器、属性与元编程实战
  • 【开题答辩全过程】以 基于java技术的校园一卡通系统的设计与实现为例,包含答辩的问题和答案