【发布】内存错误检测技术理论与实践.pdf

huangyhg

2．内存泄漏
如果一个动态分配的内存不能被释放，我们就称为“内存泄漏”。例如，某指针指向一个动
态分配的内存块，程序执行中由于某种操作失去了该指针而没有保存，这时程序中就不再
含有指向该内存块的任何指针，也无法再释放它，从而造成内存垃圾。内存泄漏是最严重
的内存错误之一。
Insure++能够在内存泄漏发生时立刻检测到错误，并准确指出导致问题出现的源代码行，这
是发现和修改内存泄漏的关键信息。Insure++能够检测和区分多种类型的内存泄漏：
LEAK_ASSIGN：由于指针再分配，引起指针原先指向的内存块被丢失了。
LEAK_FREE：释放一个含有指向其它内存块的指针的内存块。如果没有其它指针指向第
二个内存块，它将永远地丢失。
LEAK_RETURN：一个函数返回一个指向已分配内存块的指针，但该返回值被调用代码忽
略。
LEAK_SCOPE：一个函数含有指向某内存块的局部变量，但函数返回时没有将指针保存在
全局变量或返回到调用代码中。

huangyhg

目录
第一章 内存错误检测技术理论与实践.........................................................................................4
一、前言..................................................................................................................................4
二、错误检测技术分类...........................................................................................................4
1．eci-执行码替换技术.................................................................................................4
2．oci-目标码插装技术................................................................................................5
3．sci-源码插装技术.....................................................................................................5
三、检测能力比较...................................................................................................................5
四、错误检测技术比较分析...................................................................................................6
1．目标............................................................................................................................6
2．编译时问题检测........................................................................................................7
3．内存状态跟踪和问题检测.........................................................................................7
4．内存泄漏....................................................................................................................9
5．第三方代码..............................................................................................................10
五、错误检测技术比较测试.................................................................................................11
1．内存破坏..................................................................................................................11
2．内存泄漏..................................................................................................................13
3．类型冲突..................................................................................................................14
4．越界读写..................................................................................................................17
5．指针错误..................................................................................................................19
6．虚悬指针..................................................................................................................22
7．逻辑错误..................................................................................................................23
8．无效参数..................................................................................................................25
9．调用接口..................................................................................................................27

huamanzhao

爱上对方