基于结构特征的二进制代码安全缺陷分析模型

摘要

针对现有方法检测复杂结构二进制代码安全缺陷的不足,提出新的分析模型,并给出其应用方法.首先以缺陷的源代码元素集合生成特征元素集合,抽取代码结构信息,构建分析模型.然后依据各类中间表示(IR,intermediate representation)语句的统计概率计算分析模型,查找满足特征模型的IR代码组,通过IR代码与二进制代码的转换关系,实现对二进制程序中代码安全缺陷的有效检测.分析模型可应用于二进制单线程程序和并行程序.实验结果表明,相对于现有方法,应用该分析模型能够更全面深入地检测出各类结构复杂的二进制代码安全缺陷,且准确率更高.