[00005615]一种基于程序切片技术的C语言死代码检测方法
交易价格:
面议
所属行业:
分析仪器
类型:
发明专利
技术成熟度:
正在研发
专利所属地:中国
专利号:CN201710137147.9
交易方式:
完全转让
许可转让
技术入股
联系人:
邱老师
进入空间
所在地:
江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明公开一种基于程序切片技术的C语言死代码检测方法,主要包括步骤将源代码中的输出语句与所述输出语句中的变量集合组成切片准则,对源代码分别进行静态后向程序切片分析和动态后向程序切片分析,得到的分析结果经对比,得出是否存在死代码的结论。本发明能够有效的检测出C语言代码中包含的死代码语句,同时提高了检测的准确率和效率。