控制流校验方法、装置、设备及存储介质与流程

技术特征：
1.一种控制流校验方法，其特征在于，所述方法包括：当程序跳转到当前代码块时，获取前一代码块的静态签名及监督码；根据当前代码块的调整码与前一代码块的监督码，执行校验运算，并根据校验运算结果判断是否发生控制流错误；若校验通过，则根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误；其中，代码块的静态签名为互不相同的素数；代码块的调整码为所述代码块的静态签名与所述代码块在目标顺序中的前一代码块的静态签名的乘积，所述目标顺序为代码块的序号标识由小到大首尾排列顺序。2.根据权利要求1所述的方法，其特征在于，根据校验运算生成所述当前代码块的监督码，包括：将当前代码块的调整码与前一代码块的监督码的商作为所述当前代码块的监督码。3.根据权利要求1所述的方法，其特征在于，所述根据校验运算结果判断是否发生控制流错误，包括：当所述当前代码块的调整码可以被前一代码块的监督码整除时，校验通过；当所述当前代码块的调整码不能被前一代码块的监督码整除时，所述控制流跳转错误。4.根据权利要求1所述的方法，其特征在于，所述根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误，包括：当所述监督码与所述当前代码块的静态签名相等时，所述控制流跳转正确；当所述监督码与所述当前代码块的静态签名不相等时，所述控制流跳转错误。5.根据权利要求1所述的方法，其特征在于，所述方法还包括：将程序划分成多个顺序执行的代码模块，为每个代码模块设置静态签名及调整码。6.一种控制流校验装置，包括：获取模块，用于当程序跳转到当前代码块时，获取前一代码块的静态签名及监督码；判断模块，用于根据当前代码块的调整码与前一代码块的监督码，执行校验运算，并基于校验运算结果判断是否发生控制流错误；所述判断模块，还用于校验通过后，根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误；其中，代码块的静态签名为互不相同的素数；代码块的调整码为所述代码块的静态签名与所述代码块在目标顺序中的前一代码块的静态签名的乘积，所述目标顺序为代码块的序号标识由小到大首尾排列顺序。7.根据权利要求6所述的装置，其特征在于，所述判断模块还用于当所述当前代码块的调整码可以被前一代码块的监督码整除时，校验通过；当所述当前代码块的调整码不能被前一代码块的监督码整除时，判断控制流跳转错误。8.根据权利要求6所述的装置，其特征在于，所述判断模块还用于当所述监督码与所述当前代码块的静态签名相等时，判断控制流跳转正确；当所述监督码与所述当前代码块的静态签名不相等时，判断控制流跳转错误。9.一种电子设备，包括存储器和处理器，所述存储器上存储有计算机程序，其特征在
于，所述处理器执行所述计算机程序时实现如权利要求1～5中任一项所述的方法。10.一种计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1～5中任一项所述的方法。

技术总结
本公开的实施例提供了控制流校验方法、装置、设备及存储介质。所述方法包括当程序跳转到当前代码块时，获取前一代码块的静态签名及监督码；根据当前代码块的调整码与前一代码块的监督码，执行校验运算，并根据校验运算的结果判断是否发生控制流错误；若校验通过，则根据校验运算生成的所述当前代码块的监督码与所述当前代码块的静态签名，判断是否发生控制流错误；其中，代码块的静态签名为互不相同的素数；代码块的调整码为所述代码块的静态签名与所述代码块在目标顺序中的前一代码块的静态签名的乘积，所述目标顺序为代码块的序号标识由小到大首尾排列顺序。以此方式，可以实现对程序在各控制节点间跳转次序的监督，且准确检出控制流错误。检出控制流错误。检出控制流错误。


技术研发人员：薛冰 徐大鹏 张锋瑞
受保护的技术使用者：交控科技股份有限公司
技术研发日：2021.11.16
技术公布日：2022/2/24