llvmanalyzer 项目亮点解析

llvmanalyzer 项目亮点解析

1. 项目基础介绍

llvmanalyzer 是一个基于 LLVM 编译器架构的 retdec 开源反编译器工具的二次开发项目。它融合了 klee 符号执行工具，通过符号执行引擎动态模拟反编译后的 LLVM IR (中间指令集) 运行源程序的方法。项目主要功能是插桩所有对 x86 指令集的 thiscall 类型函数对 this 指针结构体（也就是 rcx 寄存器，简称 this 结构）偏移量引用，经行分析汇总后自动识别 this 结构体的具体内容，并自动集成导入 ida 工具辅助分析。

2. 项目代码目录及介绍

项目代码目录主要包括以下几个部分：

• retdec-master-build: retdec 项目的编译构建目录
• retdec-master: retdec 项目的源代码目录
• toollib: 项目中使用的工具库目录
• .gitignore: git 忽略文件配置
• LICENSE: 项目许可证
• README.md: 项目说明文档
• Release.7z: 项目发布版本文件
• tool.7z: 项目工具文件
• xcopy.exe: 项目中使用的复制工具

3. 项目亮点功能拆解

• 自动识别 this 结构体：通过插桩和分析 thiscall 类型函数的 this 指针引用，自动识别 this 结构体的具体内容。
• 集成 ida 工具：将识别到的 this 结构体信息自动导入 ida 工具，辅助分析二进制程序。
• 虚表函数分析：将 vftable 中的所有函数加入分析器统一分析，方便了解类的成员函数。
• MFC 窗口分析：对 MFC 窗口的 AFX_MSGMAP_ENTRY 结构体进行相关函数分析。

4. 项目主要技术亮点拆解

• 基于 LLVM 编译器架构：利用 LLVM 强大的编译器优化和代码生成能力，提高反编译的准确性和效率。
• 符号执行引擎：通过 klee 符号执行引擎动态模拟程序执行，更准确地分析程序结构和行为。
• 结构体自动识别：通过插桩和分析 thiscall 类型函数的 this 指针引用，自动识别结构体的具体内容。
• 与 ida 集成：将识别到的结构体信息自动导入 ida 工具，辅助分析二进制程序。

5. 与同类项目对比的亮点

• 自动识别 this 结构体：相比同类项目，llvmanalyzer 能够自动识别 this 结构体的具体内容，无需手动分析。
• 虚表函数分析：将 vftable 中的所有函数加入分析器统一分析，方便了解类的成员函数。
• MFC 窗口分析：对 MFC 窗口的 AFX_MSGMAP_ENTRY 结构体进行相关函数分析，提供更全面的二进制程序分析能力。
• 基于 LLVM 编译器架构：利用 LLVM 强大的编译器优化和代码生成能力，提高反编译的准确性和效率。