文件名称:
phasar：基于LLVM的静态分析框架-源码
开发工具:
文件大小: 8mb
下载次数: 0
上传时间: 2021-01-30
详细说明：PhASAR基于LLVM的静态分析框架
1220版
安全软件工程组
Philipp Schubert（ ）等
另请参阅
科
状态
主
发展
当前支持的LLVM版本
Phasar当前设置为支持LLVM-10.0.0和LLVM-9.0.0 / 1。 但是，LLVM-8.0.0仍然可以在Phasar上正常工作（顶层CMakeLists.txt中的find_package(LLVM 9 REQUIRED CONFIG)可能需要调整）。
什么是法萨？
Phasar是用C ++编写的基于LLVM的静态分析框架。 它允许用户指定任意数据流问题，然后以指定的LLVM IR目标代码以全自动方式解决。 框架完成了指向信息，调用图等的计算，因此您可以专注于重要的事情。
我如何开始使用Phasar？
我们的有一些有关Phasar的文档。 您可能想先阅读本自述文件，然后再查看上提供的材料。 还请查看Phasar的项目目录，并注意项目目录examples /以及定制工具tools / myphasartool.cpp。
建筑物Phasar
如果您不能使用Phasar的预构建版本之一，并且想自己编译P
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
