提出了一种基于二进制文件的程序结构解析模型。该模型通过对二进制文件反汇编，去除汇编文件中的冗余信息，对汇编文件进行静态分析，构建带有索引依赖信息的基本块，并以该基本块为基础提取二进制程序的内部控制流与函数调用关系信息，最后给出程序内部控制流图以及函数调用关系图。该模型不依赖程序的源文件，以二进制文件为分析对象，实用性和通用性比较好；实验结果表明模型对二进制程序内部结构解析具有较高的准确性。