文件名称:
pharos:用于二进制程序的自动化静态分析工具-源码
开发工具:
文件大小: 19mb
下载次数: 0
上传时间: 2021-02-25
详细说明:Pharos静态二进制分析框架
Pharos静态二进制分析框架是卡内基梅隆大学软件工程学院的一个项目。 该框架旨在促进二进制程序的自动化分析。 它使用Lawrence Livermore国家实验室开发的ROSE编译器基础结构进行反汇编,控制流分析,指令语义等。 该软件根据BSD。
当前发行版是对先前版本的重大更新,并添加了多种功能,包括对OOAnalyzer工具的改进,实验路径分析代码,分区器的改进,多线程以及许多其他更小的功能。
Pharos框架是一个研究项目,并且代码正在积极开发中。 不提供任何目的的适用性保证。 尽管此版本提供了构建说明,单元测试和一些文档,但仍有许多工作要做。 我们已经测试了一些精选的构建配置,但是还没有积极地测试源代码的可移植性。 有关更多详细信息,请参见。
由于发布此代码的主要目的是使我们的研究透明,并促进与其他二进制静态分析研究人员的对话,请随时与Cor
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.