[发明专利]操作系统中断安全隐患定位系统及其应用

摘要

本发明公开了一种操作系统中断安全隐患定位系统及其应用。所述定位系统包括调试信息处理模块，目标代码抽象模型生成模块，模型验证模块，回溯模块。该系统在操作系统中断安全隐患的定位方法中的应用为：在调试信息处理模块中提取调试信息，建立源代码及目标代码之间的对应关系；在模型生成模块中，为所得目标代码建立抽象模型，建立目标代码与模型代码之间的对应关系；在模型验证模块中，检测抽象模型中是否存在中断安全隐患；在回溯模块中，根据调试信息回溯隐患产生过程，返回错误执行路径。为了避免编译器的可能引发的错误，本发明从目标代码级别用模型检测的方法保证程序的中断安全性，通过提取基于DWARF规范的调试信息回溯安全隐患。

主权项

一种操作系统中断安全隐患定位系统，其特征在于，包括：调试信息处理模块，其对编译后生成的基于DWARF规范的调试信息文件进行信息提取；目标代码抽象模型生成模块，其为编译后的目标代码建立抽象模型；模型验证模块，其检测抽象模型中是否存在中断安全隐患；回溯模块，其根据调试信息找到隐患模型代码相对应的源代码，实现对中断安全隐患的定位，返回错误执行路径。