Pharos 静态二进制分析框架教程

Pharos 静态二进制分析框架教程

pharos Automated static analysis tools for binary programs 项目地址: https://gitcode.com/gh_mirrors/ph/pharos

1. 项目介绍

Pharos 是由卡内基梅隆大学软件工程研究所（SEI）开发的一个静态二进制分析框架。该框架旨在帮助自动化二进制程序的分析，利用劳伦斯利弗莫尔国家实验室开发的 ROSE 编译器基础设施进行反汇编、控制流分析、指令语义分析等功能。Pharos 以 BSD 许可证发布，为研究人员和开发者提供了一个强大的工具集，用于研究和分析二进制程序。

2. 项目快速启动

环境准备

在开始之前，请确保您的系统中已安装以下依赖：

• CMake
• GCC 或 Clang 编译器
• ROSE 编译器基础设施

克隆仓库

git clone https://github.com/cmu-sei/pharos.git
cd pharos

编译项目

mkdir build
cd build
cmake ..
make

运行示例

编译完成后，您可以在 tests 目录下找到一些示例程序。以下是一个运行 DumpMASM 工具的示例：

./bin/DumpMASM tests/example_binary

这将输出指定二进制文件的反汇编列表。

3. 应用案例和最佳实践

案例一：API 调用分析

使用 ApiAnalyzer 工具，您可以从二进制程序中找出具有特定数据和控制关系的 API 调用序列。这对于检测常见的操作系统交互模式非常有用，例如打开文件、写入文件和关闭文件。

./bin/ApiAnalyzer -i tests/example_binary -o api_analysis_output

案例二：对象导向构造分析

OOAnalyzer 工具用于分析和恢复面向对象的构造。该工具通过跟踪程序中对象指针之间的函数调用，识别对象成员和方法。

./bin/OOAnalyzer -i tests/example_binary -o oo_analysis_output

4. 典型生态项目

Pharos 框架在静态二进制分析领域有着广泛的应用，以下是一些与 Pharos 相关的典型生态项目：

• Ghidra：一个功能强大的开源反汇编和分析工具，可以与 Pharos 结合使用，通过 Kaiju 插件导入 OOAnalyzer 的信息。
• YARA：用于创建描述性模式来识别恶意文件的工具，Pharos 的 FN2Yara 工具可以生成 YARA 签名。
• 机器学习算法：Pharos 的 FN2Hash 工具可以生成函数的各种哈希和其他描述性属性，用于机器学习算法的特征提取。

通过结合这些生态项目，您可以扩展 Pharos 的功能，实现更复杂的二进制程序分析任务。

pharos Automated static analysis tools for binary programs 项目地址: https://gitcode.com/gh_mirrors/ph/pharos