[发明专利]基于符号执行的路径搜索方法、装置以及存储介质

权利要求书

1.一种基于符号执行的路径搜索方法，包括：

采用基于代的路径遍历算法对被测试程序进行路径搜索，用以获得与所述被测试程序相对应的各个代的可执行路径；

基于预设的路径优化函数以及路径选择规则在所述可执行路径中确定可供选择路径；

对各个代的可供选择路径进行分束处理，生成捆绑束；

基于与所述可供选择路径相对应的束内系数和束外系数，对所述捆绑束以及所述捆绑束内的可供选择路径进行排序处理；

将所述捆绑束内的可供选择路径以及对应的路径约束输出至求解器，以使所述求解器生成新的输入。

2.如权利要求1所述的方法，所述路径优化函数包括：敏感函数、捆绑函数和表征后续有无分支或者循环的函数；其中，所述基于预设的路径优化函数以及路径选择规则在所述可执行路径中确定可供选择路径包括：

基于所述路径优化函数计算所述可执行路径的权重；

基于所述路径选择规则在所述可执行路径中选取权重大于预设阈值的可执行路径，作为所述可供选择路径。

3.如权利要求2所述的方法，其中，

所述路径优化函数为：

f(x)＝g(x)+β/αj(x)+θk(x)；

其中，g(x)是指敏感函数；ɑ是指可供选择路径所在的捆绑束的系数，α2^i-1，i为可供选择路径的当前代数；j(x)捆绑函数，β是指可供选择路径在捆绑束内的层级权重系数；k(x)是指表征后续有无分支或者循环的函数，θ是指循环的复杂度。

4.如权利要求3所述的方法，其中，所述束外系数为所述ɑ，所述束内系数为所述β；所述基于与所述可供选择路径相对应的束内系数和束外系数，对所述捆绑束以及所述捆绑束内的可供选择路径进行排序处理包括：

基于β/ɑ对各个代的捆绑束进行排序；

基于β对所述捆绑束内的可供选择路径进行排序。

5.如权利要求3所述的方法，所述将所述捆绑束内的可供选择路径以及对应的路径约束输出至求解器包括：

获取所述捆绑束内权重最高的可供选择路径以及对应的路径约束输出至求解器。

6.如权利要求5所述的方法，还包括：

如果确定此权重最高的可供选择路径在求解之后出现异常，则将此权重最高的可供选择路径所属的捆绑束的排序调整至最前；

如果此权重最高的可供选择路径不通，则将此权重最高的可供选择路径从所属的捆绑束中删除。

7.一种基于符号执行的路径搜索装置，包括：

路径获取单元，用于采用基于代的路径遍历算法对被测试程序进行路径搜索，用以获得与所述被测试程序相对应的各个代的可执行路径；

路径优化单元，用于基于预设的路径优化函数以及路径选择规则在所述可执行路径中确定可供选择路径；

捆绑分束单元，用于对各个代的可供选择路径进行分束处理，生成捆绑束；

排序处理单元，用于基于与所述可供选择路径相对应的束内系数和束外系数，对所述捆绑束以及所述捆绑束内的可供选择路径进行排序处理；

路径求解单元，用于将所述捆绑束内的可供选择路径以及对应的路径约束输出至求解器，以使所述求解器生成新的输入。

8.如权利要求7所述的装置，所述路径优化函数包括：敏感函数、捆绑函数和表征后续有无分支或者循环的函数；

所述路径优化单元，用于基于所述路径优化函数计算所述可执行路径的权重；基于所述路径选择规则在所述可执行路径中选取权重大于预设阈值的可执行路径，作为所述可供选择路径。

9.如权利要求8所述的装置，其中，

所述路径优化函数为：

f(x)＝g(x)+β/αj(x)+θk(x)；

其中，g(x)是指敏感函数；ɑ是指可供选择路径所在的捆绑束的系数，α2^i-1，i为可供选择路径的当前代数；j(x)捆绑函数，β是指可供选择路径在捆绑束内的层级权重系数；k(x)是指表征后续有无分支或者循环的函数，θ是指循环的复杂度。