[00287387]一种基于程序切片的不可达路径检测方法
交易价格：
面议
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201510051325.7
交易方式：
完全转让
许可转让
技术入股
联系人：
南京邮电大学
所在地：江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其转换成为LLVM中间表示，然后分别对其进行静态程序切片和动态程序切片。由于静态程序切片对程序的输入不做任何假设，所做的分析完全以程序的静态信息为依据，所以会把不可达路径包含到切片结果中。然而对于动态程序切片，它关注的是在某个特定输入下执行的路径行为，而不会关注变量所有可能的输入导致的路径行为，因此动态切片的结果往往不会含有不可达路径。通过将静态程序切片与动态程序切片相结合，可以检测程序中的不可达路径，从而提高软件的测试效率。
微信公众号
