基于静态分析的二进制程序数据类型图谱建构和查询方法

本发明公开一种基于静态分析的二进制程序数据类型图谱建构和查询方法，属于计算机应用技术领域。数据类型图谱建构方法包括：分析二进制程序，生成数据定义使用访问图；基于数据定义使用访问图，生成二进制程序中每一参数、返回值和局部变量的变量生命周期图；从每个变量生命周期图提炼出存储单元访问点之间的类型子类关系和第一类型等价关系；分析二进制程序里的指令，建立存储单元访问点之间的第二类型等价关系和类型衍生关系；基于存储单元访问点之间的类型子类关系、第一类型等价关系、第二类型等价关系和类型衍生关系，构建二进制程序的数据类型图谱。本发明可以为二进制程序构建出精准全面的数据类型图谱，并给出存储单元访问点的类型推断。