Pharos静态二进制分析框架 Pharos静态二进制分析框架是卡内基梅隆大学软件工程学院的一个项目。 该框架旨在促进二进制程序的自动化分析。 它使用Lawrence Livermore国家实验室开发的ROSE编译器基础结构进行反汇编，控制流分析，指令语义等。 该软件根据BSD。 当前发行版是对先前版本的重大更新，并添加了多种功能，包括对OOAnalyzer工具的改进，实验路径分析代码，分区器的改进，多线程以及许多其他更小的功能。 Pharos框架是一个研究项目，并且代码正在积极开发中。 不