pharos

Pharos 静态二进制分析框架 Pharos 静态二进制分析框架是卡内基梅隆大学软件工程研究所的一个项目。该框架旨在促进二进制程序的自动化分析。它使用劳伦斯利弗莫尔国家实验室开发的 ROSE 编译器基础设施进行反汇编、控制流分析、指令语义等。本软件根据 BSD 许可协议 发布。 当前版本是对先前版本的重大更新，增加了多种功能，包括对 OOAnalyzer 工具的改进、实验性路径分析代码、分区器改进、多线程以及许多其他较小的功能。 Pharos...