一种基于LLVM的变量类型信息修复与比较方法及系统

摘要

本发明公开了一种基于LLVM的变量类型信息修复与比较方法和系统，包括变量类型信息修复分析和变量类型比较分析；其中变量类型信息修复分析包括将目标程序源代码编译到LLVM IR、目标变量提取、LLVM IR变量类型与源代码信息匹配、类型分析结果存储。变量类型信息修复分析和变量类型比较分析通过两个的LLVM分析流实现，且变量类型比较分析结果应用了变量类型信息修复分析结果。该方法和系统可以解决前LLVM IR中存在类型信息缺失和/或联合体类型相关类型导致无法进行类型比较分析以及比较分析不准确的问题。