深入C/C++之基于CheckStackVars的安全检查

已于 2023-10-01 11:31:03 修改
阅读量1.5k 收藏 2
点赞数 1
CC 4.0 BY-SA版权
分类专栏： C/C++实战专栏 文章标签： CheckStackVars 安全检测
于 2016-09-09 11:16:09 首次发布
本文为博主原创文章，未经博主允许不得转载。
本文链接：https://blog.youkuaiyun.com/chenlycly/article/details/52485405
本文详细介绍了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 array[10] = { 0 };
    int bk = 0xffffffff;<

了解本专栏 订阅专栏 解锁全文
深入C/C++之基于Cookie的安全检查
dvlinker的技术专栏
09-09 2111
深入C/C++之基于Cookie的安全检查（VS2005）
【Stack around the variable ‘xxx‘ was corrupted】C++程序中被调函数中发生栈内存越界，越界到主调函数栈内存上，导致内存被篡改的典型案例分析
热门推荐
dvlinker的技术专栏
10-21 4万+
【Stack around the variable ‘xxx‘ was corrupted】被调函数中发生栈内存越界，越界到主调函数栈内存上，导致内存被篡改的典型案例分享。
WDM驱动开发 链接错误error LNK2019: unresolved external symbol @_RTC_CheckStackVars@8 referenced in function _main
castle911的专栏
09-14 5080
error LNK2019: unresolved external symbol @_RTC_CheckStackVars@8 referenced in function _main
c++堆越界检查范例
mjp_mjp的专栏
07-10 1880
2013-7-4 Jason 堆前向后后向越界检查实例，基本上可以检测不超过一页的堆越界非法读写错误！注意初次申请reservered内存页时，标示它为不可读写，不可执行！ // 越界检查开关 #define SOULCRYSTAL_BOUNDER_CHECK // 前向越界检查开关 //#define FRONT_ACROSS // 后向越界检查开关 #define POS
利用 _RTC_CheckStackVars(...) 和 windbg 发现访问越界
sukiida的专栏
09-12 1638
背景：在项目 debug 过程中遇到 failwithmessage 函数，但是程序正常运行，判断这个函数应该是类似 exception 之类的功能。查看调用栈，发现是 _RTC_CheckStackVars(...) 引起 failwithmessage 的调用。网上查到这个函数是检查栈变量完整性，很可能程序当中已经发生了访问越界。项目稳定性的要求比较高，需要捉一下虫子。 代码：猜测是访问越界
深入C/C++之基于CheckStackVars的安全检查（VS2008）
masefee C/C++游戏编程
05-28 1万+
最近一直忙毕业的相关事情，加上工作，转眼间，又到月底了，之前承诺的每月一篇博文，前几天就一直在寻找到底要写什么，近两天又突然发现有很多东西可以写。本篇就先延续之前的一篇基于Cookie的安全检查机制（深入C/C++之基于Cookie的安全检查（VS2005））来介绍下另外一种在DEBUG版本下的安全检查，也就是CheckStackVars检查，话不多说，直接进入正题。 在VS2008下，函
越界检查
sun
05-20 277
int FindValue(int* br, int n, int val) { if (br == nullptr || n < 1) return -1; int i = 0; int pos = n-1; while (pos >= 0 && br[pos] != val)//pos>=0当这条件不符合时后面的条件将不会再执行while ( br[pos] != val&&pos >= 0) { –pos; } return pos; for
21、深入探讨C/C++数组、缓冲区溢出保护及相关优化
tree的博客
05-25 29
本文深入探讨了C/C++中数组的使用、缓冲区溢出保护机制及相关优化方法。分析了在Linux和Windows环境下，编译器如何通过金丝雀检查防止栈溢出攻击，并介绍了MSVC、GCC和LLVM在保护机制上的实现差异。同时，文章还讨论了数组越界问题及其解决方案，如断言检查、动态内存分配等，并提供了不同硬件平台和编译器下的代码性能对比。最后，总结了数组操作的注意事项及未来发展趋势，帮助开发者提升程序的安全性和性能。
21、C/C++ 数组操作与缓冲区溢出保护技术解析
tomato的博客
07-10 27
本文深入解析了C/C++中数组操作的实现方式以及缓冲区溢出的保护技术。通过分析不同编译器（如MSVC、GCC、LLVM）在不同环境下的代码实现，详细介绍了金丝雀值检查机制的工作原理及其在防止栈溢出攻击中的作用。此外，文章还讨论了数组溢出的风险、防范措施以及断言的使用注意事项，并提供了实际编程中的安全建议，旨在帮助开发者编写更加健壮和安全的程序。
c语言数组出界,C++有什么办法检查数组越界
weixin_31565723的博客
05-21 1332
#include #include #include #include #include #include "dmp.h"using namespace std;int filter(unsigned int code, struct _EXCEPTION_POINTERS *ep){switch (code){case EXCEPTION_ACCESS_VIOLATION:{puts("线程试图...
数组越界检查（Array bound check）
多头注意力探索Now
06-28 1204
数组越界的内存保护检查
C++ string越界问题
qq_40349484的博客
11-09 3292
刷LeetCode的时候遇到的一个问题，赶紧记下来。 在正常的字符后面，string会自动跟一个’\0’。因此会出现这样的情况： string p = "a*"; 对于这样的字符串而言，p[2]是不会越界的，因为p[2]指向的是’\0’，但是p[3]就会越界了。 p[2]↓ p[3]↓ 虽然是一个很小的问题，但真的是一个很大的收获了。（越界我一生之敌0.0） ...
数组越界检查
JS_优快云7510的博客
07-24 2205
C语言非常重视运行时的效率，所以没有进行数组越界检查，而C++继承了C的效率要求，自然也不做数组越界检查。（检查数据越界，编译器就必须在生成的目标代码中加入额外的代码用于程序运行时检测下标是否越界，这就会导致程序的运行速度下降） 例如下面这段代码： int a[2];//定义一个长度为2的int型数组a a[0] = 1; a[1] = 2; a[2] = 4;//越界 for (int i = 0; i < 3; i++) printf("...
INT怎么判断超出界限的值——C/C++
有人_295的博客
07-24 6713
C/C++现在的 int 一般默认的是32位，即 2^(32-1)，但有时候需要判断是否超出界限，因为最大值INT_MAX（INT_MIN）就是这么多，超出界限的值不可能以超出界限的规定方式展示，所以我们需要一个取巧的方式。 1、我们要先了解超出界限的值是怎么计算的 1、我们就不得不了解一下原码、反码、补码 因为 1 Byte（字节）= 8 bit，所以我就以 2^(8-1)=127作为最大值为例...
利用vibe实现越界检测
gf18381303772的博客
11-05 1368
''' 处理摄像头数据，并在第一幁画线 1、定义鼠标事件（返回初始点，和结束点） 2、利用初始点和结束点画线 ''' import cv2 from vibe import ViBe import numpy as np from cross_line import verify_rec # from ssd import vs drawing = False # true if mouse ...
栈溢出
u013838434的博客
04-06 761
转载：作者：独自等待出处：IT专家网2007-12-18 09:56 虽然溢出在程序开发过程中不可完全避免，但溢出对系统的威胁是巨大的，由于系统的特殊性，溢出发生时攻击者可以利用其漏洞来获取系统的高级权限root，因此本文将详细介绍堆栈溢出技术…… 　　在您开始了解堆栈溢出前，首先你应该了解win32汇编语言，熟悉寄存器的组成和功能。你必须有堆栈和存储分配方面的基础知识，有关这方面的计
经典程序——探测int的边界
l36389的博客
01-18 333
#include <stdio.h> #include <stdlib.h> int main(){ int i=1; while(i>0) i++; printf( "min=%d\n" ,i); printf( "max=%d\n" ,i-1); system("PAUSE"); return 0; }
C++反汇编揭秘2 – VC编译器的运行时错误检查(RTC)
软件开发资料汇总
06-11 613
我在上篇文章举了一个简单的C++程序非常简略的解释C++代码和汇编代码的对应关系，在后面的文章中我将按照不同的Topic来仔细介绍更多相关的细节。虽然我很想一开始的时候就开始直接介绍C++和汇编代码的对应关系，不过由于VC编译器会在代码中插入各种检查，SEH，C++异常等代码，因此我觉得有必要先写一下一些在阅读VC生成的汇编代码的时候常见的一些东西，然后再开始具体的分析C++代码的反汇编。这篇
数据范围和边界[C++]
贫道绝缘子的博客
08-20 1049
1 基本概念 位 (bit)：代表0或1， 比如 0000，代表4位，00001111代表8位。 字节 (byte)：1B=8bit ，一个字节就是8位。 字长(word size)：CPU在单位时间内能一次处理的二进制数的位数。 32位CPU：该CPU在单位时间内能一次处理的二进制数的位数为32位，即一次处理4个字节。 64位CPU：该CPU在单位时间内能一次处理的二进制数的位数...
C++中CallStrack
最新发布
10-31
例如，`__cdecl`约定（C/C++默认）下，参数从右向左压栈，调用者清理栈；而`__stdcall`下，被调用者清理栈。 ### 调用栈的使用 1. **调试与错误追踪**： - 调试器（如GDB, Visual Studio Debugger）可显示调用栈...
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

dvlinker

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值