[发明专利]一种代码验证算法的选择方法、装置及存储介质

说明书

本申请适用于软件安全技术领域，提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，所述选择方法包括：将待验证代码块输入预先构建的算法选择模型进行处理，得到待验证代码块对应的目标验证算法置信度向量；其中，目标验证算法置信度向量用于描述待验证代码块对应的各个预设验证算法的得分值；根据目标验证算法置信度向量确定待验证代码块对应的目标验证算法；基于目标验证算法对待验证代码块进行验证，得到验证结果。上述选择方法不仅适用范围大，还提高了在实际软件工程中的代码验证效率。

技术领域

本申请属于软件安全技术领域，尤其涉及一种代码验证算法的选择方法、装置及计算机可读存储介质。

背景技术

软件代码验证是保证软件系统可信性的重要技术手段，在与安全攸关的软件系统(如自动列车控制系统、航空飞行控制系统等)的设计开发中有重要应用。由于用于对软件代码进行验证的代码验证算法多种多样，且各自有其适用的场景，因此，人们提出将多种代码验证算法进行融合，并根据验证场景选择合适的代码验证算法进行代码验证。

然而，现有的代码验证算法的选择方法，例如：混合模型验证工具(ConfigurableProgram Analyses-Sequential，CPA-Seq)不会考虑待验证代码的特点，使得选择的验证算法并不适合待验证代码；软件验证工具(Predicting Sequential Combinations ofVerifiers，PeSCo)难以处理数量巨大的待验证代码。也就是说，现有的代码验证算法的选择方法存在适用范围小、对代码的验证效率低的问题。

发明内容

本申请实施例提供了一种代码验证算法的选择方法、装置及计算机可读存储介质，可以解决现有的代码验证算法的选择方法存在适用范围小、对代码的验证效率低的问题。

第一方面，本申请实施例提供了一种代码验证算法的选择方法，包括：

将待验证代码块输入预先构建的算法选择模型进行处理，得到所述待验证代码块对应的目标验证算法置信度向量；其中，所述目标验证算法置信度向量用于描述所述待验证代码块对应的各个预设验证算法的得分值；

根据所述目标验证算法置信度向量确定所述待验证代码块对应的目标验证算法；

基于所述目标验证算法对所述待验证代码块进行验证，得到验证结果。

进一步的，所述将待验证代码块输入预先构建的算法选择模型进行处理之前，还包括：

获取待验证代码；

基于预设要求对所述待验证代码进行划分，得到多个待验证代码块。

进一步的，所述基于预设要求对所述待验证代码进行划分，得到多个待验证代码块之后，还包括：

基于预设规则对所述多个待验证代码块进行特征提取，得到每个待验证代码块对应的多个特征向量；

将多个所述特征向量进行融合，得到多个所述特征向量对应的目标向量；

基于预设模型对所述目标向量进行标准化处理，得到所述待验证代码块对应的标准向量；

根据多个所述待验证代码块对应的标准向量确定多个所述待验证代码块之间的相似度。

进一步的，所述将待验证代码块输入预先构建的算法选择模型进行处理，得到所述待验证代码块对应的目标验证算法置信度向量之前，还包括：

基于预设样本集和预设策略对所述神经网络模型进行训练，得到所述算法选择模型；其中，所述预设样本集中的每条样本数据均包括样本代码块和所述样本代码块对应的各个预设验证算法的历史得分值。

进一步的，所述基于所述预设样本集和预设策略对神经网络模型进行训练，得到所述算法选择模型之前，还包括：