公开(公告)号：CN107038084B

公开(公告)日：2021-04-13

申请号：CN201610075249.8

申请日：2016-02-03

Applicant: 北京邮电大学

Inventor： 张洪光 ,  王卫民 ,  周至捷 ,  吴帆 ,  范文浩 ,  刘元安 ,  袁东明

IPC: G06F11/07

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

公开(公告)号：CN107038084A

公开(公告)日：2017-08-11

申请号：CN201610075249.8

申请日：2016-02-03

Applicant: 北京邮电大学

Inventor： 张洪光 ,  王卫民 ,  周至捷 ,  吴帆 ,  范文浩 ,  刘元安 ,  袁东明

IPC: G06F11/07 ,  H04W12/04

CPC classification number: G06F11/0736 ,  H04W12/04

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