二进制程序安全缺陷静态分析方法的研究综述  

Survey of Static Analysis Methods for Binary Code Vulnerability

作　　者：田硕[1] 梁洪亮[1] 

机构地区：[1]中国科学院软件研究所,北京100190

出　　处：《计算机科学》2009年第7期8-14,共7页Computer Science

基　　金：863计划重点项目(2007AA010601);国家自然科学基金(60673022);北京市科委项目(Z08000102000801)资助

摘　　要：对现有二进制程序安全缺陷静态分析方法进行了综述和分析,提出了整个程序分析过程中的关键问题以及二进制程序安全分析的主要研究方向。通过对二进制程序缺陷静态分析流程的总结,发现二进制程序信息恢复是整个分析过程的关键,构造内容丰富的、通用的中间表示是二进制程序缺陷分析的重要研究方向。A survey of static analysis methods for binary code vulnerabilities was provided. Based on summing up existing static detect methods for vulnerabilities, the general procedural of binary static analysis was modeled, and transforming program information into expressive and generic intermediate representation was regarded as the key component of the analysis and as a important research direction.

关 键 词：二进制程序 静态分析 安全缺陷 中间表示 反汇编 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]