教授 博士生导师
招生学科专业:
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
性别:女
学历:南京航空航天大学
学位:工学博士学位
所在单位:计算机科学与技术学院/人工智能学院/软件学院
电子邮箱:
最后更新时间:..
点击次数:
所属单位:计算机科学与技术学院/人工智能学院/软件学院
发表刊物:计算机技术与发展
关键字:控制流错误;基本块;软件检测;结构化标签;非法跳转;
摘要:如今程序控制流错误已成为影响嵌入式计算机可靠性的主要因素之一。在现实生活中,嵌入式系统的计算机受很多因素影响(比如辐射、硬件故障、环境干扰等),从而导致程序出现控制流错误使程序不能正常运行。传统的控制流检测算法具有配置不灵活、滞后性等缺点。对此,介绍了一种针对程序控制流错误的检测方法,该方法对程序进行基本块划分,为每个基本块设置静态标签,采用后继块信息标签,与程序运行时产生的动态标签进行匹配,从而检测控制流错误。每个基本块都在起始处和结束处各进行一次检测判断,双重检测判断可较有效地检测出控制流错误,并且该方法能够在当前基本块发现控制流错误,不延迟到后面的基本块,较有效地解决了基本块间检测的滞后性问题。
是否译文:否
发表时间:2018-02-08
合写作者:姚伟
通讯作者:顾晶晶