pharos

Pharos 静态二进制分析框架 Pharos 静态二进制分析框架是卡内基梅隆大学软件工程研究所的一个项目。 该框架旨在促进二进制程序的自动分析。 它使用了劳伦斯·利弗莫尔国家实验室开发的 ROSE 编译器基础架构，用于反汇编、控制流分析、指令语义等。 本软件以 BSD 许可证 发布。

当前的分发版是对之前版本的重大更新,增加了各种功能,包括对OOAnalyzer 工具、实验性路径分析代码、分区器改进、多线程以及许多其他小功能的改进。

Pharos 框架是一个研究项目,代码正在积极开发中。不提供任何适用性保证。虽然本版本提供了构建说明、单元测试和部分文档,但仍有许多工作要做。我们已经测试了少数精选的构建配置,但尚未积极测试源代码的可移植性。有关更多详细信息,请参阅 安装说明。

由于发布此代码的主要目的是为了透明地展示我们的研究成果，并激发与其他二进制静态分析研究人员的交流，因此如果您对这项工作有任何疑问，请随时联系 Ed Schwartz [email protected]。我可能无法及时回复，但我会尽力。

ApiAnalyzer 是一个用于查找具有指定数据和控制关系的 API 调用序列的工具。 此功能旨在用于检测常见的操作系统交互模式，例如打开文件、写入文件和关闭文件。