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

已于 2023-10-01 11:31:03 修改
阅读量1.4k 收藏 2
点赞数 1
分类专栏： C/C++实战专栏 文章标签： CheckStackVars 安全检测
于 2016-09-09 11:16:09 首次发布
本文为博主原创文章，未经博主允许不得转载。
本文链接：https://blog.csdn.net/chenlycly/article/details/52485405
版权
本文详细介绍了C/C++中基于CheckStackVars的栈内存安全检查，通过实例分析了该机制如何防止数组越界。文章讨论了在VS2008的Debug版本中，如何开启Run-Time Error Checks编译选项，并展示了CheckStackVars的工作原理，包括内存布局、检查时机和检查方式。此外，还给出了RTC_CheckStackVars函数的反汇编代码，以及伪代码实现，帮助理解其内部工作流程。
摘要由CSDN通过智能技术生成

在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

了解本专栏 订阅专栏 解锁全文
dvlinker
关注
专栏目录
订阅专栏
深入C/C++之基于Cookie的安全检查
dvlinker的技术专栏
09-09 1993
深入C/C++之基于Cookie的安全检查（VS2005）
WDM驱动开发 链接错误error LNK2019: unresolved external symbol @_RTC_CheckStackVars@8 referenced in function _main
castle911的专栏
09-14 4959
error LNK2019: unresolved external symbol @_RTC_CheckStackVars@8 referenced in function _main
深入C/C++之基于CheckStackVars的安全检查（VS2008）
热门推荐
masefee C/C++游戏编程
05-28 1万+
最近一直忙毕业的相关事情，加上工作，转眼间，又到月底了，之前承诺的每月一篇博文，前几天就一直在寻找到底要写什么，近两天又突然发现有很多东西可以写。本篇就先延续之前的一篇基于Cookie的安全检查机制（深入C/C++之基于Cookie的安全检查（VS2005））来介绍下另外一种在DEBUG版本下的安全检查，也就是CheckStackVars检查，话不多说，直接进入正题。 在VS2008下，函
c++堆越界检查范例
mjp_mjp的专栏
07-10 1762
2013-7-4 Jason 堆前向后后向越界检查实例，基本上可以检测不超过一页的堆越界非法读写错误！注意初次申请reservered内存页时，标示它为不可读写，不可执行！ // 越界检查开关 #define SOULCRYSTAL_BOUNDER_CHECK // 前向越界检查开关 //#define FRONT_ACROSS // 后向越界检查开关 #define POS
越界检查
sun
05-20 203
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
利用 _RTC_CheckStackVars(...) 和 windbg 发现访问越界
sukiida的专栏
09-12 1477
背景：在项目 debug 过程中遇到 failwithmessage 函数，但是程序正常运行，判断这个函数应该是类似 exception 之类的功能。查看调用栈，发现是 _RTC_CheckStackVars(...) 引起 failwithmessage 的调用。网上查到这个函数是检查栈变量完整性，很可能程序当中已经发生了访问越界。项目稳定性的要求比较高，需要捉一下虫子。 代码：猜测是访问越界
《Visual C++异常处理机制原理与应用（二）—— C/C++结构化异常处理之try-finally终止处理的使用与原理（下）》
LPWSTR的博客
09-23 1374
在上一篇文章中，我们其实只分析了终止型异常处理程序中正常的执行流程，这种情况的出现其实需要作如下假设： __try块中的代码执行过程中不会引发异常 这部分代码不会试图提前离开__try块的作用范围（如包含goto、break、continue、return等会导致执行流越出__try块部分的指令） 然而俗话说，“理想很丰满，现实太骨感”，在编程中，不得不考虑到各种各样的情况。当被保护的代码块中出现异
C++编译器越界检查机制
pecywang的专栏
04-02 7425
前天帮同事看了一个程序，现象是这样的，程序在执行完所有代码之后，莫名其妙的core（段错误），当时很忙，就简单的看了下，没有直接使用指针之类的代码，扫了一下关键的地方，也没有看到明显的问题。     当时代码的重点在管道通信上，就重点看了管道的问题，没有仔细阅读每个地方，找了大概有15分钟竟然没找到，这大大激发了我的好奇心，于是我决定仔细看看所有的代码，结果一下子就发现了问题，原来在程序的开始的
c语言数组出界,C++有什么办法检查数组越界
weixin_31565723的博客
05-21 1190
#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 789
数组越界的内存保护检查
C++ string越界问题
qq_40349484的博客
11-09 2882
刷LeetCode的时候遇到的一个问题，赶紧记下来。 在正常的字符后面，string会自动跟一个’\0’。因此会出现这样的情况： string p = "a*"; 对于这样的字符串而言，p[2]是不会越界的，因为p[2]指向的是’\0’，但是p[3]就会越界了。 p[2]↓ p[3]↓ 虽然是一个很小的问题，但真的是一个很大的收获了。（越界我一生之敌0.0） ...
数组越界检查
JS_CSDN7510的博客
07-24 2032
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 5966
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 1255
''' 处理摄像头数据，并在第一幁画线 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 663
转载：作者：独自等待出处：IT专家网2007-12-18 09:56 虽然溢出在程序开发过程中不可完全避免，但溢出对系统的威胁是巨大的，由于系统的特殊性，溢出发生时攻击者可以利用其漏洞来获取系统的高级权限root，因此本文将详细介绍堆栈溢出技术…… 　　在您开始了解堆栈溢出前，首先你应该了解win32汇编语言，熟悉寄存器的组成和功能。你必须有堆栈和存储分配方面的基础知识，有关这方面的计
数据范围和边界[C++]
贫道绝缘子的博客
08-20 874
1 基本概念 位 (bit)：代表0或1， 比如 0000，代表4位，00001111代表8位。 字节 (byte)：1B=8bit ，一个字节就是8位。 字长(word size)：CPU在单位时间内能一次处理的二进制数的位数。 32位CPU：该CPU在单位时间内能一次处理的二进制数的位数为32位，即一次处理4个字节。 64位CPU：该CPU在单位时间内能一次处理的二进制数的位数...
C++内存泄漏/内存越界的各种情况，以及预防与排查
iuu77的博客
03-29 4467
内存泄漏，是指在程序代码中动态申请的、堆上的内存 由于某种原因、在使用后没有被释放，进而造成内存的浪费。少部分的内存泄漏不会影响程序的正常运行，不过如果是持续的内存泄漏会耗光系统内存，最终会导致程序卡死甚至系统崩溃。为了避免系统崩溃，在无法申请到内存的时候，要果断调用exit()函数主动杀死进程，而不是试图挽救这个进程。内存越界是软件系统主要错误之一，其后果往往不可预料且非常严重。
分析函数调用的汇编指令
向往大海专栏
10-12 977
<br />同样一段c++代码生成的汇编指令可能会不一样。有多种原因，例如编译器、调用约定或者底层平台。<br />今天要分析的是cdecl在x86机器上用visual c++ 2005上的编译结果。<br />首先需要设置一下项目配置以得到从源代码生成的汇编代码。<br />项目属性->配置属性->c/c++->输出文件->汇编输出 = Assembly With Source Code (/FAs)。<br />要被编译的源文件是：<br />#include "stdafx.h"<br /><br /
运行时错误检查（/RTC）编译选项及实现原理 .
abcd1f2的专栏
04-07 934
运行时错误检查（/RTC）编译选项及实现原理   作者：童磊（magictong）   环境：VS2005 前因后果：debug居然编不过！！！这里准备说4个例子，都是为了说明debug版本对于调试是很重要的，很多问题在调试版本下都会提前暴露出来。   注意：随意调整优化，可调试选项可能会遇到下面的编译错误： Command line error D8016 : '/O2' and
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

打赏作者

dvlinker

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

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

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

打赏作者

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

抵扣说明：

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

余额充值