一种C语言的指针类型分析方法

摘要

本发明公开了一种C语言的指针类型分析方法，能快速分析大规模C代码中指针变量所有可能指向的类型。本方法先将输入程序的所有C语言源代码转换并整合为LLVM IR比特码，并根据比特码中包含的类型信息初始化目标状态函数；随后遍历IR比特码中的每一条指令，根据不同的指令类型对当前的目标状态函数进行更新；本方法反复分析IR比特码中的指令直到目标状态函数不再变化为止；分析完成后，即得到完整的目标状态。