[发明专利]一种基于简易符号执行的二进制代码漏洞挖掘方法

摘要

本发明公开了一种基于简易符号执行的二进制代码漏洞挖掘方法，它有五大步骤；首先把二进制代码通过二进制代码翻译组件，转化为一种静态单赋值的中间语言。然后使用反汇编引擎对二进制代码进行反汇编，提取其中的控制流信息，基于该控制流信息在中间语言上进行静态的符号执行，在符号执行过程中需确认输入点，把输入向量转化为符号，并对调用函数进行建模。当符号执行过程完成后可得到依赖输入向量的中间语言的语句集合，对该集合中的语句简化后，使用安全属性规则验证后生成漏洞确认报告。

主权项

一种基于简易符号执行的二进制代码漏洞挖掘方法，其特征在于：该方法包括以下步骤：步骤A．实现反汇编引擎，提取二进制代码中的函数信息，并分析函数内的控制流信息；步骤B.实现二进制代码翻译组件，将二进制代码转化成中间语言；步骤C.确认输入点即函数的参数及子函数调用，对函数中调用的子函数进行建模；步骤D.根据步骤A，B，C中产生的结果进行符号执行，把输入作为符号，静态解释中间语言并更新每条指令执行的上下文，对于分支，需要保存当前上下文，遍历一条路径后，再恢复保存的上下文，继续执行下一条路径；步骤E.当执行到函数结束时，符号执行过程产生一些与输入相关的表达式集合，根据安全属性规则，简化、分析这些表达式最后判断是否有漏洞。