[发明专利]一种验证方法及装置、用于验证的装置、服务器和终端

权利要求书

1.一种验证方法，其特征在于，包括：

获取验证密文算法代码所需的目标数据，所述目标数据包括：密文算法代码和密文算法代码对应的计算数据；

对所述密文算法代码进行合规性检测，所述合规性检测用于检测所述密文算法代码中的不合规代码，所述不合规代码包括语法准确但语义上泄漏数据信息的代码；

若所述密文算法代码通过所述合规性检测，则运行所述密文算法代码对所述计算数据进行对应的明文计算；

根据所述密文算法代码的运行结果，展示对应的算法代码验证结果。

2.根据权利要求1所述的方法，其特征在于，在所述对所述密文算法代码进行合规性检测之后，所述的方法还包括：

若所述密文算法代码未通过所述合规性检测，则生成合规性检测结果并展示。

3.根据权利要求1所述的方法，其特征在于，所述对所述密文算法代码进行合规性检测，包括：

生成所述密文算法代码对应的抽象语法树，所述抽象语法树包括多个节点，所述节点包括算术运算节点；

以及识别出所述密文算法代码所包含的全部变量，并确定所述密文算法代码中各变量对应的类型信息；

遍历所述密文算法代码对应的抽象语法树，从所述抽象语法树的算术运算节点中查找待进行合规性检测的目标算术运算节点；

依次判断各目标算术运算节点是否满足预设的合规性检测条件。

4.根据权利要求3所述的方法，其特征在于，所述类型信息包括：密文类型和明文类型，所述确定所述密文算法代码中各变量对应的类型信息，包括：

遍历所述抽象语法树，查找所述密文算法代码中通过执行特定接口进行赋值的预设变量，并将所述预设变量的类型信息确定为密文类型；以及

根据密文计算特性和预设变量的类型信息，推导所述抽象语法树中其他变量的类型信息，其中，所述其他变量为密文算法代码中除预设变量之外的变量。

5.根据权利要求4所述的方法，其特征在于，所述根据密文计算特性和预设变量的类型信息，推导所述语法树中其他变量的类型信息，包括：

针对每个算术运算节点，确定参与所述算术运算节点对应算术运算的参与对象，以及确定经过所述算术运算节点进行算术运算得到的运算结果对应的结果变量；

若所述算术运算节点的参与对象中，存在至少一个对应类型信息为密文类型的参与对象，则确定所述算术运算节点的结果变量对应的类型信息为密文类型。

6.根据权利要求3所述的方法，其特征在于，所述预设的合规性检测条件包括：参与对象对应的预设类型信息；

所述依次判断各目标算术运算节点是否满足预设的合规性检测条件，包括：

针对每个目标算术运算节点，确定参与所述目标算术运算节点对应算术运算的目标参与对象，以及确定所述目标参与对象对应的类型信息；

通过将所述目标参与对象的类型信息与所述合规性检测条件中参与对象对应的预设类型信息进行比对，判断所述目标算术运算节点是否满足预设的合规性检测条件。

7.根据权利要求1所述的方法，其特征在于，所述根据所述密文算法代码的运行结果，展示对应的算法代码验证结果，包括：

当密文算法代码运行错误时，停止运行所述密文算法代码，以及生成对应的验证错误信息并展示。

8.根据权利要求1所述的方法，其特征在于，所述根据所述密文算法代码的运行结果，展示对应的算法代码验证结果，包括：

当密文算法代码正常运行结束后，展示所述密文算法代码对所述计算数据进行对应的明文计算得到的运算结果。