如何检测C语言中的内存漏洞(leak)?

在动态分配的内存单元(即由函数malloc()或ealloc()分配的内存单元)不再使用却没有被释放的情况下,会出现内存漏洞。未释放内存单元本身并不是一种错误,编译程序不会因此报告出错,程序也不会因此而立即崩溃。但是,如果不再使用而又没有被释放的内存单元越来越多,程序所能使用的内存空间就越来越小。最终,当程序试图要求分配内存时,就会发现已经没有可用的内存空间。这时,尤其是当程序员没有考虑到内存分配失败的可能性时,程序的运行就会出现异常现象。

内存漏洞是最难检测的错误之一,同时也是最危险的错误。导致这个问题的编程错误很可能出现在程序的开始部分,但只有当程序奠名其妙地使用完内存后,这个问题才会暴露出来。

此时去检查当前那条导致内存分配失败的语句是无济于事的,因为那些分配了内存却未能按时释放内存的代码可能在程序的其它地方。

遗憾的是C语言并没有为检测或修复内存漏洞提供现成的方法。除非使用提供这种功能的商业软件包,否则,程序员就需要以很大的耐心和精力去检测和修复内存漏洞。最好的办法是在编写程序时就充分考虑到内存漏洞的可能性,并小心谨慎地处理这种可能性。

导致内存漏洞的最简单的也是最常见的原因是忘记释放分配给临时缓冲区的内存空间,请看下述程序段: 
# include <stdio. h>
# include <stdlib. h>
  /*
   *  Say hello to the user's  and put the user's name in UPPERCASE.
   */
void SayHi( char *name )
{
      char * UpName;
      int a;
      UpName = malloc(  strlen( name ) +1);
                            / * Allocate space for the name * /
  for( a  =0; a<strlen( name ); ++a)
      UpName[a] = toupper( name[a]) ;
      UpName [a] = '\0'i
      printf("Hello, %si\n", UpName );
}
int main()
{
      SayHi( "Dave" );
      return( 0 );
}
这段程序中的问题是显而易见的——它为存储使用大写字母的名字分配了临时空间,但从未释放这些空间。为了保证永远不发生类似的情况,你可以采用这样的方法:在分配内存的每条语句后加上相应的free语句,然后把使用这些临时内存的语句插到这两条语句之间。只要在程序中分配和释放内存的语句之间没有break,continue或goto语句,这种方法就能保证每次分配的空间在使用完后就被释放掉。

上述方法相当繁琐,并且不能完全避免内存漏洞的出现,因为在实际编程中,所分配的内存空间的使用时间往往是不能预测的。此外,如果操作或删除内存空间的程序段有错误,也会出现内存漏洞。例如,在删除链表的过程中,最后一个结点可能会丢失,或者一个指向内存空间的指针可能会被改写。解决这类问题的办法只能是小心谨慎地编写程序,或者象前面提到的那样使用相应的软件包,或者利用语言的扩展功能。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/450574.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Oracle中row_number()、rank()、dense_rank() 的区别

link:https://www.cnblogs.com/qiuting/p/7880500.html转载于:https://www.cnblogs.com/Spring-Rain/p/9716213.html

Vim使用教程(按键教程,映射都可以改的,持续更新)

修改映射 tnvim .vimrc 1、spaceft 调出目录 2、controlh 跳到目录 3、controll 跳到内容页 4、spacekn 运行最近一个测试 5、spacekf 运行整个测试文件 6、spacekl 运行最后一个测试 7、sv 分屏 8、sq 退出分屏 9、controlp 搜索功能 10、/搜索内容 N向上…

Alpha 冲刺五

团队成员 051601135 岳冠宇051604103 陈思孝031602629 刘意晗031602248 郑智文031602234 王淇会议照片 项目燃尽图 项目进展 暂无实质性进展。 项目描述 问题困扰&#xff1a; 商品分类出现困惑。交互部分向服务器发送请求失败&#xff0c;安卓在4.0后对网络请求有限制要求&…

什么是换码符(escape character)?

换码符是用来执行一个命令或一项任务的字符&#xff0c;它们不会被打印到屏幕上。例如&#xff0c;一个换码符可以是这样一个字符&#xff0c;它被传递给一个设备&#xff0c;告诉计算机屏幕以红色而不是通常的白色来显示下一行。这个换码符将和真正要被设备以红色来显示的字符…

java日期工具类DateUtil

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 DateUtil类 [java] view plain copy package com.util; import java.text.SimpleDateFormat; import java.util.ArrayList; import…

Command 传参的几种方式

Command可以根据CommandParameter传参 关键代码 public ICommand SubmitCommand > _submitCommand; private RelayCommand _submitCommand new RelayCommand(new Action<object>(ShowMessage)); private static void ShowMessage(object obj) {MessageBox.Show(obj.T…

phpStorm重构快捷键(mac系统、持续更新)

参考 https://learnku.com/laravel/t/5420/your-keyboard-shortcuts-please 1、ctrlaltf 将表达式提取出来使其成为类的属性&#xff0c;并自动更新引用。 2、ctrlaltp 将表达式变成由参数传入 3、crtlF6 修改函数签名&#xff08;函数名&#xff0c;函数参数&#xff09…

python -m xxx.py和python xxx.py的区别

先看下python -m site作用是显示sys.path的值内容&#xff0c;也就是python搜索模块的目录&#xff0c;作用类似于linux下的PATH python -m SimpleHTTPServer 会在sys.path的所有路径下查找SimpleHTTPServer.py文件&#xff1b; 而python SimpleHTTPServer.py则是在当前查找文…

C语言多维数组与多级指针

多维数组与多级指针也是初学者感觉迷糊的一个地方。超过二维的数组和超过二级的指针其实并不多用。如果能弄明白二维数组与二级指针&#xff0c;那二维以上的也不是什么问题了。所以本节重点讨论二维数组与二级指针。一、二维数组 1、假想中的二维数组布局我们前面讨论过&…

spring-data-jpa 使用

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 只是记录下使用方法 &#xff1a; 1. RPC接口 service实现类调用&#xff0c;PageRequest对象会实现分页、排序。 Overridepublic Obj…

docker的安装与安装mysql(mac,centos为例)

一、mac安装docker 1、去这个网站下载安装https://www.docker.com/get-started 2、运行docker 运行开启docker docker run -dp 80:80 docker/getting-started 二、centos8安装docker 1、安装docker 下载低版本的 yum install -y docker-ce --nobest 2、安装扩展 wget http…

配置PPPOE

先配置服务端PPPOE-Server先为路由添加一个账号为PPP所使用[PPPOE-Server]aaa [PPPOE-Server-aaa]local-user test password cipher 123 //添加一个本地账号[PPPOE-Server-aaa]local-user test service-type ppp//设置test账号类型为PPP账号[PPPOE-Server]ip pool test//添加一…

eclipse弃坑记第一篇之在idea上配置Tomcat环境并创建Javaweb项目的详细步骤原创

IntelliJ IDEA是一款功能强大的开发工具&#xff0c;在代码自动提示、重构、J2EE支持、各类版本工具(如git、svn、github)、maven等方面都有很好的应用。 IntelliJ IDEA有免费的社区版和付费的旗舰版。免费版只支持Java等为数不多的语言和基本的IDE特性&#xff0c;旗舰版还支持…

laravel安装prettier,git hook代码格式化工具

1、安装prettier的php扩展 npm install --global prettier prettier/plugin-php 2、安装husky&#xff0c;lint-staged&#xff08;git钩子&#xff09;使用 npm i prettier lint-staged husky -D 3、修改package.json文件 在scripts后面添加两个函数 "husky": …

C语言指针数组和数组指针

一、指针数组和数组指针的内存布局 初学者总是分不出指针数组与数组指针的区别。其实很好理解&#xff1a;指针数组&#xff1a;首先它是一个数组&#xff0c;数组的元素都是指针&#xff0c;数组占多少个字节由数组本身决定。它是“储存指针的数组”的简称。 数组指针&#xf…

求二叉树的高度

1 int GetHeight(BinTree BT)2 {3 int HL, HR, MaxH;4 5 if(BT)6 {7 HL GetHeight(BT->Left); //求左子树的高度8 HR GetHeight(BT->Right); //求右子树的高度9 MaxH (HL > HR) ? HL : HR; //取左右子树较大的高…

Json与List的相互转换

前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。点击跳转到教程。 问题由来&#xff1a; 最近由于做一个项目&#xff0c;项目的一个功能就是根据Listview的内容生成一个二维码&#xff0c;然后扫描二维…

机器学习常用模型

&#xff08;原作&#xff1a;MSRA刘铁岩著《分布式机器学习&#xff1a;算法、理论与实践》。这一部分叙述很清晰&#xff0c;适合用于系统整理NN知识&#xff09; 线性模型 线性模型是最简单的&#xff0c;也是最基本的机器学习模型。其数学形式如下&#xff1a;g(X;W)WTX。有…

(转)告别程序员生涯,一点感慨,与诸君共勉

转自&#xff1a;https://blog.csdn.net/phphot/article/details/2230411 再过几天&#xff0c;我就正式告别程序员生涯了&#xff0c;这也是我最后一次以职业程序员身份在CSDN发表文章。小弟谈谈入行几年来的感受&#xff0c;做一个人生阶段的自我总结&#xff0c;同时希望能…

C语言指针与数组之间的恩恩怨怨

很多初学者弄不清指针和数组到底有什么样的关系。我现在就告诉你&#xff1a;他们之间没有任何关系&#xff01;只是他们经常穿着相似的衣服来逗你玩罢了。指针就是指针&#xff0c;指针变量在32 位系统下&#xff0c;永远占4 个byte&#xff0c;其值为某一个内存的地址。指针可…