科技计划:
成果形式:新技术
合作方式:技术转让、技术咨询
参与活动:
专利情况:
正在申请 ,其中:发明专利 0 项
已授权专利,其中:发明专利 0 项
成果简介
成果概况
C语言内存泄露修复工具是一个可以自动发现和修复C语言中内存泄露的工具。在航空航天,高铁动车等安全攸关系统中,对软件的质量有非常高的要求,软件的任何一点微小的错误都可能导致灾难性的后果。软件错误中的一个典型种类就是内存泄露错误。因为其难以发现,长期危害大等特点,内存泄露一直是安全攸关软件测试和调试的难点。
现在虽然有一些静态分析工具可以通过分析发现程序中的内存泄露,但在发现之后,进一步修复内存泄露仍然非常困难。在实践中,因为修复的难度而放弃的修复的事情时有发生,为社会生产和人民生活埋下了安全隐患。
本项目设计了一个自动的C语言内存泄露自动修复工具,可以自动发现和修复C语言程序中的内存泄露,并能完全保证所进行的修复的正确性,显著降低程序员查找和修复内存的工作量。
创新要点
尽管市场上有大量缺陷查找工具,对于重要的内存修复缺陷,现在的工具只能报告缺陷的位置,不能自动进行修复。本工具就填补了这一空缺,不但准确的查找出有内存泄露的代码,并且能自动地修复缺陷。
主要技术指标
该工具的实现技术已经申请专利,并已由国家知识产权局受理。
其他说明
本工具可以应用在航空航天、高铁控制系统、核电站控制系统等安全攸关领域的软件开发中。
完成人信息
姓名:对接成功后可查看
所在部门:对接成功后可查看
职务:对接成功后可查看
职称:对接成功后可查看
手机:对接成功后可查看
E-mail:对接成功后可查看
电话:对接成功后可查看
传真:对接成功后可查看
邮编:对接成功后可查看
通讯地址:对接成功后可查看
联系人信息
姓名:对接成功后可查看
所在部门:对接成功后可查看
职务:对接成功后可查看
职称:对接成功后可查看
手机:对接成功后可查看
E-mail:对接成功后可查看
电话:对接成功后可查看
传真:对接成功后可查看
邮编:对接成功后可查看
通讯地址:对接成功后可查看
附件