[发明专利]指令验证方法、装置及存储介质

权利要求书

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

在指令文件中确定预留指令和第一合法指令，所述预留指令的第一预设位中的值为空，所述第一合法指令中的第二预设位中的值为固定值；

生成所述预留指令对应的第一非法指令集合和所述第一合法指令对应的第二非法指令集合，所述第一非法指令集合中包括至少一个与所述预留指令对应的非法指令，所述第二非法指令集合中包括至少一个与所述第一合法指令对应的非法指令，对于所述预留指令，当所述第一预设位中的值为非空时，所述预留指令对应的指令为非法指令，对于所述第一合法指令，当所述第二预设位中的值为固定值之外的其他值时，所述第一合法指令对应的指令为非法指令；

通过处理器执行所述第一非法指令集合和所述第二非法指令集合中的非法指令的结果的异常指示，以确定所述处理器和所述指令文件的一致性结果。

2.根据权利要求1所述的方法，其特征在于，所述生成所述预留指令对应的第一非法指令集合，包括：

根据第一位数，分别将所述第一预设位中的值设置为与所述第一位数对应的第一数值范围中的每一个数值，得到所述第一非法指令集合；所述第一位数为所述第一预设位包含的位数。

3.根据权利要求1所述的方法，其特征在于，所述生成所述第一合法指令对应的第二非法指令集合，包括：

根据第二位数以及第三位数，分别将所述第二预设位中的值设置为与所述第二位数对应的第二数值范围中除所述固定值之外的每一个数值，并分别将所述第一合法指令中可变位中的值设置为与所述第三位数对应的第三数值范围中的每一个数值，得到所述第二非法指令集合，所述第二位数为所述第二预设位包含的位数，所述第三位数为所述可变位包含的位数。

4.根据权利要求1-3任一项所述的方法，其特征在于，所述通过处理器执行所述第一非法指令集合和所述第二非法指令集合中的非法指令，以确定所述处理器和所述指令文件的一致性结果，包括：

通过所述处理器执行所述第一非法指令集合和所述第二非法指令集合中的非法指令，得到所述第一非法指令集合和所述第二非法指令集合中每一个非法指令对应的处理结果；

根据所述处理结果，确定所述处理器和所述指令文件的一致性结果。

5.根据权利要求4所述的方法，其特征在于，根据所述处理结果，确定所述处理器和所述指令文件的一致性结果，包括：

若所述处理结果均包括异常指示，则确定所述一致性结果为所述处理器和所述指令文件具备指令一致性；

若所述处理结果中存在至少一条处理结果未包括异常指示，则确定所述一致性结果为所述处理器和所述指令文件不具备指令一致性。

6.一种指令验证装置，其特征在于，包括第一确定模块、生成模块和第二确定模块，其中，

所述第一确定模块用于，在指令文件中确定预留指令和第一合法指令，所述预留指令的第一预设位中的值为空，所述第一合法指令中的第二预设位中的值为固定值；

所述生成模块用于，生成所述预留指令对应的第一非法指令集合和所述第一合法指令对应的第二非法指令集合，所述第一非法指令集合中包括至少一个与所述预留指令对应的非法指令，所述第二非法指令集合中包括至少一个与所述第一合法指令对应的非法指令，对于所述预留指令，当所述第一预设位中的值为非空时，所述预留指令对应的指令为非法指令，对于所述第一合法指令，当所述第二预设位中的值为固定值之外的其他值时，所述第一合法指令对应的指令为非法指令；

所述第二确定模块用于，通过处理器执行所述第一非法指令集合和所述第二非法指令集合中的非法指令的结果的异常指示，以确定所述处理器和所述指令文件的一致性结果。

7.根据权利要求6所述的装置，其特征在于，所述生成模块具体用于：

根据第一位数，分别将所述第一预设位中的值设置为与所述第一位数对应的第一数值范围中的每一个数值，得到所述第一非法指令集合；所述第一位数为所述第一预设位包含的位数。