[00005608]一种基于程序切片的不可达路径检测方法
技术详细介绍
本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其转换成为LLVM中间表示，然后分别对其进行静态程序切片和动态程序切片。由于静态程序切片对程序的输入不做任何假设，所做的分析完全以程序的静态信息为依据，所以会把不可达路径包含到切片结果中。然而对于动态程序切片，它关注的是在某个特定输入下执行的路径行为，而不会关注变量所有可能的输入导致的路径行为，因此动态切片的结果往往不会含有不可达路径。通过将静态程序切片与动态程序切片相结合，可以检测程序中的不可达路径，从而提高软件的测试效率。
