基于控制流和数据流分析的MIPS架构漏洞挖掘方法

摘要

本发明提供一种基于控制流和数据流分析的MIPS架构漏洞挖掘方法，所述方法包括：基于回溯层级，确定潜在危险函数；将所述潜在危险函数转化为控制流图，每个所述潜在危险函数对应一个所述控制流图；设置基于vex语言的污点检验规则；判断从所述污点引入函数到所述漏洞触发函数是否存在可达路径，若存在可达路径，则对所述污点引入函数参数进行标记；通过数据流分析，检测漏洞触发函数的参数是否带有污点标记。根据本发明的方法，高效、准确、低人工干预的MIPS架构物联网漏洞挖掘，能够检测物联网设备二进制程序中存在的缓冲区溢出和命令注入风险的函数，降低分析过程的复杂性。