基于图匹配的LLVM中间语言差分分析方法及系统

摘要

本发明公开了一种基于图匹配的LLVM中间语言差分分析方法及系统，包括：收集并编译两个版本源代码，获取两个版本源代码的待匹配LLVM中间代码；根据待匹配LLVM中间代码进行函数匹配得到待匹配函数对，依据函数的哈希值对未改动的函数对进行过滤，以获得发生改动的函数对；确定发生改动的函数对中的敏感指令；获取并静态分析发生改动的函数对的程序控制流图，依据静态分析结果对程序控制流图进行基本块的细粒度划分；依据细粒度划分结果，对发生改动的函数对中包含敏感指令的基本块进行匹配后，再对剩下的基本块进行匹配，最终得到所有匹配的基本块对；对匹配的基本块对进行指令序列对比，以确认删除指令、增加指令。