公开(公告)号：CN101339519A

公开(公告)日：2009-01-07

申请号：CN200810136914.5

申请日：2008-08-13

Applicant: 哈尔滨工程大学

Inventor： 吴艳霞 ,  顾国昌 ,  沈晶 ,  刘海波 ,  王克慧

IPC: G06F9/45 ,  G06F11/00

CPC classification number: Y02D10/41

Abstract: 本发明是一种面向嵌入式微处理器的软硬结合控制流检测方法。首先将待运行的C语言程序生成标准汇编文件，其次采用词法分析的方法将汇编文件中包含的用户库和系统库函数连接为一整合汇编文件，采用词法分析的方法通过签名生成程序将整合后的汇编文件进行基本块划分，分析基本块间控制流关系，对各个基本块进行签名，形成新的带有控制流检测数据的汇编文件，再通过修改后的汇编器将汇编文件翻译为目标文件，再由链接器将目标文件转化为二进制映像文件，最后将二进制文件运行到具有控制流检测能力的嵌入式微处理器上。本发明平均冗余代码开销为12％，同基于硬件实现的控制流检测方法相比具有更简单的实现和更高的控制流检测能力，系统未检测率平均仅为1.5％，降低系统运行功耗。

公开(公告)号：CN101339519B

公开(公告)日：2011-09-14

申请号：CN200810136914.5

申请日：2008-08-13

Applicant: 哈尔滨工程大学

Inventor： 吴艳霞 ,  顾国昌 ,  沈晶 ,  刘海波 ,  王克慧

IPC: G06F9/45 ,  G06F11/00

CPC classification number: Y02D10/41

Abstract: 本发明是一种面向嵌入式微处理器的软硬结合控制流检测方法。首先将待运行的C语言程序生成标准汇编文件，其次采用词法分析的方法将汇编文件中包含的用户库和系统库函数连接为一整合汇编文件，采用词法分析的方法通过签名生成程序将整合后的汇编文件进行基本块划分，分析基本块间控制流关系，对各个基本块进行签名，形成新的带有控制流检测数据的汇编文件，再通过修改后的汇编器将汇编文件翻译为目标文件，再由链接器将目标文件转化为二进制映像文件，最后将二进制文件运行到具有控制流检测能力的嵌入式微处理器上。本发明平均冗余代码开销为12％，同基于硬件实现的控制流检测方法相比具有更简单的实现和更高的控制流检测能力，系统未检测率平均仅为1.5％，降低系统运行功耗。