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目标代码以全自动方式解决。