X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
关于我们 | 帮助中心
欢迎来到天长市科技大市场,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
成果 专家 院校 需求
当前位置: 首页 >  科技成果  > 详细页

[00005615]一种基于程序切片技术的C语言死代码检测方法

交易价格: 面议

所属行业: 分析仪器

类型: 发明专利

技术成熟度: 正在研发

专利所属地:中国

专利号:CN201710137147.9

交易方式: 完全转让 许可转让 技术入股

联系人: 邱老师

进入空间

所在地: 江苏南京市

服务承诺
产权明晰
资料保密
对所交付的所有资料进行保密
如实描述

技术详细介绍

本发明公开一种基于程序切片技术的C语言死代码检测方法,主要包括步骤将源代码中的输出语句与所述输出语句中的变量集合组成切片准则,对源代码分别进行静态后向程序切片分析和动态后向程序切片分析,得到的分析结果经对比,得出是否存在死代码的结论。本发明能够有效的检测出C语言代码中包含的死代码语句,同时提高了检测的准确率和效率。

推荐服务:

Copyright  ©  2019    天长市科技大市场    版权所有

地址:滁州高新区经三路

皖ICP备2023004467