[发明专利]基于路径簇规约的并行符号执行方法

摘要

本发明涉及一种基于程序符号执行路径簇划分的计算机软件安全性测试方法。一种基于路径簇规约的并行符号执行方法，将被测可执行程序进行反汇编；得到被测可执行程序的汇编代码，并转换为统一的中间汇编语言形式；然后根据中间汇编语言形式生成被测可执行程序的函数调用图和控制流图；通过对函数调用图的静态分析，找到危险函数和输入函数；分别建立“程序进入点、调用输入函数、调用危险函数、程序结束点”两两之间的路径，并归约成路径簇；将得到的路径簇进行点到点的连接形成“程序进入点→程序结束点”的完整路径簇链集合；以前述步骤形成的“程序进入点→程序结束点”一个完整路径簇链作为一个负载单位，生成相应的测试用例进行实际程序安全测试。

主权项

一种基于路径簇规约的并行符号执行方法，其特征是：包括下述步骤：1）使用反汇编工具将被测可执行程序进行反汇编，得到被测可执行程序的汇编代码；2）将所述汇编代码转换为统一的中间汇编语言形式，以屏蔽底层具体汇编语言的差异；3）根据中间汇编语言形式，生成被测可执行程序的函数调用图和控制流图；4）定义危险函数特征，通过对函数调用图的静态分析，找到危险函数；5）定义输入函数特征，通过对函数调用图的静态分析，找到输入函数；6）分别建立“程序进入点→调用输入函数”，“调用输入函数→调用危险函数”，“调用危险函数→程序结束点” 两两之间的路径，并归约成路径簇；7）将步骤6）的3组路径簇进行点到点的连接，形成“程序进入点→程序结束点”的完整路径簇链集合，形成覆盖输入函数和危险函数的完整程序执行路径；8）以步骤7）形成的“程序进入点→程序结束点”一个完整路径簇链作为一个负载单位，分配到不同的分布式测试节点，生成相应的测试用例进行实际程序安全测试。