[发明专利]一种程序检测方法及装置

摘要

本发明实施例公开了一种程序检测方法及装置，所述方法包括：预先对网络节点中运行的程序设置第一动态标签和第二动态标签，且所述程序预先被划分为多个基本块，每一基本块被设置有第一静态标签和第二静态标签，同时对下发的无线控制指令设置指令标签，进而，在响应无线控制指令的过程中，执行任一基本块时，基于两种静态标签和第一动态标签来判断是否出现属于节点内部错误类型的控制流错误，进一步的，在执行特殊基本块时，基于第二动态标签和指令标签还可以判断是否出现属于通信错误类型的控制流错误。应用本发明实例可有效检测网络节点中的程序在响应无线控制指令过程中所发生的控制流错误。

主权项

一种程序检测方法，其特征在于，应用于无线通信网络中的网络节点；所述方法包括：网络节点中运行的程序接收其他网络节点下发的无线控制指令，其中，所述程序预先被设置有第一动态标签，所述程序由n个基本块构成，每一基本块被设置有第一静态标签和第二静态标签，所述第一静态标签为用于标识当前基本块的信息且属于n+1位的二进制数据的第一数据值，所述第二静态标签为用于标识当前基本块的后继基本块的信息且属于n+1位的二进制数据的第二数据值，所述第一动态标签为属于n+1位的二进制数据的第三数据值且初始化时全置为1，当前基本块的后继基本块为：程序执行过程中当前基本块相邻的下一基本块；在执行第一基本块的入口指令之前，将所述第一基本块的第一静态标签和当前的第一动态标签进行逻辑与运算，得到第一类运算结果，所述第一基本块为所述程序中n个基本块中的与响应所接收到的指令相关的任一基本块；判断所述第一类运算结果是否为0，如果是，确定所述程序出现属于节点内部错误类型的控制流错误，否则，根据所述第一类运算结果更新当前的第一动态标签；在执行所述第一基本块的出口指令之前的预定位置的指令之前，将当前的第二动态标签和当前的第一动态标签进行逻辑或运算，得到第二类运算结果，根据所述第二类运算结果更新当前的第二动态标签，其中，所述第二动态标签为预先为所述程序设置的，且所述第二动态标签为属于n+1位的二进制数据的第四数据值且初始化时全置为0；在执行所述第一基本块的出口指令之前，判断所述第一基本块是否为特殊基本块，如果判断出所述第一基本块为特殊基本块，则判断当前的第二动态标签是否等于所述第一基本块的指令标签，若否，确定所述程序出现属于通信错误类型的控制流错误，若是，在执行完出口指令后初始化当前的第二动态标签，其中，所述特殊基本块为用于执行动作的基本块，所述指令标签用于预存其他网络节点所下发的所述无线控制指令在程序中执行到最终输出时所经历路径，伴随所述无线控制指令的到来而插入到基本块中，且属于n+1位的二进制数据的第五数据值；当执行完毕所述第一基本块的出口指令时，判断所述第一基本块是否为与所述无线控制指令相关的最后一个基本块，如果是，初始化当前的第一动态标签，如果否，根据所述第一基本块的第二静态标签更新当前的第一动态标签，并将所述无线控制指令所关联的基本块中的下一基本块作为第一基本块，继续执行所述在执行第一基本块的入口指令之前，将所述第一基本块的第一静态标签和当前的第一动态标签进行逻辑与运算，得到第一类运算结果的步骤。