计算机技术与发展2018，Vol.28Issue(5)：13-16,4.DOI:10.3969/j.issn.1673-629X.2018.05.004
一种基于标签的程序控制流错误检测方法
A Method of Programmed Control Flow Error Detection Based on Structured Labels
摘要
Abstract
Now program control flow error has become one of the main factors that affect the reliability of embedded computer.In real life,the embedded system of the computer is affected by many factors (such as radiation,hardware failure,environmental interference, etc.),resulting in the program control flow error so that the program cannot run properly.The traditional control flow detection algorithm has the disadvantages of poor configuration and hysteresis.For this,we present a method of detecting the error of program control flow, which divides the program into basic blocks,sets static tags for each of them,and uses subsequent blocks of information to match the dy-namic tags generated when the program runs for detection of control flow error.Each of the basic blocks is subjected to a detection judg-ment at the beginning and at the end,and the double detection judgment can detect the control flow error more efficiently.The method can find that the control flow is erroneous in the current basic block and is not delayed until the basic block,which is more effective solution to the basic block between the detection of hysteresis.关键词
控制流错误/基本块/软件检测/结构化标签/非法跳转Key words
control flow errors/basic blocks/software detection/structured tags/illegal jumps分类
信息技术与安全科学引用本文复制引用
姚伟,顾晶晶..一种基于标签的程序控制流错误检测方法[J].计算机技术与发展,2018,28(5):13-16,4.基金项目
国家自然科学基金面上项目(61572253) （61572253）
航空基金项目(2016ZC52030) （2016ZC52030）
