一种所有数组越界溢出的检测思想(待大家讨论)

a2412462142

Keil编译的时候，可以知道所有变量的地址，大小。如果可以在编译的时候，在每个变量间插入一个Uint8或者Uint16内容值为0xAA,0xA5什么的，然后用Jlink读取出所有这些打桩变量，看看哪个变量被更改了。就知道哪些变量操作出现了数据溢出，数组越界。这个方法可能跟编译器编译方法有关系。有没有大佬知道怎么改编译器吗？

fxyc87

我记得堆栈最极限位置如果用了OS，它就是一个特殊的数字，OS自己检测溢出也是用的这种方法。

eric2013

这个可以自己定义变量的时候全部初始化为对应的值。

a2412462142

eric2013 发表于 2024-12-15 09:31
这个可以自己定义变量的时候全部初始化为对应的值。

我的想法是不用改变代码，编译的时候就自动上桩了....

a2412462142

fxyc87 发表于 2024-12-14 20:33
我记得堆栈最极限位置如果用了OS，它就是一个特殊的数字，OS自己检测溢出也是用的这种方法。

是的，这是os的方法.

eric2013

a2412462142 发表于 2024-12-15 18:15
我的想法是不用改变代码，编译的时候就自动上桩了....

实际上一样的，比如编译器初始化为 0的ZI区，只是IDE添加函数初始化好了