基于XML的面向二进制漏洞模式形式化描述研究

摘要：

研究人员通过深入分析大量已公开漏洞的触发成因,将存在安全缺陷的代码抽象为漏洞模式.二进制静态漏洞挖掘技术的核心思想,就是在对二进制程序反汇编得到汇编代码的基础上,以漏洞模式为指导进行安全缺陷检测.文章对缓冲区溢出漏洞、数组越界漏洞、写污点值到污点地址漏洞模式进行了总结,并使用XML对漏洞模式作了形式化描述.

关键词：二进制、静态漏洞挖掘、漏洞模式、XML

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2012-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：21-24