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

Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Journal:计算机技术与发展

Key Words:控制流错误;基本块;软件检测;结构化标签;非法跳转;

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

Translation or Not:no

Date of Publication:2018-02-08

Co-author:姚伟

Correspondence Author:gujingjing