本文详细介绍了C/C++中基于CheckStackVars的栈内存安全检查，通过实例分析了该机制如何防止数组越界。文章讨论了在VS2008的Debug版本中，如何开启Run-Time Error Checks编译选项，并展示了CheckStackVars的工作原理，包括内存布局、检查时机和检查方式。此外，还给出了RTC_CheckStackVars函数的反汇编代码，以及伪代码实现，帮助理解其内部工作流程。
在VS2008下，函数的栈空间里如果存在数组，就会自动加上CheckStackVars检查，顾名思义，就是用来检查局部数据是否访问越界。相对来说，这种检查只能起到一定的作用，并不会所有越界访问都能检查到，根据后面的原理介绍会了解到这点。既然是检查局部的，那么在函数内定义的static类型数组或者函数外部的全局数组并不会采用此检查，既然是检查数组，那么如果函数内没有局部数组时，此检查也不会存在。
要程序支持基于CheckStackVars检查，则要设置/RTCs (Run-Time Error Checks，s - Enables stack frame run-time error checking)编译选项，在VS2010中的工程配置中的位置如下：
首先来看一个简单的例子，验证这个检查的存在：
void TestVars( void )
{
int bf = 0xeeeeeeee;
char a
订阅专栏 解锁全文
扫一扫
1999
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
