结合系统结构特征的系统软件安全脆弱性静态检测方法研究

安全脆弱性（又称安全漏洞）是绝大多数安全事件的根本起因，其中又以系统软件中存在的安全脆弱性影响最为严重。采取主动的方式发现并修补安全脆弱性是根本的解决办法。基于静态检测的安全脆弱性发掘是近年来国际上的热点研究领域，目前存在的主要问题是：检测模型主要基于一般化的安全脆弱性模式匹配，无差异化地处理各种类型软件系统，缺乏对脆弱性激发等关键检测条件的覆盖，误报率较高；对目标系统的多态性语义特征支持不足，难以检测出复杂系统中隐藏较深的安全脆弱性。为此，本项目拟着眼于影响性最大的操作系统、数据库管理系统等系统软件，从系统结构特征角度探讨差异化的安全脆弱性静态检测方法，构建引入结构特征的静态脆弱性检测模型和与之相适应的检测算法和模式，以覆盖完整的安全脆弱性机理要素，并通过对冗余检测搜索空间的裁减，引入流敏感性函数调用分析等深层次搜索机制，最终建立一个具有较高精确度和检测深度的系统软件脆弱性静态检测方法。