一种基于标签的程序控制流错误检测方法

来源：计算机技术与发展杂志2018年第05期北京时间：

作者：姚伟;顾晶晶

摘要：如今程序控制流错误已成为影响嵌入式计算机可靠性的主要因素之一。在现实生活中，嵌入式系统的计算机受很多因素影响(比如辐射、硬件故障、环境干扰等)，从而导致程序出现控制流错误使程序不能正常运行。传统的控制流检测算法具有配置不灵活、滞后性等缺点。对此，介绍了一种针对程序控制流错误的检测方法，该方法对程序进行基本块划分，为每个基本块设置静态标签，采用后继块信息标签，与程序运行时产生的动态标签进行匹配，从而检测控制流错误。每个基本块都在起始处和结束处各进行一次检测判断，双重检测判断可较有效地检测出控制流错误，并且该方法能够在当前基本块发现控制流错误，不延迟到后面的基本块，较有效地解决了基本块间检测的滞后性问题。

关键词：控制流错误;基本块;软件检测;结构化标签;非法跳转