phasar：基于LLVM的静态分析框架

【文件属性】：
文件名称：phasar：基于LLVM的静态分析框架
文件大小：8.29MB
文件格式：ZIP
更新时间：2021-01-30 12:06:21
c cpp llvm static-analysis program-analysis 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