二进制程序中函数代码形式化结构生成方法、设备及介质

摘要

本发明提出一种二进制程序中函数代码形式化结构生成方法、设备及介质，该方法以二进制程序中函数代码作为解析基本粒度，基于功能属性分类二进制程序代码，划分二进制代码的地址空间，生成各类功能属性的函数代码集合，并建立描述函数代码属性的分类函数信息表和函数分布表；构建机器指令操作数类型集合，通过形式化函数代码中操作数，生成各类函数代码的形式化结构集合；以分类函数信息表、函数分布表、及函数代码的形式化结构建立函数代码形式化结构矩阵，该矩阵可以在整体和函数两个层次上有效地解析二进制程序中全体函数代码的形式化结构。本发明实现了对二进制程序中函数代码结构的有效解析，为准确地检测二进制程序的功能属性提供实际支撑。