您所在的位置:首页 > 平台业务 > 高校科研成果池 > 商品
C语言内存泄漏自动修复工具

C语言内存泄漏自动修复工具

成果简介

C语言内存泄露修复工具是一个可以自动发现和修复C语言中内存泄露的工具。在航空航天,高铁动车等安全攸关系统中,对软件的质量有非常高的要求,软件的任何一点微小的错误都可能导致灾难性的后果。软件错误中的一个典型种类就是内存泄露错误。因为其难以发现,长期危害大等特点,内存泄露一直是安全攸关软件测试和调试的难点。

现在虽然有一些静态分析工具可以通过分析发现程序中的内存泄露,但在发现之后,进一步修复内存泄露仍然非常困难。在实践中,因为修复的难度而放弃的修复的事情时有发生,为社会生产和人民生活埋下了安全隐患。

本项目设计了一个自动的C语言内存泄露自动修复工具,可以自动发现和修复C语言程序中的内存泄露,并能完全保证所进行的修复的正确性,显著降低程序员查找和修复内存的工作量。

项目创新来源于以下项目:《对象模型上交互式修复生成技术研究》,国家自然科学基金青年基金,2013.1-2015.12;《软件分析与测试》,国家自然科学基金杰出青年基金,2013.1-2015.12

商品编号:C语言内存泄漏自动修
商品型号:C语言内存泄漏自动修
人 气:44

标 签:C语言内存泄漏自动修复工具
商品介绍

应用范围

本工具可以应用在航空航天、高铁控制系统、核电站控制系统等安全攸关领域的软件开发中。由于安全攸关软件的质量至关重要,安全攸关软件的开发团队长期投入大量的资金来提高软件质量。又由于安全攸关软件使用的广阔性,比如航空航天等高精尖产业,动车高铁等运输产业,核电等生产行业都大量使用软件来控制系统核心部件,对软件缺陷查找与修复工具的需求形成了一个巨大的市场。由于该市场技术密集的特色,长期是各发达国家的尖端技术公司争夺之地。该领域典型的公司和产品包括美国IBM公司的 Rational Software Analyzer,加拿大Klocwork公司的Insight,美国Vmware公司的Pattern Insight等等。

如前所述,尽管市场上有大量缺陷查找工具,对于重要的内存修复缺陷,现在的工具只能报告缺陷的位置,不能自动进行修复。本工具就填补了这一空缺,不但准确的查找出有内存泄露的代码,并且能自动地修复缺陷。

由于本工具和市场上原有产品的互补特性,本工具和这些产品不构竞争,而是作为这些工具的重要补充:开发人员可以首先运行我们的工具来自动地检测和修复内存泄露,然后对于剩下我们工具无法检测和修复的泄露,运行其他产品进行查找和手动修复。

技术水平

该工具的实现技术已经申请专利,并已由国家知识产权局受理。

研究所处阶段

未来三年内,我们计划继续在研究上进一步发展工具,使得工具的内存泄露修复率得到进一步显著提高。同时积极为工具寻找市场转化的机会。

目前工具的研发主要由科研经费支持。

投资与成本估算,效益分析

目前暂无融资和市场化运营计划,项目的推广更希望以技术转让和技术咨询的方式进行。

本文网址:http://www.cscip.cn/gaoxiaokeyanchengguochi/584.html
平台业务
更多>>联系我们

协同创新平台

联系人:杨周静
电 话:0731-88830520 
传 真:0731-88830520 
Q    Q:524434209
地 址:长沙岳麓区麓山南路932号中南大学法学院