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

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

交易价格: 面议

类型: 发明专利

技术成熟度: 正在研发

专利所属地:中国

专利号:CN201710137147.9

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

联系人: 南京邮电大学

所在地:江苏南京市

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

技术详细介绍

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

Copyright © 2018    宁夏回族自治区生产力促进中心    版权所有    宁ICP备11000235号-3    宁公网安备 64010402000776号

网站访问量:               网站在线人数:0              技术支持:科易网