[原]PInvoke导致栈破坏
项目中遇到一个诡异的问题,程序在升级到.net4.6.1后会崩溃,提示访问只读内存区。大概现象如下:
- debug版不崩溃,release版稳定崩溃。
- 只有x64位的程序崩溃,32位及anycpu编译出来的程序运行不会崩溃。
- 出问题的代码范围很小
以上信息,各位有什么想法呢?
由于release版可以稳定重现,而且范围不大,故通过二分排除法很快定位到了导致问题的代码。
最后发现并不是由于升级.net版本导致的,而是程序本身的问题: x64下MemoryStatus结构体中的成员有些不是4字节大小,而是8字节大小了。而我们的代码依然按4字节定义的。
我写了一个模拟程序来模拟出问题的代码。 参见后面的代码。
总结: 如果不是那么稳定的崩溃,恐怕解决这个问题还会花些时间的吧,how lucky I am!!!
BTW: 启用托管调试助手(MDA)有时候会对调试问题有极大的帮助,虽然我这次调试没有借助MDA,但我第一个想到的就是MDA。
完整的测试代码如下(如想重现问题,请编译x64版本)
- using System.Runtime.InteropServices;
- namespace ConsoleApplication1
- {
- class Program
- {
- [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Performance", "CA1815:OverrideEqualsAndOperatorEqualsOnValueTypes"),StructLayout(LayoutKind.Sequential)]
- public struct MemoryStatus
- {
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwLength;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwMemoryLoad;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwTotalPhys;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwAvailPhys;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwTotalPageFile;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwAvailPageFile;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwTotalVirtual;
- /// ---
- [MarshalAs(UnmanagedType.U4)]
- public uint dwAvailVirtual;
- }
- [DllImport("kernel32.dll")]
- public static extern void GlobalMemoryStatus(ref MemoryStatus memoryStatus);
- class CMyClass
- {
- public int n1 = 0;
- }
- struct CMyStruct
- {
- public CMyClass data;
- }
- static void Main(string[] args)
- {
- CMyStruct myObj = new CMyStruct(); myObj.data = new CMyClass();
- MemoryStatus memoryStatus = new MemoryStatus();
- // this line will corrupt the stack if we run in x64, because memoryStatus is defined on the stack
- GlobalMemoryStatus(ref memoryStatus);
- // myObj.data is corrupted
- System.Console.WriteLine("{0}", myObj.data);
- }
- }
- }
[原]PInvoke导致栈破坏的更多相关文章
- 转:C 函数调用栈
第一篇: 转自:http://kingj.iteye.com/blog/1555017 本文转自 http://blog.csdn.net/eno_rez/article/details/21586 ...
- 对抗栈帧地址随机化/ASLR的两种思路和一些技巧
栈帧地址随机化是地址空间布局随机化(Address space layout randomization,ASLR)的一种,它实现了栈帧起始地址一定程度上的随机化,令攻击者难以猜测需要攻击位置的地址. ...
- 深入理解golang 的栈
线程栈(thread stacks)介绍 先回顾下linux的内存空间布局 简书_stack02.png 当启动一个C实现的thread时,C标准库会负责分配一块内存作为这个线程的栈.标准库分配这 ...
- cve-2010-3333 Microsoft Office Open XML文件格式转换器栈缓冲区溢出漏洞 分析
用的是泉哥的POC来调的这个漏洞 0x0 漏洞调试 Microsoft Office Open XML文件格式转换器栈缓冲区溢出漏洞 Microsoft Office 是微软发布的非常流行的办公 ...
- CSAPP阅读笔记-变长栈帧,缓冲区溢出攻击-来自第三章3.10的笔记-P192-P204
一.几个关于指针的小知识点: 1. malloc是在堆上动态分配内存,返回的是void *,使用时会配合显式/隐式类型转换,用完后需要用free手动释放. alloca是标准库函数,可以在栈上分配任 ...
- Go语言是如何处理栈的
转自:http://tonybai.com/2014/11/05/how-stacks-are-handled-in-go/ Go 1.4Beta1刚刚发布,在Go 1.4Beta1中,Go语言的st ...
- java栈和队列
栈 可变长数组实现 链表实现 数组与链表的对比队列 链表实现 栈 下压栈(简称栈)是一种基于后进后出(LIFO)策略的集合类型.这里学习分别用数组和链表这两种基础数据结构来实现 ...
- 更改Linux默认栈空间的大小
有时候在Linux写C++程序处理大量的数据,程序内部需要分配很大的数组来存放一些数据,但有时候分配的数组太大的话运行时会出现段错误.这种情况可能是分配的数组大小超过了Linux系统的默认栈空间的大小 ...
- C语言数据结构----栈与递归
本节主要说程序中的栈函数栈的关系以及栈和递归算法的关系. 一.函数调用时的栈 1.程序调用时的栈是也就是平时所说的函数栈是数据结构的一种应用,函数调用栈一般是从搞地质向低地址增长的,栈顶为内存的低地址 ...
随机推荐
- Day3-T2
原题目 奶牛Bessie的电脑总是无缘无故地被 FJ 关掉,奶牛 Bessie 非常苦恼,也非常生气.FJ 却发现了 一个很神奇的规律(别问是怎么知道的),发现 Bessie 每吃一次草,她的生气值会 ...
- sqli-labs注入lesson1-2闯关秘籍
·lesson1 1.判断是否存在注入,并判断注入的类型 其实根据第一关提示 判断注入类型 输入下面的语句进行测试: ?id= 返回界面如下图:说明存在 字符型注入 2. 使用order by 猜测S ...
- Swift - UISplitViewController
https://blog.csdn.net/weixin_43704791/article/details/86424080 2019年01月13日 AppDelegate中: func applic ...
- dubbo小教程
dubbo小教程 先给出阿里巴巴dubbo的主页:http://code.alibabatech.com/wiki/display/dubbo/Home-zh 自己的demo下载地址:http://d ...
- MySQL笔记 01
STRUCTURE QUERY LANGUAGE 数据库CRUD操作 DDL: 数据库定义语言,定义数据库数据表结构 CREATE(创建): 创建数据库 CREATE DATABASE 数据库名字; ...
- Android进阶——多线程系列之四大线程池的使用介绍
线程池一直是初学者最抵触的东西,由于刚开始学习做项目并不会涉及到线程池的使用,但是不去学习它,心里又好像有个石头一直沉着,一直放心不下,其实是很简单的东西,早晚都要学,不如趁现在吧.由于文章从初学者的 ...
- POJ 3050:Hopscotch
Hopscotch Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 2506 Accepted: 1784 Descrip ...
- sed使用案例
简介: sed是一种流编辑器,它是文本处理中非常重要的工具,能够完美的配合正则表达式使用,功能不同凡响.处理时,把当前处理的行存储在临时缓冲区中,称为“模式空间”(pattern space),接着用 ...
- vue form 验证
vue 验证 <Form :model="formModel" label-position="center" :label-width="90 ...
- java笔记5
1. JUnit 单元测试:方法名任意,但是没有参数列表. 注解: @Test @Ignore @Before @After 2. 泛型 1. 在集合中使用泛型 2. 在通用性较高的代码中使用泛型 1 ...